Code

Simplification pass#256

Code

Open

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

+10,563-1,207

Commits

Commits on Aug 19, 2024

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

  ailrst

  committed
  182c9e8

• move transforms out of RunUtils.scala

  ailrst

  committed
  3711e4d

• remove old cfg

  ailrst

  committed
  fd56c9a

• update docs

  ailrst

  committed
  bd6b2ad

• pe based expr evaluator

  ailrst

  committed
  96b9028

• interpreter test

  ailrst

  committed
  d264b97

Commits on Aug 22, 2024

• rewrite interpreter in functional style

  ailrst

  committed
  a3bf83b

• cleanup call/return

  ailrst

  committed
  74c4bc2

• cleanup memory ops to enter effects

  ailrst

  committed
  9e23558

Commits on Aug 26, 2024

• tracing interpreter

  ailrst

  committed
  7571aa3

Commits on Aug 27, 2024

• compile with state monad

  ailrst

  committed
  f36c13e

Commits on Aug 28, 2024

• fix state monad interp

  ailrst

  committed
  2c16c83

• indirect calls

  ailrst

  committed
  dd11175

• tracing interpreter

  ailrst

  committed
  c7b4a56

• breakpoints

  ailrst

  committed
  f64f904

Commits on Aug 29, 2024

• improve breakpoints

  ailrst

  committed
  897c565

• reorg

  ailrst

  committed
  cc97052

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

  ailrst

  committed
  695b2d2

• redo error handling

  ailrst

  committed
  00b482a

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

  ailrst

  committed
  1a139d2

• move transforms out of RunUtils.scala

  ailrst

  committed
  7e94536

• remove old cfg

  ailrst

  committed
  aae0064

• update docs

  ailrst

  committed
  e2c0cd4

Commits on Aug 30, 2024

• fix

  ailrst

  committed
  a3adee3

• fix externals

  ailrst

  committed
  4a92c99

• disable IDE analyses if mainproc is external

  ailrst

  committed
  b994c99

• Merge branch 'call-statement' into interpreter

  ailrst

  committed
  b83c9ff

• work on differential testing

  ailrst

  committed
  d6c5767

Commits on Sep 2, 2024

• hook for dynlinking

  ailrst

  committed
  2a03a23

• load full symtab

  ailrst

  committed
  8b694c0

Commits on Sep 3, 2024

• update relf grammar

  ailrst

  committed
  57ca6b3

• init bss

  ailrst

  committed
  b276981

• cleanup

  ailrst

  committed
  888d360

• cleanup init trace

  ailrst

  committed
  0abf654

• intrinsic stub and cleanup errors

  ailrst

  committed
  9192ce3

• init relocation table

  ailrst

  committed
  5342358

Commits on Sep 4, 2024

• pull stepper outside effects to fix interpreter composition again

  ailrst

  committed
  87b0f86

• cleanup

  ailrst

  committed
  f5a0590

• cleanup

  ailrst

  committed
  a6b58e8

• constprop test with interpreter

  ailrst

  committed
  dd64c14

• interpreter docs

  ailrst

  committed
  8be5cb6

• fix list

  ailrst

  committed
  d2a2486

• paragraph

  ailrst

  committed
  d06e268

• trap eval exceptions to monadic errors

  ailrst

  committed
  4ae3997

• improve interpretOne

  ailrst

  committed
  4fc8ed2

• notes on initialisation

  ailrst

  committed
  8f966ce

• simplify invoc funcs

  ailrst

  committed
  f00b44b

Commits on Sep 5, 2024

• note missing features

  ailrst

  committed
  ceef233

• run through all system tests

  ailrst

  committed
  cff6c97

• add resource limit

  ailrst

  committed
  822c127

• doc resource limit

  ailrst

  committed
  9b8f715

• tweak doc

  ailrst

  committed
  648a41d

• fix

  ailrst

  committed
  dfa7209

• tweak interpretrlimit

  ailrst

  committed
  38f871c

Commits on Sep 9, 2024

• basic malloc implementation

  ailrst

  committed
  6559180

Commits on Sep 10, 2024

• implement printf

  ailrst

  committed
  c6e938d

• cleanup intrins

  ailrst

  committed
  285099b

Commits on Sep 23, 2024

• cleanup

  ailrst

  committed
  aac7f5c

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

  ailrst

  committed
  1c2a5d5

• cleanup

  ailrst

  committed
  46ff66a

Commits on Sep 25, 2024

• initial attempt at IR simplification

  ailrst

  committed
  f45015b

• fixup analysis

  ailrst

  committed
  7769357

• wl optim

  ailrst

  committed
  533ccce

• rename w ssa

  ailrst

  committed
  febadbd

• tweak ssa

  ailrst

  committed
  4465cfb

Commits on Oct 2, 2024

• change param to localvar

  ailrst

  committed
  a6cc33f

• distinguish lvars and rvars in cilvisitor

  ailrst

  committed
  750d949

• transform ir and spec and loader to have params

  ailrst

  committed
  c9c4181

• cleanup spec param handling

  ailrst

  committed
  f83fd74

• update visitor

  ailrst

  committed
  3fce1c9

• add invariant check

  ailrst

  committed
  eef39b9

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

  ailrst

  committed
  9b87104

• fix test issues in merge

  ailrst

  committed
  a21015c

• make simplify work with params

  ailrst

  committed
  409c455

Commits on Oct 4, 2024

• improve dsa and params w liveness

  ailrst

  committed
  81fd5e4

Commits on Oct 9, 2024

• fix dsa, copyprop, cleanup

  ailrst

  committed
  8e99918

Commits on Oct 10, 2024

• small fix

  ailrst

  committed
  495e4f2

Commits on Oct 15, 2024

• rewrites

  ailrst

  committed
  e567f77

Commits on Oct 16, 2024

• remove slices

  ailrst

  committed
  5c42e92

• disable bad

  ailrst

  committed
  41aa3d7

Commits on Oct 17, 2024

• attempt at condition lifting

  ailrst

  committed
  24a12e3

• cleanup

  ailrst

  committed
  8bf3e4d

• add example

  ailrst

  committed
  f75086e

Commits on Oct 18, 2024

• add expr2smt

  ailrst

  committed
  c26028e

• validate and improve expr lifting

  ailrst

  committed
  09eb1af

Commits on Nov 1, 2024

• transform order

  ailrst

  committed
  8b4fd6f

• cleanup and perf

  ailrst

  committed
  bc48e00

• add early proc trim and fix remove unreachable cfg maintenance

  ailrst

  committed
  f2adf72

• flow insensitive copyprop and single pass dsa

  ailrst

  committed
  a6d302f

• block coalescing

  ailrst

  committed
  f313ed3

• booltobv1 and copyprop heuristic

  ailrst

  committed
  95744f7

• WIP bitvector size type inference

  ailrst

  committed
  70a22c1

Commits on Nov 5, 2024

• copyprop completeness improvements

  ailrst

  committed
  760bc0a

Commits on Nov 6, 2024

• improvements to cond identification

  ailrst

  committed
  2b2a0a5

Commits on Nov 7, 2024

• improve shift/extend/extract removal

  ailrst

  committed
  6ea3b1a

• improve cond detection

  ailrst

  committed
  3beb84d

• revert to old slice removal

  ailrst

  committed
  7c0c98b

• cleanup

  ailrst

  committed
  a7d0754

Commits on Nov 11, 2024

• validate and improve condition reduction

  ailrst

  committed
  80491cb

• new prettyprinter

  ailrst

  committed
  983597c

Commits on Nov 12, 2024

• docs and cleanup

  ailrst

  committed
  08af7a3

Commits on Nov 13, 2024

• ccmp and rpo sort

  ailrst

  committed
  d3b8176

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

  ailrst

  committed
  0f9a756

Commits on Nov 29, 2024

• work on adding param support to interpreter

  ailrst

  committed
  a452165

Commits on Dec 2, 2024

• multiple loggers

  ailrst

  committed
  b9c549c

Commits on Dec 3, 2024

• fix externalremover

  ailrst

  committed
  8dd5f0e

Commits on Dec 5, 2024

• robustness and perf fixes (monad overflow)

  ailrst

  committed
  21efc16

Commits on Dec 10, 2024

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

  b-paul

  committed
  797dc2b

• prettyprinter

  ailrst

  committed
  a824c07

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

  ailrst

  committed
  015edd3

• run simplify after analysis

  ailrst

  committed
  38f927b

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

  Show description for 8329c11
  ailrst

  authored
  8329c11

Commits on Dec 19, 2024

• dont try to <8bit initial memory regions

  ailrst

  committed
  a082b35