Add shortest path to test set.
Fix right connectivity test.
Make pagerank tests run again.
Fix all tests.
Allow data files to be run along program files.
Support recursive functions.
Add function class.
Improve debugging code and remove some old syntax from tests.
Generate inbound in the data file instead.
Simplify heat transfer program.
Add new case when moving to stack.
Add new DEBUG_INSTRS directive.
Make desc priority be the default priority. Print priority information in print_predicates.
Update test byte code.
Add get_stack_at method and use it.
Make heat transfer data files compilable as data files.
Add docs in pdf.
Fix a particular bug that would consume a linear fact twice. Added test cases for that too.
Added intlistsort and intlistremoveduplicates external functions.
Implement more functionality for VM stack management.