/src/tools/tiny - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/tools/tiny @ f0195e96

Name	Size	Revision	Age	Author	Comment
tiny_utils.ml	6.76 KB	f0195e96	over 3 years	Pierre-Loïc Garoche	- Primitive Tiny backend - Renamed Mpfr to lust...
tiny_verifier.ml	1.75 KB	f0195e96	over 3 years	Pierre-Loïc Garoche	- Primitive Tiny backend - Renamed Mpfr to lust...

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