Code

Adding lifted lattice solver#114

Code

Merged

l-kent merged 34 commits intomainUQ-PAC/BASIL:mainfrom yousif-memory-region-analysisUQ-PAC/BASIL:yousif-memory-region-analysisCopy head branch name to clipboardDec 8, 2023

+200-116

Commits

Commits on Oct 17, 2023

• Adding lifted lattice solver

  yousifpatti

  committed
  d2b6ce1

Commits on Oct 24, 2023

• Lifted works but needs unlifting results

  yousifpatti

  committed
  63d5909

Commits on Oct 31, 2023

• Merge branch 'main' into yousif-memory-region-analysis

  yousifpatti

  committed
  26398dd

• Added unlifted analyze

  yousifpatti

  committed
  3f8fd3a

• started lifted VSA but some issues marked with TODO

  yousifpatti

  committed
  f8dc3e6

Commits on Nov 7, 2023

• Merge branch 'main' into yousif-memory-region-analysis

  yousifpatti

  committed
  de5b348

• Lifted VSA

  yousifpatti

  committed
  7d06c08

Commits on Nov 14, 2023

• VSA lifted lattice

  yousifpatti

  committed
  552d637

• Merge branch 'main' into yousif-memory-region-analysis

  yousifpatti

  committed
  3293623

Commits on Nov 16, 2023

• Fixing local transfer returns

  yousifpatti

  committed
  e869ef0

Commits on Nov 21, 2023

• Merge branch 'main' into yousif-memory-region-analysis

  yousifpatti

  committed
  e519dae

• Minor format issue

  yousifpatti

  committed
  cf9f077

• Fixed MRA join issue with liftedLattice

  yousifpatti

  committed
  abe8f30

• Fixed a bug in pretty printer

  yousifpatti

  committed
  6f6f642

• VSA lattice change

  yousifpatti

  committed
  681dc19

Commits on Nov 28, 2023

• Adding lifted lattice solver

  yousifpatti

  committed
  6cbbd27

• Lifted works but needs unlifting results

  yousifpatti

  committed
  1394744

• Added unlifted analyze

  yousifpatti

  committed
  45262e4

• started lifted VSA but some issues marked with TODO

  yousifpatti

  committed
  c55f271

• Lifted VSA

  yousifpatti

  committed
  855cfdd

• VSA lifted lattice

  yousifpatti

  committed
  a97c7ea

• Fixing local transfer returns

  yousifpatti

  committed
  84f85e6

• Minor format issue

  yousifpatti

  committed
  60e76a5

• Fixed MRA join issue with liftedLattice

  yousifpatti

  committed
  de6e54b

• Fixed a bug in pretty printer

  yousifpatti

  committed
  5bc0d76

• VSA lattice change

  yousifpatti

  committed
  b04ec03

Commits on Nov 29, 2023

• Resolving type issues

  yousifpatti

  committed
  4ecdc7d

• Merge branch 'yousif-memory-region-analysis' of https://github.com/UQ-PAC/bil-to-boogie-translator into yousif-memory-region-analysis

  yousifpatti

  committed
  d0a88e2

Commits on Nov 30, 2023

• fixing lattice type stage 1

  yousifpatti

  committed
  9fe43c1

• Small changes

  yousifpatti

  committed
  b296a50

• More type changes

  yousifpatti

  committed
  b68020d

• Bug fix

  yousifpatti

  committed
  8a4dd71

• fix types with lifted lattice

  

  l-kent

  committed
  270eca2

Commits on Dec 5, 2023

• Added LiftedLattice to VSA

  yousifpatti

  committed
  0c68b3f