tabellion/data, branch master

tabellion/data, branch master Verification tool for VHDL (or at least the prototype of one). Adds a Java version of prop-to-pred. 2017-10-31T09:44:05+00:00 nsensfel SpamShield0@noot-noot.org 2017-10-31T09:44:05+00:00 a9ee742be71040138c6414a63b7327e05b1723fe

Adds some missing files. 2017-09-26T11:37:08+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-26T11:37:08+00:00 4e38a30f78a9fbe6287b310139ecc10aef6d398f

Fixes dependency rule issues. 2017-09-25T13:39:41+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-25T13:39:41+00:00 914e0dc50230a76f75ce3b9a7f4585b1e08316d2

Updates Tests, fixes 2 properties & inferred/*.mod 2017-09-25T10:48:44+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-25T10:48:44+00:00 4669bdf7046c03200a28de4188075bee69571eb8

Got some property dependencies to work. 2017-09-21T13:26:01+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-21T13:26:01+00:00 0fc661ebabdf55b8e0d26c4f85f0547c106b6549

Solves the missing solutions bug. Starts PropDeps. 2017-09-20T15:19:42+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-20T15:19:42+00:00 bc3e8933e1005e93e4a97b9a207cb40db454a2a8

Adds comments to CNE_01700. 2017-09-20T11:40:40+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-20T11:40:40+00:00 71e7acf1ac104258a295a2662d6dc71f49ac77aa

Improves CNE_01400, adds test for CNE_01400. 2017-09-20T08:03:42+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-20T08:03:42+00:00 fe20276ff74220a51bf8d30aa6190aa5ca6a957f

Fixes CNE_01200, adds CNE_01200 test. 2017-09-19T14:52:10+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-19T14:52:10+00:00 240a3c65df7f7f3914c3d963acbf23b80694fd5a ... which somehow fails.

... which somehow fails.

Fixes anonymous strings, adds CNE_01100 test. 2017-09-19T14:12:54+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-19T14:12:54+00:00 0b35af5ee0e660c810e22a09738ff1960745db23