Code

Il cfg iterator#141

Code

Merged

ailrst merged 46 commits intomainUQ-PAC/BASIL:mainfrom il-cfg-iteratorUQ-PAC/BASIL:il-cfg-iteratorCopy head branch name to clipboardJan 24, 2024

+3,011-348

Commits

Commits on Nov 7, 2023

• move il classes to separate files

  ailrst

  committed
  6e68244

  Copy full SHA for 6e68244

• move il classes to separate files

  ailrst

  committed
  0acf9b7

  Copy full SHA for 0acf9b7

• add parent references to il

  ailrst

  committed
  c3f63b6

  Copy full SHA for c3f63b6

• initial intrusive list work

  ailrst

  committed
  ff30667

  Copy full SHA for ff30667

Commits on Nov 8, 2023

• refactor il to use intrusive list and fix intrusive list

  ailrst

  committed
  aeba762

  Copy full SHA for aeba762

Commits on Nov 9, 2023

• initial work to add backwards intraproc links to IL

  ailrst

  committed
  c270d15

  Copy full SHA for c270d15

• add assertions

  ailrst

  committed
  118ecff

  Copy full SHA for 118ecff

• fix jump order issue

  ailrst

  committed
  2e4f9e8

  Copy full SHA for 2e4f9e8

• add procedure called-by links

  ailrst

  committed
  d6dafeb

  Copy full SHA for d6dafeb

Commits on Nov 10, 2023

• move intra to trait param on dependencies

  ailrst

  committed
  3a2d6bd

  Copy full SHA for 3a2d6bd

• implement prototype IL constprop

  ailrst

  committed
  a3b2c88

  Copy full SHA for a3b2c88

• cleanup

  ailrst

  committed
  cd355dd

  Copy full SHA for cd355dd

• explanation

  ailrst

  committed
  51ed576

  Copy full SHA for 51ed576

• minor edit

  ailrst

  committed
  1ee3c3f

  Copy full SHA for 1ee3c3f

• edit

  ailrst

  committed
  b7d9a47

  Copy full SHA for b7d9a47

Commits on Nov 13, 2023

• output il cfg

  ailrst

  committed
  a6af61e

  Copy full SHA for a6af61e

Commits on Nov 21, 2023

• undo split up block and procedure

  ailrst

  committed
  0dee8b9

  Copy full SHA for 0dee8b9

Commits on Nov 27, 2023

• merge boogie style control flow

  ailrst

  committed
  688c2d6

  Copy full SHA for 688c2d6

• update expected

  ailrst

  committed
  c57b73a

  Copy full SHA for c57b73a

• cleanup

  ailrst

  committed
  b2eb839

  Copy full SHA for b2eb839

Commits on Nov 28, 2023

• add procedure return block and distinct entry block

  ailrst

  committed
  c5c6ed4

  Copy full SHA for c5c6ed4

• handle call in constprop

  ailrst

  committed
  ddb0269

  Copy full SHA for ddb0269

• Merge branch 'main' into il-cfg-iterator

  ailrst

  committed
  465a49e

  Copy full SHA for 465a49e

• fix broken tests & cleanup

  ailrst

  committed
  c04a1f1

  Copy full SHA for c04a1f1

• udpate expected

  ailrst

  committed
  678e3d3

  Copy full SHA for 678e3d3

• cleanup

  ailrst

  committed
  0fe3041

  Copy full SHA for 0fe3041

Commits on Nov 29, 2023

• cleanup output

  ailrst

  committed
  0fd434d

  Copy full SHA for 0fd434d

• cleanup

  ailrst

  committed
  34b6cf4

  Copy full SHA for 34b6cf4

Commits on Dec 1, 2023

• simple review fixes

  ailrst

  committed
  8693a29

  Copy full SHA for 8693a29

• cleanup entry/exit blocks somewhat

  ailrst

  committed
  a816ecb

  Copy full SHA for a816ecb

• fix

  ailrst

  committed
  f628b00

  Copy full SHA for f628b00

• proc and block graphs

  ailrst

  committed
  72f3bc8

  Copy full SHA for 72f3bc8

Commits on Jan 3, 2024

• stuff

  ailrst

  committed
  ba65e4d

  Copy full SHA for ba65e4d

Commits on Jan 8, 2024

• simpler analysis result printer

  ailrst

  committed
  a94fd52

  Copy full SHA for a94fd52

Commits on Jan 10, 2024

• fix result printer and block

  ailrst

  committed
  353e1ba

  Copy full SHA for 353e1ba

Commits on Jan 23, 2024

• merge main

  ailrst

  committed
  c9cd919

  Copy full SHA for c9cd919

• simplify Dependencies

  ailrst

  committed
  02aeae6

  Copy full SHA for 02aeae6

• update expected

  ailrst

  committed
  b031e9c

  Copy full SHA for b031e9c

• cleanup intrusivelist typecasts

  ailrst

  committed
  68362ae

  Copy full SHA for 68362ae

• format

  ailrst

  committed
  9ccb025

  Copy full SHA for 9ccb025

• cleanup

  ailrst

  committed
  45688e6

  Copy full SHA for 45688e6

• fix explanation

  ailrst

  committed
  4158d49

  Copy full SHA for 4158d49

• fix clearblocks

  ailrst

  committed
  1f78b30

  Copy full SHA for 1f78b30

• Merge branch 'main' into il-cfg-iterator

  ailrst

  authored
  2851650

  Copy full SHA for 2851650

Commits on Jan 24, 2024

• cleanup comments

  ailrst

  committed
  fa65d14

  Copy full SHA for fa65d14

• update expected

  ailrst

  committed
  2b088f3

  Copy full SHA for 2b088f3