Revision 355b543d - Specific filtering of constant branching conditions for riny backend. Introdu... - LustreC

« Previous | Next »

Revision 355b543d

Added by Pierre-Loïc Garoche over 6 years ago

ID 355b543d41703bd570cfa07b6486d09d8ef84ba9
Parent 30551ad8
Child 4b269e3f

Specific filtering of constant branching conditions for riny backend.
Introduced a new partial evaluation function for machine code value

added
modified
copied
renamed
deleted

src
- backends
  - Riny
    - riny_backend.ml (diff)
- machine_code.ml (diff)