tabellion/cfg-to-paths/src, branch master Verification tool for VHDL (or at least the prototype of one). https://www.segfault.tech/cgit.cgi/tabellion/atom?h=master 2017-08-03T13:28:17Z Improving clarity through better Makefiles. 2017-08-03T13:28:17Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-03T13:28:17Z urn:sha1:90bb7e959496c3a12bebe055f6344b9f06f22809 Adds a verbosity parameter. 2017-07-31T12:28:50Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-31T12:28:50Z urn:sha1:05fbf26dbb1b1f19e3ef76a0d0789806fa7be12c Adds the "is_terminal" predicate. 2017-07-22T19:05:57Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-22T19:05:57Z urn:sha1:2b3f20d89c7d500842869d3316bee9c7457ba6d4 I think I was a bit fast in my "a->b" commit. 2017-07-19T14:11:14Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-19T14:11:14Z urn:sha1:313514ac06fc6959a684cd7265c5d146769ec934 Solves previous problem by changing path def. 2017-07-18T14:26:51Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-18T14:26:51Z urn:sha1:1d0b2f2214941f97ed8f457a052e6c59904e120c Instead of the path "n1 -> n2 -> n3" being "n2 -> n3" a path starting from n1, it's now "n1 -> n2 -> n3" (still starting from n1). Adds the (rather costly) predicate to handle Until 2017-07-17T16:59:31Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-17T16:59:31Z urn:sha1:31e1948a7f3bf1f7902cd5a0d6d49cef277e73ae First shot at cfg-to-paths. 2017-07-17T14:16:27Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-17T14:16:27Z urn:sha1:c5caca06e411066828cec2a6008c126d64ffabb6 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