tabellion/instr-scripts/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-07-25T14:58:51Z Removes instr-scripts. 2017-07-25T14:58:51Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-25T14:58:51Z urn:sha1:54bb34b819c314f2274d560bb50cb1afaeedfa84 No longer add function and literals as waveforms. 2017-07-19T09:34:59Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-19T09:34:59Z urn:sha1:8f12413895954e5feed9ea915825d462f0457fe4 Initial commit. 2017-07-17T08:13:31Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-17T08:13:31Z urn:sha1:3e019d57fab57afe7aad373385f32a23bd178941