Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
tiny_utils.ml 6.77 KB 3e039a34 over 1 year Pierre-Loïc Garoche Tiny: solved issue with a change in the Locatio...
tiny_verifier.ml 1.75 KB f0195e96 about 2 years Pierre-Loïc Garoche - Primitive Tiny backend - Renamed Mpfr to lust...

Latest revisions

# Date Author Comment
3e039a34 07/02/2020 03:32 PM Pierre-Loïc Garoche

Tiny: solved issue with a change in the Location.dummy signature

f0195e96 01/28/2020 05:26 AM Pierre-Loïc Garoche

- Primitive Tiny backend
- Renamed Mpfr to lustrec_mpfr
- Introduced dependency in Zarith. Trying to move away from Num

View revisions

Also available in: Atom