diff options
author | Jerome Hugues <50238921+jjhugues@users.noreply.github.com> | 2022-06-25 10:44:02 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-06-25 10:44:02 +0200 |
commit | 59c40033462c08095b068e490ab3ef246ddb67f5 (patch) | |
tree | 31c021bacd96648acac85904cee66245afdeefd4 /common | |
parent | 971c8ea8397b74aabfe0245d3f1c0645f3f77554 (diff) | |
download | compcert-59c40033462c08095b068e490ab3ef246ddb67f5.tar.gz compcert-59c40033462c08095b068e490ab3ef246ddb67f5.zip |
Extend the boolean_equality tactic (#429)
Handle constructors with 5, 6 and 7 arguments.
Handle lists.
Diffstat (limited to 'common')
0 files changed, 0 insertions, 0 deletions