tabellion/instr-to-kodkod/parser/Makefile, branch master Verification tool for VHDL (or at least the prototype of one). Fixes Makefiles so they can run parallel jobs. 2017-08-16T09:17:59+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-16T09:17:59+00:00 10e7fc528c0a767da2f7b8447b6c62d017adaf54 






Partial attr. support, build/run targets, literals
2017-08-15T16:43:56+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-08-15T16:43:56+00:00

be92d1955a45b81e3d7f4af26497c3d73aa46ceb












Other than the pretty-printer, it seems done.
2017-08-03T14:57:20+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-08-03T14:57:20+00:00

71f3a1bb063087e51f2b2e2ef940e773e2e084d1












The Makefile of instr-to-kodkod's parser is done.
2017-08-03T14:02:19+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-08-03T14:02:19+00:00

b16812434d54a9d7480564cbf4f299168ca6a1a1












First shot at the framework (it does compile).
2017-07-19T08:29:52+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-07-19T08:29:52+00:00

70b40bfb6c032c0dead7069b2178a43e63a8e563