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

	Commit message (Expand)	Author	Age	Files	Lines
*	Empty bit-vectors are not valid in SMT (fixes #76)	Chantal Keller	2020-06-30	1	-1/+1
*	Update required version of OCaml (fixes #73)	Chantal Keller	2020-06-30	1	-6/+5
*	Remove invalid axiom (see #71)	Chantal Keller	2020-06-29	1	-1/+5
*	Failure instead of exception when atom is not well-typed	Chantal Keller	2020-05-15	2	-5/+1
*	Typo	Chantal Keller	2020-05-15	1	-1/+0
*	Close #10	Chantal Keller	2020-05-15	2	-38/+73
*	Solve bug in SMT print	Chantal Keller	2020-05-15	1	-17/+23
*	More precise call to Micromega	Chantal Keller	2020-05-15	1	-1/+1
*	Test asynchronous and make the selected lemmas persistant (#66)	ckeller	2020-03-26	6	-207/+274
*	make test does not need cleaning anymore	Chantal Keller	2020-03-25	2	-6/+10
*	veriT does not distinguish between warnings and errors (#64)	Chantal Keller	2020-03-03	1	-0/+2
*	Better error messages when veriT fails	Chantal Keller	2020-02-28	1	-3/+8
*	Remove useless code	Chantal Keller	2020-02-28	1	-1/+1
*	Revert "Search correctly for `num` library (#60)" (#61)	ckeller	2020-02-27	1	-4/+0
*	Search correctly for `num` library (#60)	Maxime Dénès	2020-02-25	1	-0/+4
*	Do not call Coqlib resolution at linking time (#59)	Maxime Dénès	2020-02-25	1	-2/+2
*	Updated insertion sort example (fixes #57)	Chantal Keller	2020-02-13	1	-16/+16
*	Documentation	Chantal Keller	2020-02-01	1	-0/+3
*	Best practice on axiom	Chantal Keller	2020-01-28	1	-1/+2
*	Best practice	Chantal Keller	2020-01-28	1	-0/+17
*	Comments for conversion tactics	Chantal Keller	2020-01-21	1	-79/+92
*	Use smt in the group example	Chantal Keller	2020-01-16	1	-9/+9
*	Fix CI manifest	Chantal Keller	2020-01-16	1	-1/+4
*	Add the full example of the webpage in the unit tests	Chantal Keller	2020-01-16	1	-0/+30
*	Corrected the example on the webpage (fixes #56)	Chantal Keller	2020-01-16	1	-11/+15
*	A bit of CI	Chantal Keller	2020-01-15	1	-0/+44
*	Correct links	Chantal Keller	2020-01-15	1	-2/+2
*	Webpage	Chantal Keller	2020-01-15	1	-1/+3
*	Merge branch 'master' of github.com:smtcoq/smtcoq	Chantal Keller	2020-01-15	3	-9/+10
\|\
\| *	Set theme jekyll-theme-slate	ckeller	2020-01-15	1	-0/+1
\| *	Changing notation for implb (closes #51)	Chantal Keller	2019-11-14	2	-9/+9
* \|	More succinct README	Chantal Keller	2020-01-15	2	-270/+328
\|/
*	Update gitignore	Chantal Keller	2019-10-01	1	-3/+5
*	Open participation	Chantal Keller	2019-09-26	1	-14/+22
*	Typo	Chantal Keller	2019-09-25	1	-0/+1
*	Typo	Chantal Keller	2019-09-25	1	-1/+0
*	An opam package is back!	Chantal Keller	2019-09-25	1	-17/+18
*	Top-level Makefile	Chantal Keller	2019-09-25	1	-0/+5
*	Missing files	Chantal Keller	2019-09-25	2	-0/+60
*	Made SmtCommands independent from VeritSyntax	Chantal Keller	2019-09-25	21	-298/+240
*	Remove unused file	Chantal Keller	2019-09-20	1	-65/+0
*	3rdparty	Chantal Keller	2019-07-15	11	-35/+106
*	Documentation	Chantal Keller	2019-04-12	1	-3/+4
*	Documentation	Chantal Keller	2019-04-12	2	-4/+10
*	Separate unit tests into vernac and tactics	Chantal Keller	2019-04-12	9	-545/+587
*	Documentation	Chantal Keller	2019-04-12	2	-94/+119
*	Properly check veriT exit code and warnings (#48)	ckeller	2019-04-12	5	-9/+17
*	Error message to state that tactics are not supported with native-coq (#47)	ckeller	2019-04-12	9	-65/+149
*	Check again that veriT returns a zero exit code	Chantal Keller	2019-04-12	1	-1/+1
*	Remove check of veriT non-zero exit code	Chantal Keller	2019-04-10	1	-1/+1