tabellion/instr-to-kodkod/parser/Makefile, branch instance-calculator Verification tool for VHDL (or at least the prototype of one). https://www.segfault.tech/cgit.cgi/tabellion/atom?h=instance-calculator 2017-08-16T09:17:59Z Fixes Makefiles so they can run parallel jobs. 2017-08-16T09:17:59Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-16T09:17:59Z urn:sha1:10e7fc528c0a767da2f7b8447b6c62d017adaf54 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 Other than the pretty-printer, it seems done. 2017-08-03T14:57:20Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-03T14:57:20Z urn:sha1:71f3a1bb063087e51f2b2e2ef940e773e2e084d1 The Makefile of instr-to-kodkod's parser is done. 2017-08-03T14:02:19Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-03T14:02:19Z urn:sha1:b16812434d54a9d7480564cbf4f299168ca6a1a1 First shot at the framework (it does compile). 2017-07-19T08:29:52Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-19T08:29:52Z urn:sha1:70b40bfb6c032c0dead7069b2178a43e63a8e563