projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f40ec39) | patch
some improvements to the sharing mechanism/interface
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 22 Mar 2012 20:40:41 +0000 (20:40 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 22 Mar 2012 20:40:41 +0000 (20:40 +0000)
commit8c4495b18e40a406be35baceaf473878bcc375f1
tree2c1e491cbb088e26775572160b31ae2cd250bad8tree
parentf40ec39fe48f83e1cc1a31f9e18635687bd63c76commit | diff
some improvements to the sharing mechanism/interface
15 files changed:
.project diff | blob | history
src/theory/theory.cpp diff | blob | history
src/theory/theory.h diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
src/theory/theory_engine.h diff | blob | history
src/theory/uf/equality_engine.h diff | blob | history
src/theory/uf/equality_engine_impl.h diff | blob | history
src/theory/uf/theory_uf.cpp diff | blob | history
src/theory/uf/theory_uf.h diff | blob | history
test/regress/regress0/Makefile.am diff | blob | history
test/regress/regress0/uflia/Makefile [new file with mode: 0644] blob
test/regress/regress0/uflia/Makefile.am [new file with mode: 0644] blob
test/regress/regress0/uflia/javafe.ast.StandardPrettyPrint.319_no_forall.smt2 [new file with mode: 0644] blob
test/regress/regress0/uflia/javafe.ast.WhileStmt.447_no_forall.smt2 [new file with mode: 0644] blob
test/regress/regress0/uflia/simplify.javafe.ast.ArrayInit.35_without_quantification2.smt2 [new file with mode: 0644] blob