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. |