UQ-PAC/aslp

Issues

• Improve Partial Evaluation of Floating Point Conversion Operations

  #46 opened 4 months ago by l-kent
  7

• Error lifting LDAXR (load-acquire / store-release exclusive monitors)

  #84 opened 7 months ago by l-kent
  8

• FP instructions not included in cntlm-ops.txt

  #76 opened 7 months ago by katrinafyi
  0

• Unknown IMP_DEF when called from gtirb-semantics

  #85 opened 7 months ago by l-kent
  5

• Improving Rotation Translation

  #83 opened 7 months ago by l-kent
  0

• Make dis interface handle unsupported instructions gracefully

  #82 opened 8 months ago by ailrst
  0

• move aslp-server into its own dune-project

  #77 opened 9 months ago by katrinafyi
  0

• local variables are re-declared when used within for loops.

  #43 opened 10 months ago by katrinafyi
  0

• libASL: broken build

  #56 opened 10 months ago by mmcloughlin
  3

• Reordered Memory Operations

  #59 opened 10 months ago by ncough
  1

• testing of semantics output

  #44 opened 10 months ago by katrinafyi
  0

• adopt aslt grammar into this repository

  #45 opened 10 months ago by katrinafyi
  2

• symbolic opcodes

  #52 opened a year ago by mmcloughlin
  1

• 128-bit memory accesses atomicity

  #49 opened a year ago by l-kent
  0

• BAP doesn't recognise an instruction

  #5 opened a year ago by JamesP797
  3

• Stack pointer inside unnecessary slices

  #41 opened a year ago by l-kent
  0

• Side-effects of memory / register loads

  #25 opened 2 years ago by katrinafyi
  0

• Non-primitive function cannot be disassembled

  #3 opened 2 years ago by JamesP797
  8

• Impure expressions are being propagated

  #21 opened 2 years ago by katrinafyi
  6

• Unknown integer variables break bitvector coercion

  #11 opened 2 years ago by katrinafyi
  2

• Unable to implement replicate_bits primop in lifter plugin

  #2 opened 2 years ago by JamesP797
  2

• UNDEFINED statement in ASL

  #4 opened 2 years ago by JamesP797
  1