Labels

• bug

  Generic bug
• config-prime-crash

  Configuration priming fails: either during its execution or lifting phases
• duplicate
• enhancement
• help wanted
• invalid
• limitation

  Current limitations of OCCAM
• occamized-binary-exec-crash

  The specialized binary generated by OCCAM crashes
• occamized-binary-exec-wrong-output

  The specialized binary generated by OCCAM produces a wrong output
• over-specialization
• question
• wiki

  Issues related to wiki pages
• wontfix