tabellion/data/property/cnes, 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-19T12:05:52Z 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 Fixes copy/paste mistake in CNE_00100 + comments. 2017-09-18T08:46:02Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-18T08:46:02Z urn:sha1:079af0e3eacb62e9e0cecedef7e0c7ddffe74275 Adds CNE_04500. 2017-08-17T10:54:19Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-17T10:54:19Z urn:sha1:d1d9293f2654e297654f67b5bb0ba43fad7448d7 Partial attr. support, build/run targets, literals 2017-08-15T16:43:56Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-15T16:43:56Z urn:sha1:be92d1955a45b81e3d7f4af26497c3d73aa46ceb Use of 'eq' greatly improves performance. 2017-08-15T09:15:20Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-15T09:15:20Z urn:sha1:4a6b4c5ec978eabd6471dc20880f402d17215ce5 Adds more (rather simple) properties. 2017-08-13T11:02:37Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-13T11:02:37Z urn:sha1:d798d3d9a0ecf50ceba0d55645bc7ff626ed72e9 Fixes issues in properties, Makefiles. 2017-08-03T15:17:38Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-03T15:17:38Z urn:sha1:43cb556708d727376724eac0e67207c28d1761bf Finishes the sol_pretty_printer, 'xcept Makefile. 2017-08-03T09:10:55Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-03T09:10:55Z urn:sha1:c5a23ef9d6ab1e89b85016831fc8b2431f68f87f Adds more rules and prettyprint messages for them. 2017-08-01T11:33:24Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-01T11:33:24Z urn:sha1:406ef632388808f75f9c0a3e18460a865eed4656