SRI-CSL/llvm2smt

Issues

• Compilation error

  #8 opened 7 months ago by pkalita595
  1

• Fix the interpretattion of undef to be

  #5 opened 9 years ago by ianamason
  1

• Not all instructions handle vector arguments

  #3 opened 9 years ago by BrunoDutertre
  2

• Use the correct suffix in our examples.

  #4 opened 9 years ago by ianamason
  1

• Add support for smt2 in hightlights

  #1 opened 9 years ago by dddejan
  2

• @ in the produced smt translation should go the way of the dodo

  #2 opened 9 years ago by ianamason
  4