Code

Remove Formula#327

Code

Merged

NatKarmios merged 35 commits intoGillianPlatform:masterGillianPlatform/Gillian:masterfrom N1ark:no-more-formula-bisN1ark/Gillian:no-more-formula-bisCopy head branch name to clipboardJan 12, 2025

+3,064-4,704

Commits

Commits on Jan 10, 2025

• Remove from syntax

  N1ark

  committed
  00f1ac0

  Copy full SHA for 00f1ac0

• Update FOLogic/

  N1ark

  committed
  549ed1f

  Copy full SHA for 549ed1f

• Update general_semantics/

  N1ark

  committed
  60ac6f2

  Copy full SHA for 60ac6f2

• Update symbolic_semantics/

  N1ark

  committed
  d5865a0

  Copy full SHA for d5865a0

• Update concrete_semantics/

  N1ark

  committed
  c0ecca5

  Copy full SHA for c0ecca5

• Update BiAbduction

  N1ark

  committed
  adc3c14

  Copy full SHA for adc3c14

• Update Abstraction

  N1ark

  committed
  c871940

  Copy full SHA for c871940

• Update Monadic

  N1ark

  committed
  4be4e7f

  Copy full SHA for 4be4e7f

• Update smt / GIL_Syntax

  N1ark

  committed
  13c5582

  Copy full SHA for 13c5582

• Update Gillian-C

  N1ark

  committed
  120b68b

  Copy full SHA for 120b68b

• Update Gillian-C2

  N1ark

  committed
  a6a0c57

  Copy full SHA for a6a0c57

• Update Gillian-JS

  N1ark

  committed
  cd1fabd

  Copy full SHA for cd1fabd

• Update WISL

  N1ark

  committed
  ee40d55

  Copy full SHA for ee40d55

• Update ppx_sat

  N1ark

  committed
  f4746f0

  Copy full SHA for f4746f0

• Update core

  N1ark

  committed
  c968a7a

  Copy full SHA for c968a7a

• Simplify parser

  N1ark

  committed
  c260ff9

  Copy full SHA for c260ff9

• Small simplifications, fix Expr.(> >= >. >=.)

  N1ark

  committed
  e0d3223

  Copy full SHA for e0d3223

• Simplify parser, fix reductions

  N1ark

  committed
  a936a20

  Copy full SHA for a936a20

• Appease CI?

  N1ark

  committed
  c9675b5

  Copy full SHA for c9675b5

• Fix operator precedence

  N1ark

  committed
  759dad2

  Copy full SHA for 759dad2

• Collapse reductions (wow)

  N1ark

  committed
  ae734cc

  Copy full SHA for ae734cc

• Fix reducing to true bc of PFS

  N1ark

  committed
  68b21f6

  Copy full SHA for 68b21f6

• Fix reducing away all UnOps

  N1ark

  committed
  3e98c53

  Copy full SHA for 3e98c53

• Don't check PFS for Not

  N1ark

  committed
  3295025

  Copy full SHA for 3295025

• Disable other rule abt reducing to l-len

  N1ark

  committed
  49abd00

  Copy full SHA for 49abd00

• Small optim Type_env.get_unsafe

  N1ark

  committed
  e2b4002

  Copy full SHA for e2b4002

• Fix reducing before comparing with Nono

  N1ark

  committed
  6bbb036

  Copy full SHA for 6bbb036

• Remove reduce_formula !!!!

  N1ark

  committed
  b1046bb

  Copy full SHA for b1046bb

• Remove comments + unneeded reductions

  N1ark

  committed
  98841e0

  Copy full SHA for 98841e0

• Fix forall precedences (thanks @v-gb !)

  N1ark

  committed
  7a94b12

  Copy full SHA for 7a94b12

• Update ppx sat

  N1ark

  committed
  f3cbb95

  Copy full SHA for f3cbb95

Commits on Jan 12, 2025

• Remove as_boolean_expr, simplify things !!!

  N1ark

  committed
  137c679

  Copy full SHA for 137c679

• Fix subst for Exists + ForAll

  N1ark

  committed
  57164a0

  Copy full SHA for 57164a0

• Add comment on removed reduction

  N1ark

  committed
  4915efc

  Copy full SHA for 4915efc

• Simplify find_equalities

  N1ark

  committed
  e356d04

  Copy full SHA for e356d04