Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / tools / tiny @ 820616b1

Name Size Revision Age Author Comment
tiny_utils.ml 9.66 KB 820616b1 4 months Pierre-Loïc Garoche Tiny verifier: better control of the print comm...
tiny_verifier.ml 5.7 KB 820616b1 4 months Pierre-Loïc Garoche Tiny verifier: better control of the print comm...

Latest revisions

# Date Author Comment
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