Merge requests · pub / Farith

Feature/rounding

!8 · created Jun 25, 2015 by Loïc Correnson
- Merged
- 8
updated Jul 01, 2015
Add the construction of a toplevel with utop

!7 · created Jun 25, 2015 by François Bobot
- Merged
- 1
updated Jun 25, 2015
Bugfix/issue 005

!6 · created Jun 24, 2015 by Loïc Correnson
updated Jun 24, 2015
Tests framework

!5 · created Jun 24, 2015 by Loïc Correnson
- Merged
- 5
updated Jun 24, 2015
Zarith extended

!4 · created Jun 24, 2015 by François Bobot
- 7
Feature/flocq size

!3 · created Jun 23, 2015 by Loïc Correnson flocq
- Merged
updated Jun 23, 2015
Flocq

!2 · created Jun 22, 2015 by François Bobot
- Merged
- 25
updated Jun 23, 2015
Licensing

!1 · created May 26, 2015 by Loïc Correnson
- Merged
- 3
updated May 27, 2015