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