tabellion/data, branch time-domains-calculator Verification tool for VHDL (or at least the prototype of one). https://www.segfault.tech/cgit.cgi/tabellion/atom?h=time-domains-calculator 2017-08-28T13:25:39Z Small changes? Forgot to commit. 2017-08-28T13:25:39Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-28T13:25:39Z urn:sha1:688d3be723b19655edcd1fc1de413b54630d4589 Adds CNE_04500. 2017-08-17T10:54:19Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-17T10:54:19Z urn:sha1:d1d9293f2654e297654f67b5bb0ba43fad7448d7 "LINE" was in undercase, messing with the output. 2017-08-17T09:50:28Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-17T09:50:28Z urn:sha1:5f460b60e558822bada88adeab83c06101930384 Removes unused data/instructions/ dir. 2017-08-17T09:49:03Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-17T09:49:03Z urn:sha1:0c7a5538eb3d4e6d28b354bdd059cff0cdefcad5 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 For some reason, CNE_01700 no longer works. 2017-08-04T10:47:30Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-04T10:47:30Z urn:sha1:d18ca72caf2004c7725b3de670c7397c5bf85eb4 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