Age | Commit message (Collapse) | Author | |
---|---|---|---|
2014-03-31 | Travis-CI test for new-theory script, also related bugfixes. | Morgan Deters | |
2013-11-12 | Fix new-theory script for new, flattened build system. | Morgan Deters | |
2013-04-23 | Theory "alternates" support | Morgan Deters | |
* This is a feature that Dejan and I want for the upcoming tutorial. It allows rapid prototyping of new decision procedure implementations (which we may choose to demonstrate), and a new --use-theory command-line option to select from different available implementations. It has no affect on the current set of theories, as no "alternates" are defined. * Also update the new-theory script, which was broken and incomplete. | |||
2012-02-27 | fixes to new-theory script; resolves bug #307 | Morgan Deters | |
2012-02-12 | separate new-theory components into a "theoryskel" directory so that new ↵ | Morgan Deters | |
files can be added to it without modifying the script. | |||
2012-02-11 | ensure using bash for new-theory script | Morgan Deters | |
2012-02-10 | script to ease creating a new theory from scratch (will go along with new ↵ | Morgan Deters | |
reference documentation) |