Commits

Commits on Nov 29, 2023

Fix: Crash using subset type #4724 (#4825 )
jtristan
committedNov 29, 2023

Commits on Oct 20, 2023

Adding the Rust backend to the CI (#4701 )
jtristan
committedOct 20, 2023
Plug Dafny Backend into CI (#4633 )
jtristan
committedOct 20, 2023

Commits on Oct 19, 2023

Crash in Dafny backend (#4687 )
jtristan
committedOct 19, 2023
Change to thrown exception for missing feature in Dafny backends (#4553 )
jtristan
committedOct 19, 2023

Commits on Oct 13, 2023

Dafny generator using project file (#4655 )
jtristan
committedOct 13, 2023

Commits on Sep 19, 2023

Map eq range (#4567 )

jtristan
and
MikaelMayer
committedSep 19, 2023

Commits on Sep 15, 2023

Checker for .Values and .Items on maps (#4551 )
jtristan
committedSep 15, 2023

Commits on Sep 5, 2023

Logic fix (#4399 )

jtristan
and
RustanLeino
committedSep 5, 2023

Commits on Aug 31, 2023

fix: reads and requires axioms (#4487 )
jtristan
committedAug 31, 2023

Commits on Aug 25, 2023

Catching more knots (#4478 )
jtristan
committedAug 25, 2023
fix: check for constructor based Landin's Knot should not keep constr… (#4473 )
jtristan
committedAug 25, 2023

Commits on Aug 24, 2023

Editting 3 links in the reference manual for pandoc to work with late… (#4455 )

jtristan
and
MikaelMayer
committedAug 24, 2023

Commits on Aug 23, 2023

Fixed Windows workflow path (#4457 )
jtristan
committedAug 23, 2023

Commits on Aug 4, 2023

Fixing some of the know logical inconsistencies (#4348 )
jtristan
committedAug 4, 2023

Commits on Mar 13, 2023

feat: no-verify for language server (#3732 )
jtristan
committedMar 13, 2023

Commits on Mar 3, 2023

Documentation snapshot for v4.0.0 (#3682 )
jtristan
committedMar 3, 2023
Release 4.0.0 (#3681 )

jtristan
and
robin-aws
committedMar 3, 2023

Commits on Mar 2, 2023

Release Dafny 3.13.1 (#3671 )
jtristan
committedMar 2, 2023
Changes to allow making doc snapshots from branches other than master… (#3666 )

committedMar 2, 2023

Commits on Feb 21, 2023

CI tests for issue 1435 (#3585 )
jtristan
committedFeb 21, 2023

Commits on Feb 3, 2023

Dafny to Dafny compiler sketch (#3418 )

jtristan
and
MikaelMayer
committedFeb 3, 2023

Commits on Sep 19, 2022

Fix: substitution of binding guards in alternative statement correcte… (#2759 )
jtristan
committedSep 19, 2022

Commits on Sep 17, 2022

fix: Correctly substitute variables introduced by a binding guard
jtristan
committedSep 17, 2022