| .. |
|
big_step_maximality
|
f93fc55dc3
Datamodel: Have a "setup" script declaring variables in the instance scope instead of silly XML tags <var> and <func> for variable and function declarations. Nicer syntax, more powerful and we reuse functionality (like parsing and interpreting a block of statements) instead of treating the datamodel as something special. Function declarations are just expressions assigned to variables or directly called. Nested function declarations should be fully supported (yet untested).
|
%!s(int64=5) %!d(string=hai) anos |
|
event_lifeline
|
f93fc55dc3
Datamodel: Have a "setup" script declaring variables in the instance scope instead of silly XML tags <var> and <func> for variable and function declarations. Nicer syntax, more powerful and we reuse functionality (like parsing and interpreting a block of statements) instead of treating the datamodel as something special. Function declarations are just expressions assigned to variables or directly called. Nested function declarations should be fully supported (yet untested).
|
%!s(int64=5) %!d(string=hai) anos |
|
memory_protocol
|
ee9218c8d6
Fix race condition detection + fix some outdated test files.
|
%!s(int64=5) %!d(string=hai) anos |
Joeri Exelmans
ee9218c8d6
Fix race condition detection + fix some outdated test files.