tabellion, branch master Verification tool for VHDL (or at least the prototype of one). https://www.segfault.tech/cgit.cgi/tabellion/atom?h=master 2017-10-31T15:22:43Z Disables the "inferred" feature by default. 2017-10-31T15:22:43Z nsensfel SpamShield0@noot-noot.org 2017-10-31T15:22:43Z urn:sha1:4c16982225c0951e02b23bcdb36d1a5a8c2b44de Adds error when no data is fed to parser. 2017-10-31T15:02:56Z nsensfel SpamShield0@noot-noot.org 2017-10-31T15:02:56Z urn:sha1:884b8a47fe7fc18e1c4427193cb86be53c24ff41 Adds a Java version of prop-to-pred. 2017-10-31T09:44:05Z nsensfel SpamShield0@noot-noot.org 2017-10-31T09:44:05Z urn:sha1:a9ee742be71040138c6414a63b7327e05b1723fe Limits the creation of atom-relations to "String". 2017-09-27T14:02:38Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-27T14:02:38Z urn:sha1:a3b507f3d2ce6041d29e154e11011d1f963e1a19 The need for those relations is limited to the access of their atom in the formula. As, with the exception of String elements, the formula cannot directly reference an atom, only String atoms require their own relation. Going even further, only the String element referenced in the formula need their own relation. Adds some missing files. 2017-09-26T11:37:08Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-26T11:37:08Z urn:sha1:4e38a30f78a9fbe6287b310139ecc10aef6d398f Fixes dependency rule issues. 2017-09-25T13:39:41Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-25T13:39:41Z urn:sha1:914e0dc50230a76f75ce3b9a7f4585b1e08316d2 Updates Tests, fixes 2 properties & inferred/*.mod 2017-09-25T10:48:44Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-25T10:48:44Z urn:sha1:4669bdf7046c03200a28de4188075bee69571eb8 Got some property dependencies to work. 2017-09-21T13:26:01Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-21T13:26:01Z urn:sha1:0fc661ebabdf55b8e0d26c4f85f0547c106b6549 Solves the missing solutions bug. Starts PropDeps. 2017-09-20T15:19:42Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-20T15:19:42Z urn:sha1:bc3e8933e1005e93e4a97b9a207cb40db454a2a8 Adds comments to CNE_01700. 2017-09-20T11:40:40Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-20T11:40:40Z urn:sha1:71e7acf1ac104258a295a2662d6dc71f49ac77aa