diff options
author | ckeller <ckeller@users.noreply.github.com> | 2020-03-26 12:14:05 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-26 12:14:05 +0100 |
commit | 80a54a0e1974729d4756d2cc8483a2548c8dd2d0 (patch) | |
tree | 311cf5b94deed4a193cb7dd05247846e5cba06ef /src/versions/standard/Int63/Int63Native_standard.v | |
parent | a3146935a48337634f6810d53a7cc7302cb61d47 (diff) | |
download | smtcoq-80a54a0e1974729d4756d2cc8483a2548c8dd2d0.tar.gz smtcoq-80a54a0e1974729d4756d2cc8483a2548c8dd2d0.zip |
Test asynchronous and make the selected lemmas persistant (#66)
* Add a test target for asynchronous proof checking (does not fully reflect the coqide behavior though)
* Make the selected lemmas persistant
Co-authored-by: Chantal Keller <Chantal.Keller@lri.fr>
Diffstat (limited to 'src/versions/standard/Int63/Int63Native_standard.v')
0 files changed, 0 insertions, 0 deletions