summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Prepares for solution printing...HEADmasternsensfel2018-05-31
* Should output strings correctly (untested).nsensfel2018-05-31
* Considerable speed boost.nsensfel2018-05-30
* Should also publish standalone.nsensfel2018-05-30
* Fixes elements being taken for free variables.nsensfel2018-05-30
* Seems to work now, albeit too slowly for real use.nsensfel2018-05-29
* Trying (and failing) to use the async FF prop.nsensfel2018-05-29
* Takes the property name as a parameter.nsensfel2018-05-28
* Converts the IDP result to HaStABeL.nsensfel2018-05-28
* Can now run IDP.nsensfel2018-05-28
* ...nsensfel2018-05-28
* Woops, forgot a file.nsensfel2018-05-28
* Just did a quick test with IDP. It worked.nsensfel2018-05-28
* Adds the seeked predicate to the Theory file.nsensfel2018-05-28
* More parenthesis, to avoid ambiguities.Nathanael Sensfelder2018-05-26
* Converts HaStABeL formulas into IDP formulas.Nathanael Sensfelder2018-05-26
* Adding the IDP language...Nathanael Sensfelder2018-05-26
* Splits IDP.java into multiple classes.Nathanael Sensfelder2018-05-26
* IDP structure and vocabulary support jokers.Nathanael Sensfelder2018-05-25
* Generate one predicate per signature.Nathanael Sensfelder2018-05-25
* ...Nathanael Sensfelder2018-05-25
* Starting to write some IDP...Nathanael Sensfelder2018-05-25
* Adds a manifest.Nathanael Sensfelder2018-05-25
* Got it to load the model from hastabel.Nathanael Sensfelder2018-05-24
* Let's have it just load everything, to start with.Nathanael Sensfelder2018-05-24
* Starting an IDP model checker for HaStABel...Nathanael Sensfelder2018-05-24