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/Sections.ml | |
| 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/Sections.ml')
0 files changed, 0 insertions, 0 deletions