smtcoq - Fork of https://github.com/smtcoq/smtcoq.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Search and link package num correctly (#69)	Andres Erbsen	2020-06-29	1	-0/+4
\| \| \| \| \|	This is a revised version of #62 with a workaround for coq/coq#12603. closes #62
*	Test asynchronous and make the selected lemmas persistant (#66)	ckeller	2020-03-26	1	-0/+3
\| \| \| \| \| \| \|	* 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>
*	make test does not need cleaning anymore	Chantal Keller	2020-03-25	1	-4/+4
\|
*	Revert "Search correctly for `num` library (#60)" (#61)	ckeller	2020-02-27	1	-4/+0
\| \| \|	This reverts commit dfbf0a5674ae1ab0dc68c15ae4b5df8cc439b741.
*	Search correctly for `num` library (#60)	Maxime Dénès	2020-02-25	1	-0/+4
\| \| \| \|	We fix the way SMTCoq searches for the num library, both when building and when generating .merlin.
*	3rdparty	Chantal Keller	2019-07-15	1	-1/+1
\|
*	Separate unit tests into vernac and tactics	Chantal Keller	2019-04-12	1	-1/+1
\|
*	V8.9 (#43)	ckeller	2019-03-15	1	-0/+33
	* New syntax for implicit arguments * Towards 8.9: problems with Micromega plugin * Move to _CoqProject * Back to name Makefile * Switch to Makefile.local instead of -extra * The compilation issue is a Coq bug * Ok with 8.9 * INSTALL with 8.9 * Everything ok with 8.9