Code

WIP Syntactic simplifications#4022

Code

Draft

geo2a wants to merge 16 commits intomasterruntimeverification/haskell-backend:masterfrom 4579-syntactic-simplificationsruntimeverification/haskell-backend:4579-syntactic-simplificationsCopy head branch name to clipboard

+3,806-128

Commits

Commits on Aug 21, 2024

• Parse and internalise the syntactic attribute

  Show description for 893052f
  geo2a

  committed
  893052f

  Copy full SHA for 893052f

• Add -lsecp256k1

  geo2a

  committed
  a498521

  Copy full SHA for a498521

• Add test-syntactic-simplification

  Show description for 47966d4
  geo2a

  committed
  47966d4

  Copy full SHA for 47966d4

• Add matchTermsWithSubst

  geo2a

  committed
  f17af8a

  Copy full SHA for f17af8a

• Add CtxSyntactic

  geo2a

  committed
  8c571c1

  Copy full SHA for 8c571c1

• Refactor requires check, use syntactic clauses

  geo2a

  committed
  3ca61d1

  Copy full SHA for 3ca61d1

• Remove commented-out code

  geo2a

  committed
  908ddf6

  Copy full SHA for 908ddf6

Commits on Sep 2, 2024

• loop over syntactic side-conditions before applying semantically

  goodlyrottenapple

  committed
  6bb4f96

  Copy full SHA for 6bb4f96

• Format with fourmolu

  

  github-actions

  committed
  263c8a7

  Copy full SHA for 263c8a7

• syntactic attribute should index starting with 1, not 0

  goodlyrottenapple

  committed
  f03ad95

  Copy full SHA for f03ad95

Commits on Sep 3, 2024

• add more logging

  goodlyrottenapple

  committed
  ef7343e

  Copy full SHA for ef7343e

• make checkConcreteness less strict to accomodate for initially missing variables that only appear in the requires clause with syntactic

  goodlyrottenapple

  committed
  30106fb

  Copy full SHA for 30106fb

Commits on Sep 9, 2024

• fix typos and unused import

  goodlyrottenapple

  committed
  37653ab

  Copy full SHA for 37653ab

• update integration test

  goodlyrottenapple

  committed
  fc5776e

  Copy full SHA for fc5776e

• Merge branch 'master' into 4579-syntactic-simplifications

  goodlyrottenapple

  authored
  2962dbc

  Copy full SHA for 2962dbc

Commits on Sep 15, 2024

• Merge branch 'master' into 4579-syntactic-simplifications

  PetarMax

  authored
  fcf50be

  Copy full SHA for fcf50be