tabellion/README, 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-31T13:41:01Z Renames README to README.md. Woops. 2017-07-31T13:41:01Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-31T13:41:01Z urn:sha1:27fd5d8afef49ffeca83dd5714738bfaffe04505 Adds README. 2017-07-31T13:40:27Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-31T13:40:27Z urn:sha1:8c972b5be12b896aeb0345f5a785460e6b987d69