hastabel2idp/Makefile, branch master Use IDP as a model checker for HaStABeL. https://segfault.tech/cgit.cgi/hastabel2idp/atom?h=master 2018-05-30T08:39:02Z Should also publish standalone. 2018-05-30T08:39:02Z nsensfel SpamShield0@noot-noot.org 2018-05-30T08:39:02Z urn:sha1:4de13d2cc740eee7d41ddf471890faaaeebda831 Adding the IDP language... 2018-05-26T12:24:53Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2018-05-26T12:24:53Z urn:sha1:e97d74cc9035c37a0d8c27c0544324e6a7436f0e Adds a manifest. 2018-05-25T06:38:47Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2018-05-25T06:38:47Z urn:sha1:dd77774b6529f6050ab551cec370b896912c20fe Got it to load the model from hastabel. 2018-05-24T20:24:11Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2018-05-24T20:24:11Z urn:sha1:a858f1d7f4cc9cee322f2ceb911843584ba36e72 Let's have it just load everything, to start with. 2018-05-24T19:35:49Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2018-05-24T19:35:49Z urn:sha1:7f9db2e32838cac315965d986518fc61cf44567e Starting an IDP model checker for HaStABel... 2018-05-24T17:45:56Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2018-05-24T17:45:56Z urn:sha1:3e6a6e0efb13f3dc8989a4a2f74e5ea91820eb7a