Project

General

Profile

« Previous | Next » 

Revision 355b543d

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

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

  • added
  • modified
  • copied
  • renamed
  • deleted