Labels

• bug

  bug

  Generic bug

• config-prime-crash

  config-prime-crash

  Configuration priming fails: either during its execution or lifting phases

• duplicate

  duplicate

• enhancement

  enhancement

• help wanted

  help wanted

• invalid

  invalid

• limitation

  limitation

  Current limitations of OCCAM

• occamized-binary-exec-crash

  occamized-binary-exec-crash

  The specialized binary generated by OCCAM crashes

• occamized-binary-exec-wrong-output

  occamized-binary-exec-wrong-output

  The specialized binary generated by OCCAM produces a wrong output

• over-specialization

  over-specialization

• question

  question

• wiki

  wiki

  Issues related to wiki pages

• wontfix

  wontfix