Tony Garnock-Jones ab64f71766 Restriction-paths: right idea (?), wrong implementation. This time maybe. ... Instead of having restriction-paths as an adjunct to a change, they're more propertly a part of each assertion itself. The new `skeleton.rkt` keeps an optional restriction-path with each assertion, treating it as distinct from its underlying assertion. The idea of not signalling changes in assertions that have a restriction-path mismatch stays.		2018-05-04 15:55:53 +01:00
..
core	Restriction-paths: right idea (?), wrong implementation. This time maybe.	2018-05-04 15:55:53 +01:00
speed	Refactor tests	2018-04-29 11:55:32 +01:00
pattern-test.rkt	Repair rotten pattern tests	2018-04-29 11:30:26 +01:00
raw-dataspace.rkt	Add timer/timestate support; this prompted a change to endpoint registration.	2018-04-29 22:27:55 +01:00