Code

Simplification pass#256

Code

Open

ailrst wants to merge 142 commits intomainUQ-PAC/BASIL:mainfrom simplification-passUQ-PAC/BASIL:simplification-passCopy head branch name to clipboard

+11,899-1,669

Commits

Commits on Aug 19, 2024

• refactor call to a statement & add unreachable and return jumps

  ailrst

  committed
  182c9e8

  Copy full SHA for 182c9e8

• move transforms out of RunUtils.scala

  ailrst

  committed
  3711e4d

  Copy full SHA for 3711e4d

• remove old cfg

  ailrst

  committed
  fd56c9a

  Copy full SHA for fd56c9a

• update docs

  ailrst

  committed
  bd6b2ad

  Copy full SHA for bd6b2ad

• pe based expr evaluator

  ailrst

  committed
  96b9028

  Copy full SHA for 96b9028

• interpreter test

  ailrst

  committed
  d264b97

  Copy full SHA for d264b97

Commits on Aug 22, 2024

• rewrite interpreter in functional style

  ailrst

  committed
  a3bf83b

  Copy full SHA for a3bf83b

• cleanup call/return

  ailrst

  committed
  74c4bc2

  Copy full SHA for 74c4bc2

• cleanup memory ops to enter effects

  ailrst

  committed
  9e23558

  Copy full SHA for 9e23558

Commits on Aug 26, 2024

• tracing interpreter

  ailrst

  committed
  7571aa3

  Copy full SHA for 7571aa3

Commits on Aug 27, 2024

• compile with state monad

  ailrst

  committed
  f36c13e

  Copy full SHA for f36c13e

Commits on Aug 28, 2024

• fix state monad interp

  ailrst

  committed
  2c16c83

  Copy full SHA for 2c16c83

• indirect calls

  ailrst

  committed
  dd11175

  Copy full SHA for dd11175

• tracing interpreter

  ailrst

  committed
  c7b4a56

  Copy full SHA for c7b4a56

• breakpoints

  ailrst

  committed
  f64f904

  Copy full SHA for f64f904

Commits on Aug 29, 2024

• improve breakpoints

  ailrst

  committed
  897c565

  Copy full SHA for 897c565

• reorg

  ailrst

  committed
  cc97052

  Copy full SHA for cc97052

• refactor with statemonad[s, either[v]]

  ailrst

  committed
  695b2d2

  Copy full SHA for 695b2d2

• redo error handling

  ailrst

  committed
  00b482a

  Copy full SHA for 00b482a

• refactor call to a statement & add unreachable and return jumps

  ailrst

  committed
  1a139d2

  Copy full SHA for 1a139d2

• move transforms out of RunUtils.scala

  ailrst

  committed
  7e94536

  Copy full SHA for 7e94536

• remove old cfg

  ailrst

  committed
  aae0064

  Copy full SHA for aae0064

• update docs

  ailrst

  committed
  e2c0cd4

  Copy full SHA for e2c0cd4

Commits on Aug 30, 2024

• fix

  ailrst

  committed
  a3adee3

  Copy full SHA for a3adee3

• fix externals

  ailrst

  committed
  4a92c99

  Copy full SHA for 4a92c99

• disable IDE analyses if mainproc is external

  ailrst

  committed
  b994c99

  Copy full SHA for b994c99

• Merge branch 'call-statement' into interpreter

  ailrst

  committed
  b83c9ff

  Copy full SHA for b83c9ff

• work on differential testing

  ailrst

  committed
  d6c5767

  Copy full SHA for d6c5767

Commits on Sep 2, 2024

• hook for dynlinking

  ailrst

  committed
  2a03a23

  Copy full SHA for 2a03a23

• load full symtab

  ailrst

  committed
  8b694c0

  Copy full SHA for 8b694c0

Commits on Sep 3, 2024

• update relf grammar

  ailrst

  committed
  57ca6b3

  Copy full SHA for 57ca6b3

• init bss

  ailrst

  committed
  b276981

  Copy full SHA for b276981

• cleanup

  ailrst

  committed
  888d360

  Copy full SHA for 888d360

• cleanup init trace

  ailrst

  committed
  0abf654

  Copy full SHA for 0abf654

• intrinsic stub and cleanup errors

  ailrst

  committed
  9192ce3

  Copy full SHA for 9192ce3

• init relocation table

  ailrst

  committed
  5342358

  Copy full SHA for 5342358

Commits on Sep 4, 2024

• pull stepper outside effects to fix interpreter composition again

  ailrst

  committed
  87b0f86

  Copy full SHA for 87b0f86

• cleanup

  ailrst

  committed
  f5a0590

  Copy full SHA for f5a0590

• cleanup

  ailrst

  committed
  a6b58e8

  Copy full SHA for a6b58e8

• constprop test with interpreter

  ailrst

  committed
  dd64c14

  Copy full SHA for dd64c14

• interpreter docs

  ailrst

  committed
  8be5cb6

  Copy full SHA for 8be5cb6

• fix list

  ailrst

  committed
  d2a2486

  Copy full SHA for d2a2486

• paragraph

  ailrst

  committed
  d06e268

  Copy full SHA for d06e268

• trap eval exceptions to monadic errors

  ailrst

  committed
  4ae3997

  Copy full SHA for 4ae3997

• improve interpretOne

  ailrst

  committed
  4fc8ed2

  Copy full SHA for 4fc8ed2

• notes on initialisation

  ailrst

  committed
  8f966ce

  Copy full SHA for 8f966ce

• simplify invoc funcs

  ailrst

  committed
  f00b44b

  Copy full SHA for f00b44b

Commits on Sep 5, 2024

• note missing features

  ailrst

  committed
  ceef233

  Copy full SHA for ceef233

• run through all system tests

  ailrst

  committed
  cff6c97

  Copy full SHA for cff6c97

• add resource limit

  ailrst

  committed
  822c127

  Copy full SHA for 822c127

• doc resource limit

  ailrst

  committed
  9b8f715

  Copy full SHA for 9b8f715

• tweak doc

  ailrst

  committed
  648a41d

  Copy full SHA for 648a41d

• fix

  ailrst

  committed
  dfa7209

  Copy full SHA for dfa7209

• tweak interpretrlimit

  ailrst

  committed
  38f871c

  Copy full SHA for 38f871c

Commits on Sep 9, 2024

• basic malloc implementation

  ailrst

  committed
  6559180

  Copy full SHA for 6559180

Commits on Sep 10, 2024

• implement printf

  ailrst

  committed
  c6e938d

  Copy full SHA for c6e938d

• cleanup intrins

  ailrst

  committed
  285099b

  Copy full SHA for 285099b

Commits on Sep 23, 2024

• cleanup

  ailrst

  committed
  aac7f5c

  Copy full SHA for aac7f5c

• Merge remote-tracking branch 'upstream/main' into interpreter

  ailrst

  committed
  1c2a5d5

  Copy full SHA for 1c2a5d5

• cleanup

  ailrst

  committed
  46ff66a

  Copy full SHA for 46ff66a

Commits on Sep 25, 2024

• initial attempt at IR simplification

  ailrst

  committed
  f45015b

  Copy full SHA for f45015b

• fixup analysis

  ailrst

  committed
  7769357

  Copy full SHA for 7769357

• wl optim

  ailrst

  committed
  533ccce

  Copy full SHA for 533ccce

• rename w ssa

  ailrst

  committed
  febadbd

  Copy full SHA for febadbd

• tweak ssa

  ailrst

  committed
  4465cfb

  Copy full SHA for 4465cfb

Commits on Oct 2, 2024

• change param to localvar

  ailrst

  committed
  a6cc33f

  Copy full SHA for a6cc33f

• distinguish lvars and rvars in cilvisitor

  ailrst

  committed
  750d949

  Copy full SHA for 750d949

• transform ir and spec and loader to have params

  ailrst

  committed
  c9c4181

  Copy full SHA for c9c4181

• cleanup spec param handling

  ailrst

  committed
  f83fd74

  Copy full SHA for f83fd74

• update visitor

  ailrst

  committed
  3fce1c9

  Copy full SHA for 3fce1c9

• add invariant check

  ailrst

  committed
  eef39b9

  Copy full SHA for eef39b9

• Merge branch 'procedure-call-abstraction' into xf

  ailrst

  committed
  9b87104

  Copy full SHA for 9b87104

• fix test issues in merge

  ailrst

  committed
  a21015c

  Copy full SHA for a21015c

• make simplify work with params

  ailrst

  committed
  409c455

  Copy full SHA for 409c455

Commits on Oct 4, 2024

• improve dsa and params w liveness

  ailrst

  committed
  81fd5e4

  Copy full SHA for 81fd5e4

Commits on Oct 9, 2024

• fix dsa, copyprop, cleanup

  ailrst

  committed
  8e99918

  Copy full SHA for 8e99918

Commits on Oct 10, 2024

• small fix

  ailrst

  committed
  495e4f2

  Copy full SHA for 495e4f2

Commits on Oct 15, 2024

• rewrites

  ailrst

  committed
  e567f77

  Copy full SHA for e567f77

Commits on Oct 16, 2024

• remove slices

  ailrst

  committed
  5c42e92

  Copy full SHA for 5c42e92

• disable bad

  ailrst

  committed
  41aa3d7

  Copy full SHA for 41aa3d7

Commits on Oct 17, 2024

• attempt at condition lifting

  ailrst

  committed
  24a12e3

  Copy full SHA for 24a12e3

• cleanup

  ailrst

  committed
  8bf3e4d

  Copy full SHA for 8bf3e4d

• add example

  ailrst

  committed
  f75086e

  Copy full SHA for f75086e

Commits on Oct 18, 2024

• add expr2smt

  ailrst

  committed
  c26028e

  Copy full SHA for c26028e

• validate and improve expr lifting

  ailrst

  committed
  09eb1af

  Copy full SHA for 09eb1af

Commits on Nov 1, 2024

• transform order

  ailrst

  committed
  8b4fd6f

  Copy full SHA for 8b4fd6f

• cleanup and perf

  ailrst

  committed
  bc48e00

  Copy full SHA for bc48e00

• add early proc trim and fix remove unreachable cfg maintenance

  ailrst

  committed
  f2adf72

  Copy full SHA for f2adf72

• flow insensitive copyprop and single pass dsa

  ailrst

  committed
  a6d302f

  Copy full SHA for a6d302f

• block coalescing

  ailrst

  committed
  f313ed3

  Copy full SHA for f313ed3

• booltobv1 and copyprop heuristic

  ailrst

  committed
  95744f7

  Copy full SHA for 95744f7

• WIP bitvector size type inference

  ailrst

  committed
  70a22c1

  Copy full SHA for 70a22c1

Commits on Nov 5, 2024

• copyprop completeness improvements

  ailrst

  committed
  760bc0a

  Copy full SHA for 760bc0a

Commits on Nov 6, 2024

• improvements to cond identification

  ailrst

  committed
  2b2a0a5

  Copy full SHA for 2b2a0a5

Commits on Nov 7, 2024

• improve shift/extend/extract removal

  ailrst

  committed
  6ea3b1a

  Copy full SHA for 6ea3b1a

• improve cond detection

  ailrst

  committed
  3beb84d

  Copy full SHA for 3beb84d

• revert to old slice removal

  ailrst

  committed
  7c0c98b

  Copy full SHA for 7c0c98b

• cleanup

  ailrst

  committed
  a7d0754

  Copy full SHA for a7d0754

Commits on Nov 11, 2024

• validate and improve condition reduction

  ailrst

  committed
  80491cb

  Copy full SHA for 80491cb

• new prettyprinter

  ailrst

  committed
  983597c

  Copy full SHA for 983597c

Commits on Nov 12, 2024

• docs and cleanup

  ailrst

  committed
  08af7a3

  Copy full SHA for 08af7a3

Commits on Nov 13, 2024

• ccmp and rpo sort

  ailrst

  committed
  d3b8176

  Copy full SHA for d3b8176

• Merge branch 'main' of github.com:UQ-PAC/bil-to-boogie-translator into simplification-pass

  ailrst

  committed
  0f9a756

  Copy full SHA for 0f9a756

Commits on Nov 29, 2024

• work on adding param support to interpreter

  ailrst

  committed
  a452165

  Copy full SHA for a452165

Commits on Dec 2, 2024

• multiple loggers

  ailrst

  committed
  b9c549c

  Copy full SHA for b9c549c

Commits on Dec 3, 2024

• fix externalremover

  ailrst

  committed
  8dd5f0e

  Copy full SHA for 8dd5f0e

Commits on Dec 5, 2024

• robustness and perf fixes (monad overflow)

  ailrst

  committed
  21efc16

  Copy full SHA for 21efc16

Commits on Dec 10, 2024

• Merge branch 'main' into simp-pass-main-merge

  b-paul

  committed
  797dc2b

  Copy full SHA for 797dc2b

• prettyprinter

  ailrst

  committed
  a824c07

  Copy full SHA for a824c07

• Merge branch 'ilparser-serialiser' of github.com:ailrst/basil into simp-pass-main-merge

  ailrst

  committed
  015edd3

  Copy full SHA for 015edd3

• run simplify after analysis

  ailrst

  committed
  38f927b

  Copy full SHA for 38f927b

• Merge pull request #285 from UQ-PAC/simp-pass-main-merge

  Show description for 8329c11
  ailrst

  authored
  8329c11

  Copy full SHA for 8329c11

Commits on Dec 19, 2024

• dont try to <8bit initial memory regions

  ailrst

  committed
  a082b35

  Copy full SHA for a082b35

Commits on Jan 6, 2025

• fix test load/store flag

  ailrst

  committed
  589df48

  Copy full SHA for 589df48

• fix fmt

  ailrst

  committed
  cbc3cac

  Copy full SHA for cbc3cac

• Merge remote-tracking branch 'origin' into simplification-pass

  ailrst

  committed
  79b8d85

  Copy full SHA for 79b8d85

• remove bvsaddo as not supported by z3 smtlib

  ailrst

  committed
  3a441cc

  Copy full SHA for 3a441cc

• cleanup and autoformat new files

  ailrst

  committed
  92a10df

  Copy full SHA for 92a10df

• add back initialMemory

  ailrst

  committed
  e71c1fc

  Copy full SHA for e71c1fc

• tweak prettyprinter

  ailrst

  committed
  d5a744b

  Copy full SHA for d5a744b

• fix args

  ailrst

  committed
  ef7330a

  Copy full SHA for ef7330a

Commits on Jan 14, 2025

• fix

  ailrst

  committed
  fa73de2

  Copy full SHA for fa73de2

• basic exit call identification

  Show description for 827946c
  ailrst

  committed
  827946c

  Copy full SHA for 827946c

Commits on Jan 15, 2025

• allow custom initial state in AbstractDomain

  sadrabt

  committed
  d72b987

  Copy full SHA for d72b987

• Merge pull request #298 from UQ-PAC/simplification-pass-init

  Show description for f272284
  ailrst

  authored
  f272284

  Copy full SHA for f272284

• load dir update readme

  ailrst

  committed
  589a9ee

  Copy full SHA for 589a9ee

Commits on Jan 16, 2025

• tweak messages and readme

  ailrst

  committed
  f6e1a16

  Copy full SHA for f6e1a16

• disable spec param conversion on procedures with no spec

  ailrst

  committed
  c8a208e

  Copy full SHA for c8a208e

Commits on Jan 21, 2025

• add interproc solver to absint, analysis result printer

  ailrst

  committed
  fb808f6

  Copy full SHA for fb808f6

Commits on Jan 22, 2025

• fixes

  ailrst

  committed
  059807c

  Copy full SHA for 059807c

• Merge pull request #301 from UQ-PAC/simplify-interproc-fixedpoint

  Show description for 8e2c420
  ailrst

  authored
  8e2c420

  Copy full SHA for 8e2c420

Commits on Jan 23, 2025

• Simplify fixes (#302)

  Show description for 7544b65
  ailrst

  authored
  7544b65

  Copy full SHA for 7544b65

• disable debug print

  ailrst

  committed
  95f7b8a

  Copy full SHA for 95f7b8a

• fix interlivevars return function

  ailrst

  committed
  8584daa

  Copy full SHA for 8584daa

Commits on Jan 24, 2025

• wip copyprop throuh memory

  ailrst

  committed
  2e80fcc

  Copy full SHA for 2e80fcc

• minor simplifyexpr improvement

  ailrst

  committed
  d51dc93

  Copy full SHA for d51dc93

• disable load prop

  ailrst

  committed
  276af66

  Copy full SHA for 276af66

• Merge pull request #303 from UQ-PAC/memory-copyprop

  Show description for 647e884
  ailrst

  authored
  647e884

  Copy full SHA for 647e884

Commits on Jan 29, 2025

• add R31 to overapprox param set

  ailrst

  committed
  6bd9aea

  Copy full SHA for 6bd9aea

• Merge remote-tracking branch 'origin' into simplification-pass

  ailrst

  committed
  b17ca3d

  Copy full SHA for b17ca3d

• add simplify to action

  ailrst

  committed
  17c0210

  Copy full SHA for 17c0210

• disable r30 assertion when simp disabled

  ailrst

  committed
  f53c05a

  Copy full SHA for f53c05a