tabellion/ast-to-instr/Makefile, 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-21T13:26:01Z Got some property dependencies to work. 2017-09-21T13:26:01Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-21T13:26:01Z urn:sha1:0fc661ebabdf55b8e0d26c4f85f0547c106b6549 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 Other than the pretty-printer, it seems done. 2017-08-03T14:57:20Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-03T14:57:20Z urn:sha1:71f3a1bb063087e51f2b2e2ef940e773e2e084d1 Improving clarity through better Makefiles. 2017-08-03T13:28:17Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-03T13:28:17Z urn:sha1:90bb7e959496c3a12bebe055f6344b9f06f22809 Centralizes the processing of (read) expressions. 2017-07-24T11:40:40Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-24T11:40:40Z urn:sha1:66cfd64a7ed0c3809e033b0976c17e95bc6c50ca Fixes connect_to/node_connect, configs Makefiles. 2017-07-24T07:51:20Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-24T07:51:20Z urn:sha1:c734cd67ee4ebe5c235c7785f6b193952bf3bc17 Starting a Java implementation of ast-to-instr. 2017-07-19T18:24:40Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-07-19T18:24:40Z urn:sha1:158f8ef180d4ea448b351599529db53ff5e88f8c Keeping things clean, this time.