/src/tools/tiny - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/tools/tiny @ 09bfc860

Name	Size	Revision	Age	Author	Comment
tiny_tube.ml	6.6 KB	4c945dde	almost 4 years	Pierre-Loïc Garoche	Improved tiny backend
tiny_utils.ml	11.2 KB	293f2afd	about 3 years	Pierre-Loïc Garoche	converting numerical functions to tiny
tiny_verifier.ml	6.87 KB	09bfc860	about 3 years	Pierre-Loïc Garoche	Cleaning

#	Date	Author	Comment
09bfc860	02/15/2022 01:00 PM	Pierre-Loïc Garoche	Cleaning
293f2afd	01/28/2022 03:27 PM	Pierre-Loïc Garoche	converting numerical functions to tiny
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

Also available in: Atom