Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
tiny_tube.ml 6.6 KB 4c945dde over 3 years Pierre-Loïc Garoche Improved tiny backend
tiny_utils.ml 10.3 KB 4c945dde over 3 years Pierre-Loïc Garoche Improved tiny backend
tiny_verifier.ml 6.87 KB 4c945dde over 3 years Pierre-Loïc Garoche Improved tiny backend

Latest revisions

# Date Author Comment
4c945dde 07/02/2021 02:39 PM Pierre-Loïc Garoche

Improved tiny backend

820616b1 03/22/2021 01:14 PM Pierre-Loïc Garoche

Tiny verifier: better control of the print commands

25537a17 03/19/2021 03:02 PM Pierre-Loïc Garoche

Updated tiny plugin to deal with boolean variables, since the latest extension of tiny now deals with these!

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