Commit Log
| commit | description | author | date |
|---|---|---|---|
| 26a5a69dc3f9 | More work on the rule application (almost there!) | Steve Losh | Thu, 19 Jan 2017 17:02:51 +0000 |
| cc9330259660 | Fix stratification ordering | Steve Losh | Fri, 13 Jan 2017 15:36:51 +0000 |
| 4843f09b50f6 | Start working on the head finalization process | Steve Losh | Thu, 15 Dec 2016 15:20:07 -0500 |
| 41b2461432fc | Implement the basic iset traversal logic | Steve Losh | Thu, 15 Dec 2016 13:03:18 -0500 |
| 51bc78b22d98 | Rename the logic manager to just be the reasoner | Steve Losh | Sun, 11 Dec 2016 16:32:58 -0500 |