tabellion/data/property, branch master Verification tool for VHDL (or at least the prototype of one). https://www.segfault.tech/cgit.cgi/tabellion/atom?h=master 2017-09-26T11:37:08Z Adds some missing files. 2017-09-26T11:37:08Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-26T11:37:08Z urn:sha1:4e38a30f78a9fbe6287b310139ecc10aef6d398f 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 Improves CNE_01400, adds test for CNE_01400. 2017-09-20T08:03:42Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-20T08:03:42Z urn:sha1:fe20276ff74220a51bf8d30aa6190aa5ca6a957f Fixes CNE_01200, adds CNE_01200 test. 2017-09-19T14:52:10Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-19T14:52:10Z urn:sha1:240a3c65df7f7f3914c3d963acbf23b80694fd5a ... which somehow fails. Fixes anonymous strings, adds CNE_01100 test. 2017-09-19T14:12:54Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-19T14:12:54Z urn:sha1:0b35af5ee0e660c810e22a09738ff1960745db23 Fixes case/when models, regroups properties. 2017-09-19T12:05:52Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-19T12:05:52Z urn:sha1:f2b7e406b8e77df22ef379a5e880f64d1e5043b9 Moves the templates to accommodate the tests. 2017-09-18T13:18:05Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-18T13:18:05Z urn:sha1:59d6ea1df12aa2fadcab1ec5cd22b99873721869