src: 830104dd
farith: a93db57

src: 9681e08e
farith: a93db57

src: 9cb6e382
farith: a93db57

src: f3553bb5
farith: a93db57

src: 830104dd
farith: a93db57

Makefile: force tests for both versions of eclipse

See merge request !57

The dependencies v5-test and v7-test both depends on test but with
different environment variables; that's however not sufficent for
Make, which consider that once test is done, it is not necessary to
execute it again.

Make all tests pass by ignoring some tests

See merge request !56

Update and fix tests

See merge request !55

Bruno Marre authored 9 months ago and Christophe Junke committed 3 weeks ago

A modifier pour mettre dans Unit_tests/unsat/QF_NRA et colibri_tests/unsat

They were wrongly added by the synchronization script.

src: 247284af
farith: a93db57

Release for february 2025

See merge request !53

src: 5b35d170
farith: a93db57

src: b0f3851e
farith: a93db57

src: 33324d91
farith: a93db57

src: 78599729
farith: a93db57

Synchronize

See merge request !52

Refactor tools/compile_colibri

See merge request !51

- uniform approach to path to make sure they are absolute
  (previously colibridir could have been relative)
- rearrange code into distinct sections
  (try to group side-effects together)
- introduce parse_options function
- make eclipselib point to lib/ARCH and
  eclipseexe point to executable file
  (instead of eclipseexe being lib/ARCH)