Code

Frangel v2#27

Code

Open

ReubenJ wants to merge 15 commits intodevHerb-AI/HerbInterpret.jl:devfrom frangel_v2Herb-AI/HerbInterpret.jl:frangel_v2Copy head branch name to clipboard

+561-40

Commits

Commits on May 24, 2024

• Extend interpreter when code paths are provided

  To5BG

  committed
  cbefcf8

• Update other function calls to carry-over code paths

  To5BG

  committed
  5bab35b

• Refactor by updating formatting

  To5BG

  committed
  082514b

Commits on May 26, 2024

• Update interpret to have a limit on loop iterations

  To5BG

  committed
  0dc4e0f

Commits on May 27, 2024

• Update code paths to BitVectors

  To5BG

  committed
  eb24ca0

Commits on May 28, 2024

• Use indices to access code path values

  To5BG

  committed
  2402307

Commits on May 29, 2024

• Fix interpretation to only update code path on angelic conditions (and not for all control statements)

  To5BG

  committed
  f6256d6

Commits on Jun 6, 2024

• Implement breaking and make function call more compact

  To5BG

  committed
  9c1e8ec

Commits on Jun 8, 2024

• Fix an oopsie with break statements

  To5BG

  committed
  55da0bd

• Add support for angelic condition as second arg in ||

  To5BG

  committed
  510f35d

Commits on Jul 8, 2024

• Move angelic execution to HerbInterpret

  Show description for ac34ef2
  To5BG

  committed
  ac34ef2

• Add one angelic execution test

  To5BG

  committed
  df1380e

• @kwdef -> Base.@kwdef

  Show description for eabdda8
  ReubenJ

  committed
  eabdda8

• Document CodePath struct

  ReubenJ

  committed
  28667c0

Commits on Jul 12, 2024

• Remove test running utilities

  ReubenJ

  committed
  97721fa