tabellion, branch improved_makefiles Verification tool for VHDL (or at least the prototype of one). For some reason, CNE_01700 no longer works. 2017-08-04T10:47:30+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-04T10:47:30+00:00 d18ca72caf2004c7725b3de670c7397c5bf85eb4 






First shot at spprinter's Makefile + README update
2017-08-03T15:38:44+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-08-03T15:38:44+00:00

c4914a0649090b4784b72909eab53ea01e20a93e












Fixes issues in properties, Makefiles.
2017-08-03T15:17:38+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-08-03T15:17:38+00:00

43cb556708d727376724eac0e67207c28d1761bf












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












Improving clarity through better Makefiles.
2017-08-03T13:28:17+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-08-03T13:28:17+00:00

90bb7e959496c3a12bebe055f6344b9f06f22809












Finishes the sol_pretty_printer, 'xcept Makefile.
2017-08-03T09:10:55+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-08-03T09:10:55+00:00

c5a23ef9d6ab1e89b85016831fc8b2431f68f87f












Starting a pretty-printer for the solutions.
2017-08-01T14:26:48+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-08-01T14:26:48+00:00

69d904f3b2de5b914bc329af1729584f10644bf2












St
2017-08-01T14:24:49+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-08-01T14:24:49+00:00

2db5b59a0b919212fcf751bbb27a001e0459049e












Adds more rules and prettyprint messages for them.
2017-08-01T11:33:24+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-08-01T11:33:24+00:00

406ef632388808f75f9c0a3e18460a865eed4656