Code

Rewrite IR Interpreter#241

Code

Closed

ailrst wants to merge 65 commits intomainUQ-PAC/BASIL:mainfrom interpreterUQ-PAC/BASIL:interpreterCopy head branch name to clipboard

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 Nov 8, 2024

• Merge branch 'main' into interpreter

  Show description for 970c55a
  

  l-kent

  committed
  970c55a

  Copy full SHA for 970c55a

• make compiler options consistent

  

  l-kent

  committed
  1a8067c

  Copy full SHA for 1a8067c

• fix use of deprecated examples

  

  l-kent

  committed
  32bf439

  Copy full SHA for 32bf439

• fix use of deprecated examples

  

  l-kent

  committed
  9cc3c31

  Copy full SHA for 9cc3c31

Commits on Nov 10, 2024

• give State filename consistent with Package, formatting, clean up imports

  

  l-kent

  committed
  fe3678f

  Copy full SHA for fe3678f