Code

HPL v1.3#11

Code

Merged

git-afsantos merged 27 commits intomaingit-afsantos/hpl-specs:mainfrom dev-v1.3git-afsantos/hpl-specs:dev-v1.3Copy head branch name to clipboardOct 4, 2023

+1,291-40

Commits

Commits on Sep 25, 2023

• bug fix

  git-afsantos

  committed
  342212c

  Copy full SHA for 342212c

• add split_and function

  git-afsantos

  committed
  4357b8d

  Copy full SHA for 4357b8d

• Update CHANGELOG.md

  git-afsantos

  committed
  92765e6

  Copy full SHA for 92765e6

Commits on Sep 27, 2023

• WIP simplify function

  git-afsantos

  committed
  5e19ff7

  Copy full SHA for 5e19ff7

Commits on Sep 29, 2023

• Update rewrite.py

  git-afsantos

  committed
  42acfa8

  Copy full SHA for 42acfa8

• Update strategies.py

  git-afsantos

  committed
  757d670

  Copy full SHA for 757d670

• Update strategies.py

  git-afsantos

  committed
  d659f43

  Copy full SHA for d659f43

• bug fix

  git-afsantos

  committed
  7eb5a95

  Copy full SHA for 7eb5a95

• Update test_logic_rewrite.py

  git-afsantos

  committed
  7ca3a87

  Copy full SHA for 7ca3a87

• Update rewrite.py

  git-afsantos

  committed
  9eec077

  Copy full SHA for 9eec077

• Update test_logic_rewrite.py

  git-afsantos

  committed
  700abda

  Copy full SHA for 700abda

• Update expressions.py

  git-afsantos

  committed
  cb37d55

  Copy full SHA for cb37d55

• Update rewrite.py

  git-afsantos

  committed
  c509287

  Copy full SHA for c509287

• Update test_logic_rewrite.py

  git-afsantos

  committed
  203d403

  Copy full SHA for 203d403

• Update rewrite.py

  git-afsantos

  committed
  e5b7d64

  Copy full SHA for e5b7d64

• simplification

  git-afsantos

  committed
  b5bb288

  Copy full SHA for b5bb288

Commits on Oct 2, 2023

• Update expressions.py

  git-afsantos

  committed
  a1d1a47

  Copy full SHA for a1d1a47

• Update CHANGELOG.md

  git-afsantos

  committed
  e9e2dbd

  Copy full SHA for e9e2dbd

• Update expressions.py

  git-afsantos

  committed
  33984f9

  Copy full SHA for 33984f9

• Update rewrite.py

  git-afsantos

  committed
  5214260

  Copy full SHA for 5214260

• simplification

  git-afsantos

  committed
  734adf6

  Copy full SHA for 734adf6

• Update test_logic_rewrite.py

  git-afsantos

  committed
  3652178

  Copy full SHA for 3652178

Commits on Oct 4, 2023

• refine types

  git-afsantos

  committed
  ac82cd1

  Copy full SHA for ac82cd1

• Update CHANGELOG.md

  git-afsantos

  committed
  5540594

  Copy full SHA for 5540594

• Update test_logic_rewrite.py

  git-afsantos

  committed
  735c4af

  Copy full SHA for 735c4af

• Update test_logic_rewrite.py

  git-afsantos

  committed
  f274e9a

  Copy full SHA for f274e9a

• Update CHANGELOG.md

  git-afsantos

  committed
  e4c7004

  Copy full SHA for e4c7004