Code

Remove Asrt.Star (fix #159)#316

Code

Merged

NatKarmios merged 27 commits intoGillianPlatform:masterGillianPlatform/Gillian:masterfrom N1ark:asrt-simple-listN1ark/Gillian:asrt-simple-listCopy head branch name to clipboardJan 10, 2025

+950-1,181

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

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

Commits on Jan 10, 2025

• Add match%sat (nested if%sat)

  N1ark

  committed
  b4458b4

  Copy full SHA for b4458b4