tabellion/sol-pretty-printer, branch master Verification tool for VHDL (or at least the prototype of one). https://www.segfault.tech/cgit.cgi/tabellion/atom?h=master 2017-09-25T10:48:44Z 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 Continues to implement automated testing. 2017-09-19T08:49:08Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-19T08:49:08Z urn:sha1:706f4260ef5175a1134be7764aa9640b28fa2335 ... in a hacky sort of way. Moves the templates to accommodate the tests. 2017-09-18T13:18:05Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-18T13:18:05Z urn:sha1:59d6ea1df12aa2fadcab1ec5cd22b99873721869 Fixes Makefiles so they can run parallel jobs. 2017-08-16T09:17:59Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-16T09:17:59Z urn:sha1:10e7fc528c0a767da2f7b8447b6c62d017adaf54 Partial attr. support, build/run targets, literals 2017-08-15T16:43:56Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-15T16:43:56Z urn:sha1:be92d1955a45b81e3d7f4af26497c3d73aa46ceb For some reason, CNE_01700 no longer works. 2017-08-04T10:47:30Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-04T10:47:30Z urn:sha1:d18ca72caf2004c7725b3de670c7397c5bf85eb4 First shot at spprinter's Makefile + README update 2017-08-03T15:38:44Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-03T15:38:44Z urn:sha1:c4914a0649090b4784b72909eab53ea01e20a93e Improving clarity through better Makefiles. 2017-08-03T13:28:17Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-03T13:28:17Z urn:sha1:90bb7e959496c3a12bebe055f6344b9f06f22809