Geoff Romer 853360345e Update executable semantics for choice to match final state of p0157 (#304) ...

* Make parentheses optional for alternatives with no arguments.

* Use `,` instead of `;` as separator for alternatives, and make the trailing separator optional.

2021-02-26 13:12:09 -08:00

..

block1.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

block1.golden

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

break1.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

break1.golden

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

choice1.6c

Update executable semantics for choice to match final state of p0157 (#304)

2021-02-26 13:12:09 -08:00

choice1.golden

Update executable semantics for choice to match final state of p0157 (#304)

2021-02-26 13:12:09 -08:00

continue1.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

continue1.golden

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

fun1.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

fun1.golden

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

fun2.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

fun2.golden

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

fun3.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

fun3.golden

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

fun4.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

fun4.golden

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

fun5.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

fun5.golden

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

fun6_fail_type.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

fun6_fail_type.golden

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

fun_recur.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

fun_recur.golden

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

funptr1.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

funptr1.golden

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

if1.6c

adding optional else to executable semantics (#295)

2021-02-25 18:07:50 -05:00

if1.golden

adding optional else to executable semantics (#295)

2021-02-25 18:07:50 -05:00

if2.6c

adding optional else to executable semantics (#295)

2021-02-25 18:07:50 -05:00

if2.golden

adding optional else to executable semantics (#295)

2021-02-25 18:07:50 -05:00

if3.6c

adding optional else to executable semantics (#295)

2021-02-25 18:07:50 -05:00

if3.golden

adding optional else to executable semantics (#295)

2021-02-25 18:07:50 -05:00

match_int_default.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

match_int_default.golden

Executable Semantics: 1st-class stacks (#296)

2021-02-26 09:46:32 -08:00

match_int.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

match_int.golden

Executable Semantics: 1st-class stacks (#296)

2021-02-26 09:46:32 -08:00

match_type.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

match_type.golden

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

next.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

next.golden

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

pattern_init.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

pattern_init.golden

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

record1.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

record1.golden

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

struct1.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

struct1.golden

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

struct2.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

struct2.golden

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

struct3.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

struct3.golden

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

tuple1.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

tuple1.golden

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

tuple2.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

tuple2.golden

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

tuple_assign.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

tuple_assign.golden

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

tuple_match.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

tuple_match.golden

Executable Semantics: 1st-class stacks (#296)

2021-02-26 09:46:32 -08:00

undef1.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

undef1.golden

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

undef2.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

undef2.golden

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

while1.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

while1.golden

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

zero.6c

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00

zero.golden

Adapting jsiek's executable semantics tooling for commit. (#237)

2021-02-19 15:25:43 -08:00