projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
api: Rename BOUND_VAR_LIST to VARIABLE_LIST. (#7632)
[cvc5.git] / src / expr / codatatype_bound_variable.h
2021-10-20 Andrew ReynoldsUse codatatype bound variables for codatatype values... blob | commitdiff | raw