Commits

Branch selector

 master

User selector

sarsko

Datepicker

All time

Commit History

Commits on Apr 10, 2024

• Update README

  sarsko

  committed
  b36aacd

• Update README

  sarsko

  committed
  0c2832c

• Version rand, fix clap import

  sarsko

  committed
  b5793e9

• Update Clap

  sarsko

  committed
  3075be6

• Bump Clap version. Ghost to Snapshot in Scratch and NewDB

  sarsko

  committed
  a8b3b92

• Cargo fmt

  sarsko

  committed
  4d653b9

• Merge pull request #42 from sarsko/update-creusot

  Show description for 45de756
  sarsko

  authored
  45de756

• Opening invariants in Scratch. Broken due to publicity and opacity being intertwined. Not fixing that

  sarsko

  committed
  4862018

• Opening invariants in NewDB. Broken due to publicity and opacity being intertwined. Not fixing that

  sarsko

  committed
  5c6244b

• Update CreuSAT to new Creusot

  sarsko

  committed
  bf37922

Commits on Apr 7, 2024

• Update Robinson

  sarsko

  committed
  d0ebc21

• Update Friday

  sarsko

  committed
  bb1958e

• Update prelude.mlw to most recent one from Creusot

  sarsko

  committed
  662a563

• Update rust-toolchain

  sarsko

  committed
  e24eb8c

• Update ide to account for Creusot/Why3 breakage

  sarsko

  committed
  3281efe

• Add mir_dump to .gitignore

  sarsko

  committed
  6872bc7

Commits on May 8, 2023

• Fix Scratch + remove unneeded parans and proph_consts and the like

  sarsko

  committed
  dd53380

• Update CreuSAT to postfix @ and unnamed invariants

  sarsko

  committed
  aa75b5e

Commits on Apr 30, 2023

• Update Robinson to postfix @ and unnamed invariants

  sarsko

  committed
  3048f35

• Update NewDB to postfix @ and unnamed invariants

  sarsko

  committed
  5d9cde0

• Update Friday to postfix @ and unnamed invariants

  sarsko

  committed
  4ca7f85

• Update to current Creusot + new update script + cargo fmt

  sarsko

  committed
  427e360

Commits on Apr 22, 2023

• More WIP NewDB

  sarsko

  committed
  145144a

Commits on Mar 26, 2023

• WIP NewDB

  sarsko

  committed
  090313e

• Update README

  sarsko

  committed
  dad0d50

• Update session + cargo fmt

  sarsko

  committed
  6c4d36a

• Init NewDB

  sarsko

  committed
  20bcd1e

• Update session

  sarsko

  committed
  37e185b

• Update README

  sarsko

  committed
  c7b2d1e

• Update strategies + init Scratch + update README

  sarsko

  committed
  fb7a807

Commits on Mar 25, 2023

• Cargo fmt

  sarsko

  committed
  b8e69a9

• Merge pull request #41 from sarsko/stash-25-03

  sarsko

  authored
  9926a20

• Fix creusot Default error in CreuSAT + init custom tactics

  sarsko

  committed
  1738f29

• stash

  sarsko

  committed
  589810b

• Remove replay from workflow

  sarsko

  authored
  63d2a6c

Pagination

PreviousNext