3 Commits

Author	SHA1	Message	Date
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
Tony Garnock-Jones	de1dc5aa8e	Fix "out"-related bug in monolithic implementation	2016-01-24 00:04:29 -05:00
Tony Garnock-Jones	cf00496338	Monolithic semantics.	2016-01-23 18:24:07 -05:00