hastabel2idp, branch master Use IDP as a model checker for HaStABeL. https://www.segfault.tech/cgit.cgi/hastabel2idp/atom?h=master 2018-05-31T15:08:11Z Prepares for solution printing... 2018-05-31T15:08:11Z nsensfel SpamShield0@noot-noot.org 2018-05-31T15:08:11Z urn:sha1:246b7f81ee28b38ce1f37cdb7cf72b6692a759df Should output strings correctly (untested). 2018-05-31T08:42:15Z nsensfel SpamShield0@noot-noot.org 2018-05-31T08:42:15Z urn:sha1:03132ff40b40fb5bbde27617e644f35623c3b8ee Considerable speed boost. 2018-05-30T13:42:34Z nsensfel SpamShield0@noot-noot.org 2018-05-30T13:42:34Z urn:sha1:ff6a760c28d16a42bbd09eb29b5b13b4a20778dd Should also publish standalone. 2018-05-30T08:39:02Z nsensfel SpamShield0@noot-noot.org 2018-05-30T08:39:02Z urn:sha1:4de13d2cc740eee7d41ddf471890faaaeebda831 Fixes elements being taken for free variables. 2018-05-30T08:25:43Z nsensfel SpamShield0@noot-noot.org 2018-05-30T08:25:43Z urn:sha1:a02b12460f6ca533209c57c0628eab3d2da9abdd Seems to work now, albeit too slowly for real use. 2018-05-29T13:40:37Z nsensfel SpamShield0@noot-noot.org 2018-05-29T13:40:37Z urn:sha1:9684cef91215ddcf229894ffd63edac2392b4165 Trying (and failing) to use the async FF prop. 2018-05-29T11:59:13Z nsensfel SpamShield0@noot-noot.org 2018-05-29T11:59:13Z urn:sha1:115448b0b5b5f3df329c34890462d06c4f56e018 Takes the property name as a parameter. 2018-05-28T16:16:46Z nsensfel SpamShield0@noot-noot.org 2018-05-28T16:16:46Z urn:sha1:ae65703e96e8c51880b9995ef5de27890722b275 Converts the IDP result to HaStABeL. 2018-05-28T15:43:50Z nsensfel SpamShield0@noot-noot.org 2018-05-28T15:43:50Z urn:sha1:32e195da6941067000c8574515b97c50bcbd4466 Can now run IDP. 2018-05-28T13:50:05Z nsensfel SpamShield0@noot-noot.org 2018-05-28T13:50:05Z urn:sha1:84831716add27b53954142c3bbd72539b9168021