tabellion/sol-pretty-printer/Makefile, branch improved_makefiles Verification tool for VHDL (or at least the prototype of one). https://www.segfault.tech/cgit.cgi/tabellion/atom?h=improved_makefiles 2017-08-04T10:47:30Z 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