Project

General

Profile

Download (4.98 KB) Statistics
| Branch: | Tag: | Revision:

lustrec/src/tools/tiny/tiny_verifier.ml @ ca7ff3f7

# Date Author Comment
ca7ff3f7 06/17/2021 11:33 AM Lélio Brun

reformatting
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