• Alexander Weigl's avatar
    Refactoring; Contrapositon works! · 0c1e07d3
    Alexander Weigl authored
    * remove errorstate and abstractstate
    * parameterization of interpreter (related) classes
    * interpreter.data package
    * finished Rule and ProofScriptCommandBuilder
    * VariableAssignment use Variable as key data type
    * Contrapositon as test case
    0c1e07d3
Name
Last commit
Last update
.idea Loading commit data...
lib Loading commit data...
src Loading commit data...
.checkstyle_rules.xml Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
.gitmodules Loading commit data...
LICENSE Loading commit data...
pom.xml Loading commit data...