tabellion/instr-to-kodkod, branch master Verification tool for VHDL (or at least the prototype of one). https://noot-noot.org/cgit.cgi/tabellion/atom?h=master 2017-09-27T14:02:38Z Limits the creation of atom-relations to "String". 2017-09-27T14:02:38Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-27T14:02:38Z urn:sha1:a3b507f3d2ce6041d29e154e11011d1f963e1a19 The need for those relations is limited to the access of their atom in the formula. As, with the exception of String elements, the formula cannot directly reference an atom, only String atoms require their own relation. Going even further, only the String element referenced in the formula need their own relation. Fixes dependency rule issues. 2017-09-25T13:39:41Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-25T13:39:41Z urn:sha1:914e0dc50230a76f75ce3b9a7f4585b1e08316d2 Updates Tests, fixes 2 properties & inferred/*.mod 2017-09-25T10:48:44Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-25T10:48:44Z urn:sha1:4669bdf7046c03200a28de4188075bee69571eb8 Got some property dependencies to work. 2017-09-21T13:26:01Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-21T13:26:01Z urn:sha1:0fc661ebabdf55b8e0d26c4f85f0547c106b6549 Solves the missing solutions bug. Starts PropDeps. 2017-09-20T15:19:42Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-20T15:19:42Z urn:sha1:bc3e8933e1005e93e4a97b9a207cb40db454a2a8 Strings are all in lowercase. 2017-09-19T15:15:27Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-19T15:15:27Z urn:sha1:9d6c35b2e847e6e4864e550574ab08f2c9d20ee6 Still doesn't fix CNE_01200's valid.vhd:19 not being detected. The instr model seems correct, though. Fixes anonymous strings, adds CNE_01100 test. 2017-09-19T14:12:54Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-19T14:12:54Z urn:sha1:0b35af5ee0e660c810e22a09738ff1960745db23 Removes the extra set of " that messed with regex. 2017-09-19T14:08:48Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-19T14:08:48Z urn:sha1:8a15d57b056cf84aa9b2ae0234bf5bc432b414c3 Merge branch 'instance-calculator' 2017-09-18T08:32:39Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-18T08:32:39Z urn:sha1:201c17fb6fd3773721044f681b3afc89b64a4978 Fixes jar not downloading. 2017-09-04T12:27:00Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-04T12:27:00Z urn:sha1:474f870ea7af014808d109fa687b5c75d8861bd1