tabellion/data/test, branch master Verification tool for VHDL (or at least the prototype of one). 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












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












Adds tests for CNE_00100.
2017-09-19T12:39:04+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-09-19T12:39:04+00:00

df3674a24d26f226d499836bd3611e7624ca4c9b












Fixes valid test, adds tests pretty printing.
2017-09-19T12:31:10+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-09-19T12:31:10+00:00

d74a7c7ab3f10e9ea6eddb26639cfb6929646793












Fixes case/when models, regroups properties.
2017-09-19T12:05:52+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-09-19T12:05:52+00:00

f2b7e406b8e77df22ef379a5e880f64d1e5043b9












Continues to implement automated testing.
2017-09-19T08:49:08+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-09-19T08:49:08+00:00

706f4260ef5175a1134be7764aa9640b28fa2335

... in a hacky sort of way.





... in a hacky sort of way.







Making progress on the automated testing...
2017-09-18T14:02:57+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2017-09-18T14:02:57+00:00

900db6294298c1eeb8110b73ef8dafc8175ef4a1