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