tabellion/sol_pretty_printer/src, branch master Verification tool for VHDL (or at least the prototype of one). https://www.segfault.tech/cgit.cgi/tabellion/atom?h=master 2017-08-03T13:28:17Z Improving clarity through better Makefiles. 2017-08-03T13:28:17Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-03T13:28:17Z urn:sha1:90bb7e959496c3a12bebe055f6344b9f06f22809 Finishes the sol_pretty_printer, 'xcept Makefile. 2017-08-03T09:10:55Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-03T09:10:55Z urn:sha1:c5a23ef9d6ab1e89b85016831fc8b2431f68f87f St 2017-08-01T14:24:49Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-01T14:24:49Z urn:sha1:2db5b59a0b919212fcf751bbb27a001e0459049e