projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a626fca) | patch
Add LFSC side condition conversion utility for list variables (#7131)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 8 Sep 2021 13:39:31 +0000 (08:39 -0500)
committerGitHub <noreply@github.com>
Wed, 8 Sep 2021 13:39:31 +0000 (13:39 +0000)
commit46c7d9d919c40962ec0c538754dac5a975eedb25
treeba323853a20f2b6f182f730eb78dbe4a4220d124tree
parenta626fcac4c3fb53b458e33a20225b9ef4ecda015commit | diff
Add LFSC side condition conversion utility for list variables (#7131)

Required for automatic generation of side conditions from DSL rewrite rules.
src/CMakeLists.txt diff | blob | history
src/proof/lfsc/lfsc_list_sc_node_converter.cpp [new file with mode: 0644] blob
src/proof/lfsc/lfsc_list_sc_node_converter.h [new file with mode: 0644] blob