syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
syndicate-2017/prospect-monolithic
History
Tony Garnock-Jones 5f6f3429c8 Fix the fix for the "out"-related bug from commit de1dc5a. 
The problem was that sometimes there'd be an assertion that `meta` had
asserted that *also* was asserted by some local process. Commit
de1dc5a introduced code that would drop the assertion in this case;
this commit changes it to only remove assertions from the set when
*only* `meta` is asserting them.
 		2016-01-27 21:29:42 -05:00
..
drivers Monolithic semantics. 2016-01-23 18:24:07 -05:00
examples Fix "out"-related bug in monolithic implementation 2016-01-24 00:04:29 -05:00
lang Monolithic semantics. 2016-01-23 18:24:07 -05:00
trace Monolithic semantics. 2016-01-23 18:24:07 -05:00
README.md Monolithic semantics. 2016-01-23 18:24:07 -05:00
core.rkt Using #f as a name doesn't override existing names. 2016-01-27 20:53:37 -05:00
demand-matcher.rkt Nameable demand-matchers 2016-01-27 21:03:08 -05:00
ground.rkt Monolithic semantics. 2016-01-23 18:24:07 -05:00
lang.rkt Monolithic semantics. 2016-01-23 18:24:07 -05:00
main.rkt Monolithic semantics. 2016-01-23 18:24:07 -05:00
mux.rkt Fix the fix for the "out"-related bug from commit de1dc5a. 2016-01-27 21:29:42 -05:00
scn.rkt Monolithic semantics. 2016-01-23 18:24:07 -05:00

README.md

prospect-monolithic

This is an implementation of the monolithic semantics, without any use of patches.