GitLab

   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.

2) Suppression des fichiers de compilation de latex
3) Modification de la présentation

2) Configuration pour ingnoré les fichiers "*_save" par git
3) Formatage de code

2) Ajout du dossier de documentation (voir src/doc/doc.h pour plus d'infos)
3) Remise en forme de code.

2) Ajout d'un fichier comprenant quelque macro de débug.

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!

nra precision option + memory free + print status as last output line. broken on some instances, why???

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?