| .. |
|
block1.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
block1.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
break1.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
break1.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
choice1.6c
|
fe328b2a7b
Add test coverage for a trailing comma in the alternatives list, and empty parentheses in an alternative declaration. (#305)
|
5 rokov pred |
|
choice1.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
continue1.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
continue1.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
fun1.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
fun1.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
fun2.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
fun2.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
fun3.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
fun3.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
fun4.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
fun4.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
fun5.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
fun5.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
fun6_fail_type.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
fun6_fail_type.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
fun_recur.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
fun_recur.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
funptr1.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
funptr1.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
global_variable1.6c
|
ced98ef021
Global variables (#378)
|
5 rokov pred |
|
global_variable1.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
global_variable2.6c
|
ced98ef021
Global variables (#378)
|
5 rokov pred |
|
global_variable2.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
global_variable3.6c
|
ced98ef021
Global variables (#378)
|
5 rokov pred |
|
global_variable3.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
global_variable4.6c
|
ced98ef021
Global variables (#378)
|
5 rokov pred |
|
global_variable4.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
global_variable5.6c
|
ced98ef021
Global variables (#378)
|
5 rokov pred |
|
global_variable5.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
global_variable6.6c
|
ced98ef021
Global variables (#378)
|
5 rokov pred |
|
global_variable6.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
global_variable7.6c
|
ced98ef021
Global variables (#378)
|
5 rokov pred |
|
global_variable7.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
global_variable8.6c
|
ced98ef021
Global variables (#378)
|
5 rokov pred |
|
global_variable8.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
if1.6c
|
3ea84c9276
adding optional else to executable semantics (#295)
|
5 rokov pred |
|
if1.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
if2.6c
|
3ea84c9276
adding optional else to executable semantics (#295)
|
5 rokov pred |
|
if2.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
if3.6c
|
3ea84c9276
adding optional else to executable semantics (#295)
|
5 rokov pred |
|
if3.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
match_int.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
match_int.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
match_int_default.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
match_int_default.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
match_type.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
match_type.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
next.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
next.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
pattern_init.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
pattern_init.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
pattern_variable_fail.6c
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
pattern_variable_fail.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
record1.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
record1.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
struct1.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
struct1.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
struct2.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
struct2.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
struct3.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
struct3.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
tuple1.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
tuple1.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
tuple2.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
tuple2.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
tuple_assign.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
tuple_assign.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
tuple_match.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
tuple_match.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
while1.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
while1.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
|
zero.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
5 rokov pred |
|
zero.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
5 rokov pred |
Jeremy G. Siek
7c4fcd3fa5
turn off tracing by default, change golden (#381)