tabellion/instr-scripts, branch skol_only_the_solution Verification tool for VHDL (or at least the prototype of one). https://www.segfault.tech/cgit.cgi/tabellion/atom?h=skol_only_the_solution 2017-07-25T14:58:51Z Removes instr-scripts. 2017-07-25T14:58:51Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-25T14:58:51Z urn:sha1:54bb34b819c314f2274d560bb50cb1afaeedfa84 Working on the components. Found error in scripts. 2017-07-21T11:20:16Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-21T11:20:16Z urn:sha1:008d9c6d2a5e7028dc06b8398846ff60999b8732 Fixes stupid mistakes, adds some nodes. 2017-07-20T16:07:47Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-20T16:07:47Z urn:sha1:45b091f8a44c422d89f9d3bcaf25e5df91da31a7 Yet one more hack to get it to work. 2017-07-19T15:29:51Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-19T15:29:51Z urn:sha1:0362751e41f731b22b7bfe511af4aa71a02be70a Let's hope I'll rewrite those. Signals being used instead of wfm + rec targets 2017-07-19T12:10:14Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-19T12:10:14Z urn:sha1:56c16f1120ce4f60218a074922939baedf69d254 Those Python scripts may have to be cleaned up at some point... Woops, the previous commit wasn't enough. 2017-07-19T11:27:22Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-19T11:27:22Z urn:sha1:f14256ddd4129eb0e4ed331f2fa3d84b3618f0a6 No longer add function and literals as waveforms. 2017-07-19T09:34:59Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-19T09:34:59Z urn:sha1:8f12413895954e5feed9ea915825d462f0457fe4 Adds missing predicate from g4 to instr scripts 2017-07-18T16:06:10Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-18T16:06:10Z urn:sha1:1cac6685e5dc334473c304194d5f816b6ecf3469 Working on a way to CTL over DAG in Kodkod. 2017-07-17T13:22:19Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-17T13:22:19Z urn:sha1:d48380bd87dcef4b095b2a4e578d4461e68df73c Initial commit. 2017-07-17T08:13:31Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-17T08:13:31Z urn:sha1:3e019d57fab57afe7aad373385f32a23bd178941