Graph

less more | at revision 62: (0) -30 -10 -8 +8 +10 tip

Make the rule tree application ACTUALLY WORK
Sat, 21 Jan 2017 12:52:12 +0000, by Steve Losh
Get this thing compiling again after the arrowectomy
Sat, 21 Jan 2017 12:30:37 +0000, by Steve Losh
More work on the rule application (almost there!)
Thu, 19 Jan 2017 17:02:51 +0000, by Steve Losh
Fix stratification ordering
Fri, 13 Jan 2017 15:36:51 +0000, by Steve Losh
Start working on the head finalization process
Thu, 15 Dec 2016 15:20:07 -0500, by Steve Losh
Implement the basic iset traversal logic
Thu, 15 Dec 2016 13:03:18 -0500, by Steve Losh
Rename the logic manager to just be the reasoner
Sun, 11 Dec 2016 16:32:58 -0500, by Steve Losh
Start sketching out the actual reasoning logic
Sun, 11 Dec 2016 16:25:09 -0500, by Steve Losh

less more | at revision 62: (0) -30 -10 -8 +8 +10 tip