Skip to content

Releases: SandroMaglione/range-analysis-llvm

Version 4.0

26 Jun 05:38
Compare
Choose a tag to compare
  • Completed BranchRange
  • Completed Report
  • Completed Presentation
  • Added Benchmarks
  • Final notes and README

Version 3.0

02 Jun 17:52
Compare
Choose a tag to compare
  • Completed BranchRange for initial examples (bra2 and bra3)

More tests still required and some cases still to handle properly.

Version 2.0

21 May 17:25
Compare
Choose a tag to compare
  • Completed ConstantRange.cpp analysis
  • Added examples in src folder
  • Added instruction file README.md file
  • Initialized BranchRange.cpp file

Version 1.1

20 May 17:19
Compare
Choose a tag to compare
  • Supported
    • a + b
    • a + 1
    • 1 + a
    • a - b
    • a - 1
    • 1 - a

Version 1.0

19 May 16:58
Compare
Choose a tag to compare
  • Support for a single basic block (no branches)
  • Only left-side operator variables (int a = b + 5 [valid], int a = 5 + b [not valid])
  • No MULT or DIV.