Issues

• Unsound Reductions: NumToInt is distributed over FPlus and FTimes (floor is neither additive nor multiplicative)

  GillianPlatform/Gillian#384 · Filter by author DaniCFraq opened on Jul 2, 2026

• When matching, successive recovery tactics only apply to the original state

  bug
  GillianPlatform/Gillian#370 · Filter by author NatKarmios opened on Jun 22, 2026

• Unify example programs

  admincleanup
  GillianPlatform/Gillian#368 · Filter by author NatKarmios opened on Jun 20, 2026
  

• Compile WISL invariants to actual invariants.

  GillianPlatform/Gillian#347 · Filter by author NatKarmios opened on May 23, 2025

• Add leak check in Verification (at least for the debugger)

  debuggerenhancement
  GillianPlatform/Gillian#346 · Filter by author NatKarmios opened on May 22, 2025

• Relax restriction on file name suffixes

  GillianPlatform/Gillian#290 · Filter by author xldenis opened on May 21, 2024
  3

• Split the gillian debugger into a separate build target / package

  GillianPlatform/Gillian#287 · Filter by author xldenis opened on Apr 19, 2024
  2

• Add CI to check for version bump in PRs to master

  admin
  GillianPlatform/Gillian#283 · Filter by author NatKarmios opened on Apr 2, 2024 · Gillian Debugging Tool Paper Artifact

• Fix the signature of bi-abduction functions

  GillianPlatform/Gillian#245 · Filter by author giltho opened on Apr 25, 2023
  1

• Fix Amazon JS

  bugdifficultinst/js
  GillianPlatform/Gillian#237 · Filter by author NatKarmios opened on Apr 2, 2023

• GIL should have a sane syntax

  cleanup
  GillianPlatform/Gillian#236 · Filter by author giltho opened on Mar 28, 2023

• Allow starting from any point in a program

  debug-extdebugger
  GillianPlatform/Gillian#234 · Filter by author NatKarmios opened on Mar 24, 2023

• Show what's been consumed in the state during matching

  debugger
  GillianPlatform/Gillian#220 · Filter by author NatKarmios opened on Mar 7, 2023

• Render file log to HTML

  enhancement
  GillianPlatform/Gillian#211 · Filter by author NatKarmios opened on Feb 15, 2023

• Remove unnecessary @inlines (when an odoc bug is fixed)

  cleanupdocumentation
  GillianPlatform/Gillian#198 · Filter by author NatKarmios opened on Dec 13, 2022
  

• Get rid of alcotest-runner

  cleanup
  GillianPlatform/Gillian#191 · Filter by author NatKarmios opened on Nov 30, 2022 · Tech debt catchup 2022/23
  

• Check for unused config flags and remove previously_normalised

  cleanup
  GillianPlatform/Gillian#179 · Filter by author giltho opened on Nov 17, 2022 · Tech debt catchup 2022/23
  

• Make monadic more efficient

  GillianPlatform/Gillian#178 · Filter by author giltho opened on Nov 17, 2022

• Make "failed to create UP" errors more informative

  enhancement
  GillianPlatform/Gillian#174 · Filter by author NatKarmios opened on Nov 15, 2022
  

• Have specifications in a separate file

  enhancement
  GillianPlatform/Gillian#166 · Filter by author giltho opened on Nov 8, 2022

• Revert use of visitors for substitution

  performance
  GillianPlatform/Gillian#163 · Filter by author giltho opened on Nov 7, 2022

• Rewrite the reduction loop

  cleanupdocumentationperformance
  GillianPlatform/Gillian#162 · Filter by author giltho opened on Nov 7, 2022

• Visualise heaps

  debuggerdifficult
  GillianPlatform/Gillian#149 · Filter by author NatKarmios opened on Nov 2, 2022

• Extend the debugger to handle more execution contexts

  debugger
  GillianPlatform/Gillian#148 · Filter by author NatKarmios opened on Nov 2, 2022
  

• "Replay" commands with TMI logging

  debugger
  GillianPlatform/Gillian#147 · Filter by author NatKarmios opened on Nov 2, 2022