Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / Riny @ 355b543d

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

Latest revisions

# 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

View revisions

Also available in: Atom