21 Commits

Author	SHA1	Message	Date
Claude Marche	db96723fd9	fix sessions	2022-07-07 15:49:23 +02:00
Claude Marche	8abedf035e	fix sessions	2022-06-02 17:59:27 +02:00
MARCHE Claude	bcfef9818c	Resolve "Fix drivers for SMT-LIB strings"	2022-04-06 14:29:41 +00:00
Claude Marche	62e1037ff1	fix sessions	2021-09-03 11:59:11 +02:00
Andrei Paskevich	d2fb0befca	examples: recompute broken v6 shapes	2020-08-26 19:32:11 +02:00
Cláudio Belo Lourenço	7fb59982d8	Update sessions	2020-04-06 13:17:09 +02:00
Cláudio Belo Lourenço	8aefa9c919	Update proof shapes	2020-02-21 11:08:56 +01:00
Cláudio Belo Lourenço	48532312f4	Merge branch 'strings-char'	2020-02-20 16:12:30 +01:00
Cláudio Belo Lourenço	d5cb482a25	Moving provable lemmas into string theory as axioms	2020-02-12 16:08:42 +01:00
Jean-Christophe Filliatre	e82458d596	string.String: relaxed preconditions on two axioms	2020-02-12 13:32:40 +01:00
Guillaume Melquiond	dada254134	Update sessions.	2020-02-11 23:47:40 +01:00
Cláudio Belo Lourenço	468487642b	String theory improvements	2020-01-24 15:43:50 +01:00
Cláudio Belo Lourenço	cd6cec368e	String theory - remove axioms in driver when a function is mapped to a solver function	2019-12-07 14:39:18 +01:00
Cláudio Belo Lourenço	4cc3dedd4c	Match informal specification with is_digit definition in string theory	2019-11-24 17:56:14 +01:00
Cláudio Belo Lourenço	b6be1536b1	Review string theory	2019-10-31 10:25:46 +01:00
Cláudio Belo Lourenço	361d7d84c1	Lt and Le transitivity axioms for strings	2019-10-30 16:44:20 +01:00
Cláudio Belo Lourenço	d45a375b2d	Minor fixes in the tests for strings	2019-10-29 22:36:46 +01:00
Cláudio Belo Lourenço	610ba5e3cc	String theory realization update	2019-10-29 22:36:24 +01:00
Cláudio Belo Lourenço	bea4004be1	Minor fixes in string theory and tests	2019-10-24 12:55:38 +02:00
Cláudio Belo Lourenço	5337cfaaf7	New axiom in strings	2019-10-22 11:07:08 +02:00
Cláudio Belo Lourenço	200aee4bda	Realizations for strings using CVC4 and Z3	2019-10-04 16:30:58 +02:00