tabellion/time-domains-calculator/Makefile, 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-09-05T08:37:55Z Starts the Time Domains Calculator. 2017-09-05T08:37:55Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-05T08:37:55Z urn:sha1:da6b3f7055a0c142fd7f4f91348c35f87fe4cff2