/src/backends/Riny - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec / src / backends / Riny @ 355b543d

Name	Size	Revision	Age	Author	Comment
riny_backend.ml	7.4 KB	355b543d	about 5 years	Pierre-Loïc Garoche	Specific filtering of constant branching condit...

#			Date	Author	Comment
355b543d			12/16/2015 01:27 PM	Pierre-Loïc Garoche	Specific filtering of constant branching conditions for riny backend. Introduced a new partial evaluation function for machine code value
3d04f75e			10/23/2015 05:35 PM	Pierre-Loïc Garoche	riny

Also available in: Atom