- 12 May, 2017 1 commit
-
-
BISUTTI Adrien authored
-
- 10 May, 2017 1 commit
-
-
BISUTTI Adrien authored
-
- 09 May, 2017 1 commit
-
-
BISUTTI Adrien authored
séprarer les classes "NRASolver" et "NRASolverStats". Les définitions des méthodes de chacune de ces classes ont été déplacé dans les fichiers .C correspondant. 2) Modifications du parseur pour les ODE.
-
- 05 May, 2017 3 commits
-
-
BISUTTI Adrien authored
-
BISUTTI Adrien authored
-
abisutti authored
2) Suppression des fichiers de compilation de latex 3) Modification de la présentation
-
- 04 May, 2017 1 commit
-
-
BISUTTI Adrien authored
2) Configuration pour ingnoré les fichiers "*_save" par git 3) Formatage de code
-
- 03 May, 2017 2 commits
-
-
BISUTTI Adrien authored
-
BISUTTI Adrien authored
-
- 02 May, 2017 5 commits
-
-
BISUTTI Adrien authored
-
BISUTTI Adrien authored
-
BISUTTI Adrien authored
-
BISUTTI Adrien authored
2) Ajout du dossier de documentation (voir src/doc/doc.h pour plus d'infos) 3) Remise en forme de code.
-
BISUTTI Adrien authored
2) Ajout d'un fichier comprenant quelque macro de débug.
-
- 07 Nov, 2016 1 commit
-
-
Chapoutot authored
-
- 18 Sep, 2016 3 commits
-
-
Robin Morier authored
-
Robin Morier authored
-
Robin Morier authored
-
- 17 Sep, 2016 1 commit
-
-
Chapoutot authored
-
- 07 Sep, 2016 1 commit
-
-
Robin Morier authored
fixed the segfault; commented out the debug prints; got precision to work; spotted a bug : SAT on clause (= t1 (+ t1 10)) both LRA and NRA git status!
-
- 05 Sep, 2016 1 commit
-
-
Robin Morier authored
nra precision option + memory free + print status as last output line. broken on some instances, why???
-
- 09 Aug, 2016 5 commits
-
-
Robin Morier authored
-
Robin Morier authored
-
Robin Morier authored
-
Robin Morier authored
-
Robin Morier authored
-
- 08 Aug, 2016 1 commit
-
-
Morier Robin authored
-
- 03 Aug, 2016 5 commits
-
-
Morier Robin authored
-
Morier Robin authored
got back to the naive solving, subexpr sharing fails with vector variables (see with Ibex team?). Solving seems to work fine; need to add a set-precision command. Interpret() goes buggy on NRA_test_2: segfault when trying to print the parsed formula. May have been fixed in recent commits -> try to merge?
-
Morier Robin authored
-
Morier Robin authored
-
Morier Robin authored
-
- 26 Jul, 2016 2 commits
-
-
Morier Robin authored
-
Morier Robin authored
-
- 25 Jul, 2016 5 commits
-
-
Morier Robin authored
-
Morier Robin authored
-
Morier Robin authored
-
Chapoutot authored
-
Morier Robin authored
-
- 21 Jul, 2016 1 commit
-
-
Chapoutot authored
-