Commit Log
| commit | description | author | date |
|---|---|---|---|
| a3466a551136 | Don't cons lists of numbers, jesus christ | Steve Losh | Tue, 05 Jul 2016 23:54:54 +0000 |
| 209ecb9eeb25 | Use a queues instead of lists for the logic frame pending predicates | Steve Losh | Tue, 05 Jul 2016 23:37:14 +0000 |
| 9086482c09ee | Rename "code frame" to "logic frame" | Steve Losh | Tue, 05 Jul 2016 23:12:50 +0000 |
| 410acaae0c14 | Implement logic frames for assertion/retraction | Steve Losh | Tue, 05 Jul 2016 23:02:33 +0000 |