Skip to content

Actions: dafny-lang/dafny

Actions

Deploy Jekyll site to Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
jekyll.yml
451 workflow runs
451 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Allow forall statements in statement expressions (#5894) Deploy Jekyll site to Pages #401: Commit e386f56 pushed by RustanLeino
December 1, 2024 01:35 34s master
master
December 1, 2024 01:35 34s
Translation fixes for {:extern} when used for exports and for `--te… Deploy Jekyll site to Pages #400: Commit 34d068d pushed by keyboardDrummer
November 30, 2024 19:05 44s master
master
November 30, 2024 19:05 44s
docs: eliminate mention of "function method" from "Getting Started" g… Deploy Jekyll site to Pages #399: Commit 1c5ebc1 pushed by keyboardDrummer
November 29, 2024 09:58 37s master
master
November 29, 2024 09:58 37s
docs: mark up keywords requires and ensures as inline code in pro… Deploy Jekyll site to Pages #398: Commit 1c2cf07 pushed by keyboardDrummer
November 29, 2024 09:27 39s master
master
November 29, 2024 09:27 39s
docs: explicitly show implication operator ==> when introducing it … Deploy Jekyll site to Pages #397: Commit dc576cb pushed by keyboardDrummer
November 28, 2024 16:34 40s master
master
November 28, 2024 16:34 40s
Add tooltip on assertions that shows which functions are hidden (#5929) Deploy Jekyll site to Pages #396: Commit 0d2e950 pushed by keyboardDrummer
November 28, 2024 15:59 35s master
master
November 28, 2024 15:59 35s
Use a specific version of System.Runtime.Handles (#5936) Deploy Jekyll site to Pages #395: Commit 00b97e1 pushed by keyboardDrummer
November 28, 2024 11:59 36s master
master
November 28, 2024 11:59 36s
More @-attributes supported, top-level declarations and members (#5916) Deploy Jekyll site to Pages #394: Commit fb91dc2 pushed by MikaelMayer
November 25, 2024 19:41 41s master
master
November 25, 2024 19:41 41s
Fix: Tail-recursion for result copy types in the Dafny-to-Rust backen… Deploy Jekyll site to Pages #393: Commit 48c876f pushed by MikaelMayer
November 25, 2024 15:17 42s master
master
November 25, 2024 15:17 42s
Fix formatting of var by statements (#5927) Deploy Jekyll site to Pages #392: Commit 7cab063 pushed by keyboardDrummer
November 22, 2024 16:05 1m 27s master
master
November 22, 2024 16:05 1m 27s
Fix AtomicBox in Go, improve test to expose the bug (#5928) Deploy Jekyll site to Pages #391: Commit 0becbbf pushed by robin-aws
November 21, 2024 20:02 52s master
master
November 21, 2024 20:02 52s
Fix more issues in the Dafny-to-Rust compiler (#5926) Deploy Jekyll site to Pages #390: Commit acb8c6f pushed by MikaelMayer
November 21, 2024 12:29 46s master
master
November 21, 2024 12:29 46s
chore(deps): bump rexml from 3.3.6 to 3.3.9 in /docs (#5868) Deploy Jekyll site to Pages #389: Commit 6640268 pushed by MikaelMayer
November 20, 2024 18:13 1m 3s master
master
November 20, 2024 18:13 1m 3s
Feat rust newtypes members (#5918) Deploy Jekyll site to Pages #388: Commit 435c669 pushed by MikaelMayer
November 20, 2024 16:13 39s master
master
November 20, 2024 16:13 39s
chore: Improve tests (#5859) Deploy Jekyll site to Pages #387: Commit b998ed9 pushed by RustanLeino
November 17, 2024 05:06 44s master
master
November 17, 2024 05:06 44s
Enable isolating all return statements (#5917) Deploy Jekyll site to Pages #386: Commit f9c8644 pushed by keyboardDrummer
November 15, 2024 16:43 57s master
master
November 15, 2024 16:43 57s
Fix: {:only} on a per-file basis (#5915) Deploy Jekyll site to Pages #385: Commit 91a3c09 pushed by MikaelMayer
November 14, 2024 22:24 50s master
master
November 14, 2024 22:24 50s
Fix concurrency bug in reported file version (#5912) Deploy Jekyll site to Pages #384: Commit 7d80ca2 pushed by keyboardDrummer
November 13, 2024 16:00 45s master
master
November 13, 2024 16:00 45s
Fix 5724 compile suffix main arguments (#5910) Deploy Jekyll site to Pages #383: Commit 5f23301 pushed by keyboardDrummer
November 12, 2024 20:09 48s master
master
November 12, 2024 20:09 48s
docs: fix broken link to newtypes section (#5908) Deploy Jekyll site to Pages #382: Commit e7a9db1 pushed by alex-chew
November 12, 2024 02:29 42s master
master
November 12, 2024 02:29 42s
Move code out of GhostInterestVisitor and into specific AST types (#5… Deploy Jekyll site to Pages #381: Commit 062232f pushed by keyboardDrummer
November 11, 2024 17:56 43s master
master
November 11, 2024 17:56 43s
feat: Compute matching patterns for automatic induction (#5835) Deploy Jekyll site to Pages #380: Commit e77b51e pushed by RustanLeino
November 8, 2024 21:15 48s master
master
November 8, 2024 21:15 48s
Fix issue 5554 soundness (#5874) Deploy Jekyll site to Pages #379: Commit 7415591 pushed by olivier-aws
November 8, 2024 15:59 39s master
master
November 8, 2024 15:59 39s
Feat: Auto-completion of @-attributes for the language server (#5846) Deploy Jekyll site to Pages #378: Commit 940ccf6 pushed by MikaelMayer
November 8, 2024 09:09 40s master
master
November 8, 2024 09:09 40s
Remove libraries submodule (#5903) Deploy Jekyll site to Pages #377: Commit 32c2388 pushed by RustanLeino
November 7, 2024 17:37 42s master
master
November 7, 2024 17:37 42s