tabellion/instance-calculator/src/.java_classpath, branch master Verification tool for VHDL (or at least the prototype of one). Starts the Instance Calculator 2017-08-28T14:27:12+00:00 Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-08-28T14:27:12+00:00 ee9d405bc917be3f596ccd2ffd2d7ddc01687d31