diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-18 15:10:15 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-18 15:10:15 +0100 |
commit | ea6db904047d172bc958d65ec5046cd2b93cd3cb (patch) | |
tree | 66ddf349bfb99e08bc335a80b443b24239c4fdfa /src/lfsc/tests/bv3.smt2 | |
parent | d63d54bafb1c5c9ddca09c0f2be2d04a5c1e9624 (diff) | |
parent | 772f19d20ec6af11259c1aea2095547944d63086 (diff) | |
download | smtcoq-ea6db904047d172bc958d65ec5046cd2b93cd3cb.tar.gz smtcoq-ea6db904047d172bc958d65ec5046cd2b93cd3cb.zip |
Merge remote-tracking branch 'vblot/coq-8.10-foldi_iter' into coq-8.10
Diffstat (limited to 'src/lfsc/tests/bv3.smt2')
0 files changed, 0 insertions, 0 deletions