hastabel2idp/src, branch master Use IDP as a model checker for HaStABeL. Prepares for solution printing... 2018-05-31T15:08:11+00:00 nsensfel SpamShield0@noot-noot.org 2018-05-31T15:08:11+00:00 246b7f81ee28b38ce1f37cdb7cf72b6692a759df 






Should output strings correctly (untested).
2018-05-31T08:42:15+00:00

nsensfel
SpamShield0@noot-noot.org

2018-05-31T08:42:15+00:00

03132ff40b40fb5bbde27617e644f35623c3b8ee












Considerable speed boost.
2018-05-30T13:42:34+00:00

nsensfel
SpamShield0@noot-noot.org

2018-05-30T13:42:34+00:00

ff6a760c28d16a42bbd09eb29b5b13b4a20778dd












Fixes elements being taken for free variables.
2018-05-30T08:25:43+00:00

nsensfel
SpamShield0@noot-noot.org

2018-05-30T08:25:43+00:00

a02b12460f6ca533209c57c0628eab3d2da9abdd












Seems to work now, albeit too slowly for real use.
2018-05-29T13:40:37+00:00

nsensfel
SpamShield0@noot-noot.org

2018-05-29T13:40:37+00:00

9684cef91215ddcf229894ffd63edac2392b4165












Trying (and failing) to use the async FF prop.
2018-05-29T11:59:13+00:00

nsensfel
SpamShield0@noot-noot.org

2018-05-29T11:59:13+00:00

115448b0b5b5f3df329c34890462d06c4f56e018












Takes the property name as a parameter.
2018-05-28T16:16:46+00:00

nsensfel
SpamShield0@noot-noot.org

2018-05-28T16:16:46+00:00

ae65703e96e8c51880b9995ef5de27890722b275












Converts the IDP result to HaStABeL.
2018-05-28T15:43:50+00:00

nsensfel
SpamShield0@noot-noot.org

2018-05-28T15:43:50+00:00

32e195da6941067000c8574515b97c50bcbd4466












Can now run IDP.
2018-05-28T13:50:05+00:00

nsensfel
SpamShield0@noot-noot.org

2018-05-28T13:50:05+00:00

84831716add27b53954142c3bbd72539b9168021












...
2018-05-28T11:46:36+00:00

nsensfel
SpamShield0@noot-noot.org

2018-05-28T11:46:36+00:00

1a64a73c47394dab7b10e6fd87fb8390df3ad89c