Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 22, 2025

• Rename IArrays into IArray, and remove an additional @ignore that was breaking def list extraction (#1695)

  samuelchassot

  authored
  921bd0e

  Copy full SHA for 921bd0e

Commits on Dec 20, 2025

• Fix bugs in classtag elimination found when adapting ZipLex (#1691)

  samuelchassot

  authored
  2ff974d

  Copy full SHA for 2ff974d

Commits on Dec 18, 2025

• Fix formal parameters computation in `GhostAccessRewriter` (#1688)

  Show description for 8fe8519
  mbovel

  authored
  8fe8519

  Copy full SHA for 8fe8519

Commits on Dec 16, 2025

• Add IArray to stainless library (#1686)

  Show description for 2e4c8a2
  

  samuelchassot

  and

  Copilot

  authored
  2e4c8a2

  Copy full SHA for 2e4c8a2

Commits on Dec 15, 2025

• release note missing new line

  samuelchassot

  committed
  24b7f38

  Copy full SHA for 24b7f38

Commits on Dec 12, 2025

• update release notes

  samuelchassot

  committed
  1cd9826

  Copy full SHA for 1cd9826

• Ignore `ClassTag` parameters (#1678)

  Show description for a0dcccc
  

  3 peopleauthored
  a0dcccc

  Copy full SHA for a0dcccc

Commits on Dec 9, 2025

• Remove `fail_if_pull_request_is_draft` job (#1679)

  Show description for d2e2dfb
  mbovel

  authored
  d2e2dfb

  Copy full SHA for d2e2dfb

Commits on Nov 22, 2025

• Allow @ignored mutable var and val fields in classes (#1675)

  vkuncak

  authored
  fc81ec6

  Copy full SHA for fc81ec6

Commits on Nov 21, 2025

• Fix ghost checker by splitting ghost annotation propagation and checks (#1673)

  samuelchassot

  authored
  5458957

  Copy full SHA for 5458957

Commits on Nov 14, 2025

• Consider top-level functions in function call matching (#1668)

  drganam

  authored
  0926e61

  Copy full SHA for 0926e61

Commits on Sep 18, 2025

• Add measures in library (#1665)

  samuelchassot

  authored
  2a78a83

  Copy full SHA for 2a78a83

• Fix crashing on receiving no input files (#1666)

  Show description for 189a10e
  sankalpgambhir

  authored
  189a10e

  Copy full SHA for 189a10e

Commits on Sep 11, 2025

• Move installation and build to docs; clean up tutorial docs (#1664)

  Show description for 29e2f05
  

  sankalpgambhir

  and

  samuelchassot

  authored
  29e2f05

  Copy full SHA for 29e2f05

Commits on Sep 10, 2025

• Update readme and dependencies for JDK 21 (#1663)

  Show description for b59c746
  sankalpgambhir

  authored
  b59c746

  Copy full SHA for b59c746

Commits on Sep 5, 2025

• Snap build fixes (#1662)

  Show description for ee1777d
  sankalpgambhir

  authored
  ee1777d

  Copy full SHA for ee1777d

• Bump Inox to latest commit (#1661)

  Show description for badbef8
  sankalpgambhir

  authored
  badbef8

  Copy full SHA for badbef8

Commits on Sep 1, 2025

• Bump to scala 3.7.2 (#1660)

  samuelchassot

  authored
  5cbaa71

  Copy full SHA for 5cbaa71

Commits on Jun 24, 2025

• Equivalence Component: norm can change the return type (#1658)

  Show description for e925387
  drganam

  authored
  e925387

  Copy full SHA for e925387

Commits on May 15, 2025

• Revert size of List to def (#1656)

  samuelchassot

  authored
  94238dc

  Copy full SHA for 94238dc

Commits on May 14, 2025

• Move to lazy val for size of list (#1653)

  samuelchassot

  authored
  20d8d40

  Copy full SHA for 20d8d40

Commits on May 9, 2025

• Lemmas in Bijection and Injection to get the invariant as a fact (#1654)

  samuelchassot

  authored
  d073694

  Copy full SHA for d073694

Commits on Apr 30, 2025

• Add PartialInverse and Bijection case class in Quantifiers library (#1646)

  Show description for e2b58e2
  

  samuelchassot

  and

  vkuncak

  authored
  e2b58e2

  Copy full SHA for e2b58e2

Commits on Apr 29, 2025

• Adding check files for verification integration tests (#1641)

  Show description for 8367737
  mario-bucev

  authored
  8367737

  Copy full SHA for 8367737

Commits on Apr 28, 2025

• Update inox (#1652)

  samuelchassot

  authored
  e5f63f7

  Copy full SHA for e5f63f7

Commits on Apr 21, 2025

• Fix video doc deadlinks in README.md (#1651)

  Show description for 4408e0a
  quartztz

  authored
  4408e0a

  Copy full SHA for 4408e0a

Commits on Mar 20, 2025

• Add Arithmetic Language as example of unsat precondition (#1645)

  samuelchassot

  authored
  de379c8

  Copy full SHA for de379c8

Commits on Mar 19, 2025

• Update inox (#1644)

  samuelchassot

  authored
  0eba3ea

  Copy full SHA for 0eba3ea

• Disable fancy objects (objects that extend traits) at the extraction level as they led to crashes (#1643)

  samuelchassot

  authored
  0eaf06f

  Copy full SHA for 0eaf06f

Commits on Jan 28, 2025

• Add a Snapcraft Build and Snap Install Instructions (#1639)

  Show description for 8fdc241
  sankalpgambhir

  authored
  8fdc241

  Copy full SHA for 8fdc241

Commits on Jan 24, 2025

• Remove useless old larabot file (#1634)

  samuelchassot

  authored
  5ca2042

  Copy full SHA for 5ca2042

• Add AUR package reference and instructions (#1637)

  Show description for dc80458
  sankalpgambhir

  authored
  dc80458

  Copy full SHA for dc80458

Commits on Jan 21, 2025

• Add Exists quantifier (axiomatized). Rename library to Quantifiers. (#1635)

  vkuncak

  authored
  5181f09

  Copy full SHA for 5181f09

Commits on Jan 14, 2025

• Update inox (#1632)

  samuelchassot

  authored
  0dde875

  Copy full SHA for 0dde875

Commits on Jan 10, 2025

• Tail recursion elimination for GenC (#1275) (#1626)

  Show description for 233cdcd
  

  zhekai-jiang

  and

  KacperFKorban

  authored
  233cdcd

  Copy full SHA for 233cdcd

Pagination

Previous

Next