| .. |
|
assignment_copy1.6c
|
3fa72d2984
Experimental control-flow operator (#368)
|
vor 5 Jahren |
|
assignment_copy1.golden
|
3fa72d2984
Experimental control-flow operator (#368)
|
vor 5 Jahren |
|
assignment_copy2.6c
|
3fa72d2984
Experimental control-flow operator (#368)
|
vor 5 Jahren |
|
assignment_copy2.golden
|
3fa72d2984
Experimental control-flow operator (#368)
|
vor 5 Jahren |
|
block1.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
vor 5 Jahren |
|
block1.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
block2.6c
|
3fa72d2984
Experimental control-flow operator (#368)
|
vor 5 Jahren |
|
block2.golden
|
3fa72d2984
Experimental control-flow operator (#368)
|
vor 5 Jahren |
|
break1.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
vor 5 Jahren |
|
break1.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
choice1.6c
|
fe328b2a7b
Add test coverage for a trailing comma in the alternatives list, and empty parentheses in an alternative declaration. (#305)
|
vor 5 Jahren |
|
choice1.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
continue1.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
vor 5 Jahren |
|
continue1.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
experimental_continuation1.6c
|
3fa72d2984
Experimental control-flow operator (#368)
|
vor 5 Jahren |
|
experimental_continuation1.golden
|
3fa72d2984
Experimental control-flow operator (#368)
|
vor 5 Jahren |
|
experimental_continuation2.6c
|
3fa72d2984
Experimental control-flow operator (#368)
|
vor 5 Jahren |
|
experimental_continuation2.golden
|
3fa72d2984
Experimental control-flow operator (#368)
|
vor 5 Jahren |
|
experimental_continuation3.6c
|
3fa72d2984
Experimental control-flow operator (#368)
|
vor 5 Jahren |
|
experimental_continuation3.golden
|
3fa72d2984
Experimental control-flow operator (#368)
|
vor 5 Jahren |
|
experimental_continuation4.6c
|
3fa72d2984
Experimental control-flow operator (#368)
|
vor 5 Jahren |
|
experimental_continuation4.golden
|
3fa72d2984
Experimental control-flow operator (#368)
|
vor 5 Jahren |
|
experimental_continuation5.6c
|
3fa72d2984
Experimental control-flow operator (#368)
|
vor 5 Jahren |
|
experimental_continuation5.golden
|
3fa72d2984
Experimental control-flow operator (#368)
|
vor 5 Jahren |
|
experimental_continuation6.6c
|
3fa72d2984
Experimental control-flow operator (#368)
|
vor 5 Jahren |
|
experimental_continuation6.golden
|
3fa72d2984
Experimental control-flow operator (#368)
|
vor 5 Jahren |
|
experimental_continuation7.6c
|
3fa72d2984
Experimental control-flow operator (#368)
|
vor 5 Jahren |
|
experimental_continuation7.golden
|
3fa72d2984
Experimental control-flow operator (#368)
|
vor 5 Jahren |
|
experimental_continuation8.6c
|
3fa72d2984
Experimental control-flow operator (#368)
|
vor 5 Jahren |
|
experimental_continuation8.golden
|
3fa72d2984
Experimental control-flow operator (#368)
|
vor 5 Jahren |
|
experimental_continuation9.6c
|
27fd9de5bf
improved checking for liveness when reading and writing memory (#448)
|
vor 5 Jahren |
|
experimental_continuation9.golden
|
27fd9de5bf
improved checking for liveness when reading and writing memory (#448)
|
vor 5 Jahren |
|
fun1.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
vor 5 Jahren |
|
fun1.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
fun2.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
vor 5 Jahren |
|
fun2.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
fun3.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
vor 5 Jahren |
|
fun3.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
fun4.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
vor 5 Jahren |
|
fun4.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
fun5.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
vor 5 Jahren |
|
fun5.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
fun6_fail_type.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
vor 5 Jahren |
|
fun6_fail_type.golden
|
5946d9c033
Tuple restrictions (#486)
|
vor 5 Jahren |
|
fun_named_params.6c
|
e89b8daad7
more tests of tuples, mixing positional and explicit field names (#480)
|
vor 5 Jahren |
|
fun_named_params.golden
|
e89b8daad7
more tests of tuples, mixing positional and explicit field names (#480)
|
vor 5 Jahren |
|
fun_named_params2.6c
|
5946d9c033
Tuple restrictions (#486)
|
vor 5 Jahren |
|
fun_named_params2.golden
|
5946d9c033
Tuple restrictions (#486)
|
vor 5 Jahren |
|
fun_recur.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
vor 5 Jahren |
|
fun_recur.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
funptr1.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
vor 5 Jahren |
|
funptr1.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
global_variable1.6c
|
ced98ef021
Global variables (#378)
|
vor 5 Jahren |
|
global_variable1.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
global_variable2.6c
|
ced98ef021
Global variables (#378)
|
vor 5 Jahren |
|
global_variable2.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
global_variable3.6c
|
ced98ef021
Global variables (#378)
|
vor 5 Jahren |
|
global_variable3.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
global_variable4.6c
|
ced98ef021
Global variables (#378)
|
vor 5 Jahren |
|
global_variable4.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
global_variable5.6c
|
ced98ef021
Global variables (#378)
|
vor 5 Jahren |
|
global_variable5.golden
|
cf7c97bf28
Unify tuple types with tuples-of-types in the interpreter (#442)
|
vor 5 Jahren |
|
global_variable6.6c
|
ced98ef021
Global variables (#378)
|
vor 5 Jahren |
|
global_variable6.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
global_variable7.6c
|
ced98ef021
Global variables (#378)
|
vor 5 Jahren |
|
global_variable7.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
global_variable8.6c
|
ced98ef021
Global variables (#378)
|
vor 5 Jahren |
|
global_variable8.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
if1.6c
|
3ea84c9276
adding optional else to executable semantics (#295)
|
vor 5 Jahren |
|
if1.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
if2.6c
|
3ea84c9276
adding optional else to executable semantics (#295)
|
vor 5 Jahren |
|
if2.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
if3.6c
|
3ea84c9276
adding optional else to executable semantics (#295)
|
vor 5 Jahren |
|
if3.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
match_any_int.6c
|
e89b8daad7
more tests of tuples, mixing positional and explicit field names (#480)
|
vor 5 Jahren |
|
match_any_int.golden
|
e89b8daad7
more tests of tuples, mixing positional and explicit field names (#480)
|
vor 5 Jahren |
|
match_int.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
vor 5 Jahren |
|
match_int.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
match_int_default.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
vor 5 Jahren |
|
match_int_default.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
match_type.6c
|
5946d9c033
Tuple restrictions (#486)
|
vor 5 Jahren |
|
match_type.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
next.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
vor 5 Jahren |
|
next.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
pattern_init.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
vor 5 Jahren |
|
pattern_init.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
pattern_variable_fail.6c
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
pattern_variable_fail.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
record1.6c
|
5946d9c033
Tuple restrictions (#486)
|
vor 5 Jahren |
|
record1.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
struct1.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
vor 5 Jahren |
|
struct1.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
struct2.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
vor 5 Jahren |
|
struct2.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
struct3.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
vor 5 Jahren |
|
struct3.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
tuple1.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
vor 5 Jahren |
|
tuple1.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
tuple2.6c
|
80f035874d
Restructure handling of paren expressions (#417)
|
vor 5 Jahren |
|
tuple2.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
tuple3.6c
|
5946d9c033
Tuple restrictions (#486)
|
vor 5 Jahren |
|
tuple3.golden
|
e89b8daad7
more tests of tuples, mixing positional and explicit field names (#480)
|
vor 5 Jahren |
|
tuple4.6c
|
5946d9c033
Tuple restrictions (#486)
|
vor 5 Jahren |
|
tuple4.golden
|
5946d9c033
Tuple restrictions (#486)
|
vor 5 Jahren |
|
tuple5.6c
|
5946d9c033
Tuple restrictions (#486)
|
vor 5 Jahren |
|
tuple5.golden
|
56b47bcfa9
Type computation tests (#511)
|
vor 5 Jahren |
|
tuple_assign.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
vor 5 Jahren |
|
tuple_assign.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
tuple_equality.6c
|
c1d651fc15
Fix equality for tuples (#446)
|
vor 5 Jahren |
|
tuple_equality.golden
|
c1d651fc15
Fix equality for tuples (#446)
|
vor 5 Jahren |
|
tuple_equality2.6c
|
c1d651fc15
Fix equality for tuples (#446)
|
vor 5 Jahren |
|
tuple_equality2.golden
|
c1d651fc15
Fix equality for tuples (#446)
|
vor 5 Jahren |
|
tuple_equality3.6c
|
5946d9c033
Tuple restrictions (#486)
|
vor 5 Jahren |
|
tuple_equality3.golden
|
56b47bcfa9
Type computation tests (#511)
|
vor 5 Jahren |
|
tuple_match.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
vor 5 Jahren |
|
tuple_match.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
tuple_match2.6c
|
5946d9c033
Tuple restrictions (#486)
|
vor 5 Jahren |
|
tuple_match2.golden
|
e89b8daad7
more tests of tuples, mixing positional and explicit field names (#480)
|
vor 5 Jahren |
|
tuple_match3.6c
|
e89b8daad7
more tests of tuples, mixing positional and explicit field names (#480)
|
vor 5 Jahren |
|
tuple_match3.golden
|
e89b8daad7
more tests of tuples, mixing positional and explicit field names (#480)
|
vor 5 Jahren |
|
type_compute.6c
|
56b47bcfa9
Type computation tests (#511)
|
vor 5 Jahren |
|
type_compute.golden
|
56b47bcfa9
Type computation tests (#511)
|
vor 5 Jahren |
|
type_compute2.6c
|
56b47bcfa9
Type computation tests (#511)
|
vor 5 Jahren |
|
type_compute2.golden
|
56b47bcfa9
Type computation tests (#511)
|
vor 5 Jahren |
|
type_compute3.6c
|
56b47bcfa9
Type computation tests (#511)
|
vor 5 Jahren |
|
type_compute3.golden
|
56b47bcfa9
Type computation tests (#511)
|
vor 5 Jahren |
|
while1.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
vor 5 Jahren |
|
while1.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
|
zero.6c
|
6e5070de18
Adapting jsiek's executable semantics tooling for commit. (#237)
|
vor 5 Jahren |
|
zero.golden
|
7c4fcd3fa5
turn off tracing by default, change golden (#381)
|
vor 5 Jahren |
Jeremy G. Siek