add implementation
adapt axioms
adapt axioms
complete axioms
rename
test cases for completeness
minor changes
many fixes
more completeness tests
fixes
minor fixes
abstraction + more
minor improvements
minor improvements
more tests + minor optimizations
minor
graphiz output of models
fixes in join axioms; minor improvements in graphviz output
tests; fixes in axioms
heap prover