/src/tools/tiny - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/tools/tiny @ 58fd528a

Name	Size	Revision	Age	Author	Comment
tiny_utils.ml	7.04 KB	58fd528a	almost 5 years	Pierre-Loïc Garoche	Added some missing locations in tiny plugin
tiny_verifier.ml	5.06 KB	58fd528a	almost 5 years	Pierre-Loïc Garoche	Added some missing locations in tiny plugin

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