Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 2, 2024

• Coma backend

  xldenis

  committed
  a95dfe6

  Copy full SHA for a95dfe6

Commits on Mar 20, 2024

• refactor CI workflows

  Armael

  committed
  5f5af2c

  Copy full SHA for 5f5af2c

Commits on Mar 9, 2024

• documentation on Creusot's installation & developer workflow

  Armael

  committed
  d3bacb3

  Copy full SHA for d3bacb3

Commits on May 25, 2022

• Initial proofs of iterators

  Show description for 93f8a06
  xldenis

  committed
  93f8a06

  Copy full SHA for 93f8a06

• Create Why3 session file for each relevant test.

  

  jhjourdan

  authored and

  xldenis

  committed
  283e3b7

  Copy full SHA for 283e3b7

Commits on Nov 17, 2021

• new example: sparse arrays (creusot-rs#242)

  Show description for 0f01096
  claudemarche

  authored
  0f01096

  Copy full SHA for 0f01096

Commits on Oct 1, 2021

• Load clone metadata for extern crates

  xldenis

  committed
  ff1bd23

  Copy full SHA for ff1bd23

Commits on Aug 31, 2021

• Improve NameMap

  xldenis

  committed
  7da51c3

  Copy full SHA for 7da51c3

Commits on Aug 30, 2021

• ignore creusot metadata

  xldenis

  committed
  abf7dea

  Copy full SHA for abf7dea

Commits on Apr 21, 2021

• Woops the crate was gitignored

  xldenis

  committed
  de6cd39

  Copy full SHA for de6cd39

Commits on Jan 25, 2021

• Drop predicates

  Show description for 7a0b854
  xldenis

  committed
  7a0b854

  Copy full SHA for 7a0b854

Commits on Dec 12, 2020

• Ignore why3 garbage in git

  xldenis

  committed
  df9294d

  Copy full SHA for df9294d

Commits on Oct 29, 2020

• Polonius Facts

  

  Xavier Denis

  committed
  98f2b76

  Copy full SHA for 98f2b76

Commits on Oct 22, 2020

• initial commit

  xldenis

  committed
  d214a25

  Copy full SHA for d214a25

Loading