Commit Log
commit | description | author | date |
---|---|---|---|
c660eaed47fb | Ignore images | Steve Losh | Sun, 06 Nov 2016 16:15:09 +0000 |
8070c79ec77c | Port to cl-digraph | Steve Losh | Sun, 06 Nov 2016 16:14:56 +0000 |
f4a9b3af02a3 | Initial stab at the term ordering with cl-graph | Steve Losh | Sun, 06 Nov 2016 16:01:00 +0000 |
b7c02baa4fee | Start the rule order/partitioning process | Steve Losh | Sat, 05 Nov 2016 18:01:22 +0000 |