Code

Remove Formula#326

Code

Closed

N1ark wants to merge 57 commits intoGillianPlatform:masterGillianPlatform/Gillian:masterfrom N1ark:no-more-formulaN1ark/Gillian:no-more-formulaCopy head branch name to clipboard

+3,823-5,696

Commits

Commits on Oct 10, 2024

• Add Asrt.t = Asrt.simple list

  N1ark

  committed
  163e9f3

  Copy full SHA for 163e9f3

• This compiles somehow

  N1ark

  committed
  2a8672a

  Copy full SHA for 2a8672a

• Fix C-gen for emp

  N1ark

  committed
  45a6595

  Copy full SHA for 45a6595

• Merge branch 'fix-fixes' into asrt-as-list

  N1ark

  committed
  3ab57e2

  Copy full SHA for 3ab57e2

• Simplify stuff

  N1ark

  committed
  1b60fb9

  Copy full SHA for 1b60fb9

• Some cleaning

  N1ark

  committed
  5c0f6d1

  Copy full SHA for 5c0f6d1

• GILLIAN C !!!!!!!!!! 🫵

  N1ark

  committed
  6cd169d

  Copy full SHA for 6cd169d

• Gillian-C PLEASE

  N1ark

  committed
  4364169

  Copy full SHA for 4364169

• Remove extranuous emphs in gil gen

  N1ark

  committed
  d8f2731

  Copy full SHA for d8f2731

• Cleanup

  N1ark

  committed
  baa28c4

  Copy full SHA for baa28c4

Commits on Dec 11, 2024

• Fix stack overflow !! (oops)

  N1ark

  committed
  c6c72d0

  Copy full SHA for c6c72d0

• Rename Asrt.simple to Asrt.atom

  N1ark

  committed
  c6a7574

  Copy full SHA for c6a7574

• Merge branch 'master' into asrt-simple-list

  N1ark

  committed
  92caec0

  Copy full SHA for 92caec0

• Fix CI

  N1ark

  committed
  8a4c09b

  Copy full SHA for 8a4c09b

Commits on Dec 17, 2024

• Fix incorrect auto_unfold

  N1ark

  committed
  2ccd90f

  Copy full SHA for 2ccd90f

Commits on Dec 19, 2024

• So this works but is not Good(tm)

  N1ark

  committed
  ac9dc4d

  Copy full SHA for ac9dc4d

• That's a fix i guess : (

  N1ark

  committed
  efb515d

  Copy full SHA for efb515d

• Re-sort assertions

  N1ark

  committed
  77b69e7

  Copy full SHA for 77b69e7

• Re-sort !!

  N1ark

  committed
  c91d2b2

  Copy full SHA for c91d2b2

Commits on Dec 21, 2024

• Merge branch 'master' into asrt-simple-list

  N1ark

  committed
  df0be14

  Copy full SHA for df0be14

Commits on Dec 22, 2024

• Cleanup

  N1ark

  committed
  9387638

  Copy full SHA for 9387638

• Make recovering of consume fuel-based

  N1ark

  committed
  c869ac8

  Copy full SHA for c869ac8

Commits on Dec 23, 2024

• Use pipes

  N1ark

  committed
  f721536

  Copy full SHA for f721536

• Disable asrt sort in produce, avoids branch expl

  N1ark

  committed
  a8d346f

  Copy full SHA for a8d346f

• Nevermind I guess we're sorting

  N1ark

  committed
  156e062

  Copy full SHA for 156e062

• Remove from syntax

  N1ark

  committed
  93595ac

  Copy full SHA for 93595ac

Commits on Dec 24, 2024

• Update FOLogic/

  N1ark

  committed
  bafae51

  Copy full SHA for bafae51

• Update general_semantics/

  N1ark

  committed
  ad56f51

  Copy full SHA for ad56f51

• Update symbolic_semantics/

  N1ark

  committed
  a278b5d

  Copy full SHA for a278b5d

• Update concrete_semantics/

  N1ark

  committed
  4368ddd

  Copy full SHA for 4368ddd

• Update BiAbduction

  N1ark

  committed
  0aa7e79

  Copy full SHA for 0aa7e79

• Update Abstraction

  N1ark

  committed
  8403b02

  Copy full SHA for 8403b02

• Update Monadic

  N1ark

  committed
  59b874b

  Copy full SHA for 59b874b

• Update smt / GIL_Syntax

  N1ark

  committed
  e9eb5a2

  Copy full SHA for e9eb5a2

Commits on Dec 25, 2024

• Update Gillian-C

  N1ark

  committed
  5657f80

  Copy full SHA for 5657f80

• Update Gillian-C2

  N1ark

  committed
  a829b95

  Copy full SHA for a829b95

• Update Gillian-JS

  N1ark

  committed
  3e948ee

  Copy full SHA for 3e948ee

• Update WISL

  N1ark

  committed
  0c2bb48

  Copy full SHA for 0c2bb48

• Update ppx_sat

  N1ark

  committed
  b39426c

  Copy full SHA for b39426c

• Update core

  N1ark

  committed
  b29f6df

  Copy full SHA for b29f6df

• Simplify parser

  N1ark

  committed
  9f47e0d

  Copy full SHA for 9f47e0d

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

  N1ark

  committed
  f81d402

  Copy full SHA for f81d402

• Simplify parser, fix reductions

  N1ark

  committed
  3c0625c

  Copy full SHA for 3c0625c

• Appease CI?

  N1ark

  committed
  8d15c7d

  Copy full SHA for 8d15c7d

Commits on Dec 26, 2024

• Fix operator precedence

  N1ark

  committed
  cee19c4

  Copy full SHA for cee19c4

Commits on Dec 27, 2024

• Use Sacha's new resolve_expr_to_location

  Show description for d5ee07c
  

  N1ark

  and

  giltho

  committed
  d5ee07c

  Copy full SHA for d5ee07c

• Merge branch 'asrt-simple-list' into no-more-formula

  N1ark

  committed
  0d921a4

  Copy full SHA for 0d921a4

Commits on Dec 28, 2024

• Collapse reductions (wow)

  N1ark

  committed
  9b4f431

  Copy full SHA for 9b4f431

Commits on Dec 29, 2024

• Fix reducing to true bc of PFS

  N1ark

  committed
  c027e8c

  Copy full SHA for c027e8c

• Fix reducing away all UnOps

  N1ark

  committed
  4518574

  Copy full SHA for 4518574

• Don't check PFS for Not

  N1ark

  committed
  9a4c36a

  Copy full SHA for 9a4c36a

• Disable other rule abt reducing to l-len

  N1ark

  committed
  f83afb9

  Copy full SHA for f83afb9

• Small optim Type_env.get_unsafe

  N1ark

  committed
  641c12b

  Copy full SHA for 641c12b

• Fix reducing before comparing with Nono

  N1ark

  committed
  6f812b1

  Copy full SHA for 6f812b1

• Remove reduce_formula !!!!

  N1ark

  committed
  3f536b3

  Copy full SHA for 3f536b3

Commits on Dec 30, 2024

• Remove comments + unneeded reductions

  N1ark

  committed
  3834539

  Copy full SHA for 3834539

Commits on Jan 7, 2025

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

  N1ark

  committed
  8111475

  Copy full SHA for 8111475