tabellion/cfg-to-paths/Makefile, branch skol_only_the_solution Verification tool for VHDL (or at least the prototype of one). https://www.segfault.tech/cgit.cgi/tabellion/atom?h=skol_only_the_solution 2017-07-27T12:29:30Z Replaces overly fragile method to get first node. 2017-07-27T12:29:30Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-27T12:29:30Z urn:sha1:28c1633308fa51ebffe9d0e901821d10c13092bc Woops, mistook the model files. 2017-07-24T08:46:03Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-24T08:46:03Z urn:sha1:15a8692f5384c0b6247a51cddec230f00ad5bbfc Fixes connect_to/node_connect, configs Makefiles. 2017-07-24T07:51:20Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-24T07:51:20Z urn:sha1:c734cd67ee4ebe5c235c7785f6b193952bf3bc17 forgot to use cfg-to-path. Still broken though. 2017-07-19T13:31:05Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-19T13:31:05Z urn:sha1:35bce44858fcd7b0dab398cbce72d13057d3a501 Fixes a few dumb mistakes, adds ps example. 2017-07-17T13:53:57Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-17T13:53:57Z urn:sha1:580018e419c1c0d6cdc4f47103be2d7c1aad1eb7 Working on a way to CTL over DAG in Kodkod. 2017-07-17T13:22:19Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-17T13:22:19Z urn:sha1:d48380bd87dcef4b095b2a4e578d4461e68df73c