Commit Graph

10 Commits

Author SHA1 Message Date
Tony Garnock-Jones dc35e7c1bd Cosmetic (reindentation) 2016-03-18 12:32:37 -04:00
Tony Garnock-Jones 21fd0f574a makeStructureConstructor 2016-03-18 12:32:09 -04:00
Tony Garnock-Jones e9b431c50f triePruneBranch; preparation for echo-cancellation of SCNs 2016-02-11 22:51:26 -05:00
Tony Garnock-Jones 49d11b1a73 Fix two major subtraction-related bugs in Route union and intersect.
Moved a bunch of lookup logic into rlookupWild, which let me delete a
lot of special-purpose and flawed code. It is clearly heading toward
being properly-refactored, like the Racket implementation (and the
ESOP2016 paper's presentation) is. The performance problems may
interrupt this gradual evolution before it is complete, though:
hopefully I will be able to move to an explicitly memory-managed
scheme soon.
2016-02-07 14:18:57 -05:00
Tony Garnock-Jones 7d1a0c58c2 Use immutable sets/lists for projection results 2016-02-06 05:47:14 -05:00
Tony Garnock-Jones bfd8203a7a use strict 2016-02-02 21:11:50 -05:00
Tony Garnock-Jones f22e228cc0 New tests and bug fixes for patch and mux 2016-02-02 15:52:48 -05:00
Tony Garnock-Jones 95cb196c49 Fix bug in Route.subtract 2016-02-02 14:35:08 -05:00
Tony Garnock-Jones 579b82261c Patches, more tests, fixes 2016-01-31 16:55:24 -05:00
Tony Garnock-Jones 1107483c86 Initial commit. 2016-01-30 21:58:59 -05:00