Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 12, 2025

• Some LSP tweaks for lab testing (#337)

  Show description for 774ec11
  NatKarmios

  authored
  774ec11

  Copy full SHA for 774ec11

Commits on Mar 11, 2025

• CI: Add Docker auto-push (#336)

  Show description for 7729c2e
  NatKarmios

  authored
  7729c2e

  Copy full SHA for 7729c2e

Commits on Mar 3, 2025

• Introduce LSP (#334)

  Show description for 679892b
  NatKarmios

  authored
  679892b

  Copy full SHA for 679892b

Commits on Feb 27, 2025

• Fix library name in `gillian_c2/lib/dune`

  NatKarmios

  committed
  a77ff9d

  Copy full SHA for a77ff9d

Commits on Feb 7, 2025

• Transition debugger to SEDAP (#333)

  Show description for d52b2ae
  NatKarmios

  authored
  d52b2ae

  Copy full SHA for d52b2ae

Commits on Jan 15, 2025

• Add state transformers! (#324)

  Show description for 0c14d64
  N1ark

  authored
  0c14d64

  Copy full SHA for 0c14d64

Commits on Jan 12, 2025

• Remove `Formula` (#327)

  Show description for 92f78d8
  N1ark

  authored
  92f78d8

  Copy full SHA for 92f78d8

Commits on Jan 10, 2025

• Remove Asrt.Star (fix #159) (#316)

  Show description for 467a348
  

  N1ark

  and

  giltho

  authored
  467a348

  Copy full SHA for 467a348

Commits on Dec 18, 2024

• Tweak Match_map to support branching anywhere (#325)

  NatKarmios

  authored
  b9ff39f

  Copy full SHA for b9ff39f

• new name for the Gillian lab

  AndreasLoow

  committed
  d30b852

  Copy full SHA for d30b852

Commits on Dec 11, 2024

• name self-explanatory now

  AndreasLoow

  committed
  4e46654

  Copy full SHA for 4e46654

• wisl formatting

  AndreasLoow

  committed
  d548b7c

  Copy full SHA for d548b7c

• Gillian-JS symbolic testing documentation for website

  AndreasLoow

  committed
  649f1e0

  Copy full SHA for 649f1e0

• typos and terminology

  AndreasLoow

  committed
  7a0dd05

  Copy full SHA for 7a0dd05

• Fix some counterexaple production (#323)

  Show description for 9d7ee36
  NatKarmios

  authored
  9d7ee36

  Copy full SHA for 9d7ee36

Commits on Dec 9, 2024

• Website fixup (#322)

  Show description for 17c9089
  NatKarmios

  authored
  17c9089

  Copy full SHA for 17c9089

Commits on Dec 2, 2024

• Tweaks for 2024 lab (#321)

  Show description for 39d9765
  NatKarmios

  authored
  39d9765

  Copy full SHA for 39d9765

Commits on Nov 20, 2024

• move api reference out of about section

  AndreasLoow

  committed
  ee623a4

  Copy full SHA for ee623a4

Commits on Nov 19, 2024

• separate general doc from pldi'20 specific doc

  AndreasLoow

  committed
  9d33ec2

  Copy full SHA for 9d33ec2

• mention simon's tacas paper

  AndreasLoow

  committed
  2696c4b

  Copy full SHA for 2696c4b

• Rust

  AndreasLoow

  committed
  db94133

  Copy full SHA for db94133

• Kanillian

  AndreasLoow

  committed
  343be27

  Copy full SHA for 343be27

• titles

  AndreasLoow

  committed
  5c79ebe

  Copy full SHA for 5c79ebe

• publications

  AndreasLoow

  committed
  dbac9e9

  Copy full SHA for dbac9e9

• hide part i diff

  AndreasLoow

  committed
  ccebe87

  Copy full SHA for ccebe87

• Include links to API reference in Sphinx (#320)

  NatKarmios

  authored
  34a1de3

  Copy full SHA for 34a1de3

• oops, typo

  AndreasLoow

  committed
  e8e1047

  Copy full SHA for e8e1047

• more helpful link

  AndreasLoow

  committed
  dd6df4d

  Copy full SHA for dd6df4d

• index and install plus new readme

  AndreasLoow

  committed
  47ae10a

  Copy full SHA for 47ae10a

• Set title in Sphinx documentation (#319)

  Show description for 2ad02fc
  NatKarmios

  authored
  2ad02fc

  Copy full SHA for 2ad02fc

Commits on Nov 1, 2024

• publications order

  AndreasLoow

  committed
  c6802c5

  Copy full SHA for c6802c5

Commits on Oct 29, 2024

• Various tweaks for TACAS '25 artifact (#317)

  Show description for 86bc804
  

  NatKarmios

  and

  giltho

  authored
  86bc804

  Copy full SHA for 86bc804

Commits on Oct 10, 2024

• Use `Asrt.t` instead of fixes! (#313)

  Show description for 4cc7f8b
  N1ark

  authored
  4cc7f8b

  Copy full SHA for 4cc7f8b

Commits on Aug 22, 2024

• Support breakpoints when debugging (#310)

  Show description for 2ddf669
  NatKarmios

  authored
  2ddf669

  Copy full SHA for 2ddf669

Commits on Aug 15, 2024

• add consume & produce commands (#309)

  Show description for b7e4658
  giltho

  authored
  b7e4658

  Copy full SHA for b7e4658

Pagination

Previous

Next