Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
dune 246 Bytes 719ae9fd over 1 year Lélio Brun migration draft on dune
tiny_utils.ml 7.04 KB 58fd528a almost 2 years Pierre-Loïc Garoche Added some missing locations in tiny plugin
tiny_verifier.ml 5.19 KB 719ae9fd over 1 year Lélio Brun migration draft on dune

Latest revisions

# Date Author Comment
719ae9fd 02/03/2021 02:47 PM Lélio Brun

migration draft on dune

58fd528a 07/09/2020 03:27 PM Pierre-Loïc Garoche

Added some missing locations in tiny plugin

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