tabellion/instance-calculator/src/.java_classpath, 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-28T14:27:12Z Starts the Instance Calculator 2017-08-28T14:27:12Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-28T14:27:12Z urn:sha1:ee9d405bc917be3f596ccd2ffd2d7ddc01687d31