projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: baaab48) | patch
Expression sharing on demand in LFSC (replace definitionally equivalent child argumen...
authorajreynol <andrew.j.reynolds@gmail.com>
Mon, 15 Aug 2016 21:30:07 +0000 (16:30 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Mon, 15 Aug 2016 21:30:07 +0000 (16:30 -0500)
commit20fc32c0c4a2518673e1cbaa0afb3c4fb284ffe6
treeb2698ac7cd23f9336d6b82489547caf788f4db59tree
parentbaaab488c597e3e30dd3b929a5a612ba7fd660afcommit | diff
Expression sharing on demand in LFSC (replace definitionally equivalent child arguments after successful comparison).
proofs/lfsc_checker/expr.cpp diff | blob | history