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
357 workflow runs
357 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor how options are registered (#5675) Deploy Jekyll site to Pages #282: Commit f5e5106 pushed by keyboardDrummer
August 12, 2024 10:08 41s master
master
August 12, 2024 10:08 41s
Chore: Generated Id are now declaration-specific (#5669) Deploy Jekyll site to Pages #281: Commit c9cd3b6 pushed by MikaelMayer
August 8, 2024 15:02 34s master
master
August 8, 2024 15:02 34s
Add developer options --sprint and --pprint (#5673) Deploy Jekyll site to Pages #280: Commit bc6b587 pushed by keyboardDrummer
August 7, 2024 15:36 42s master
master
August 7, 2024 15:36 42s
chore(deps): bump rexml from 3.3.2 to 3.3.3 in /docs (#5663) Deploy Jekyll site to Pages #279: Commit b1aa83d pushed by fabiomadge
August 2, 2024 13:37 42s master
master
August 2, 2024 13:37 42s
docs: The number of left-hand-sides must match the amount of out-para… Deploy Jekyll site to Pages #278: Commit 66b3c7a pushed by RustanLeino
August 2, 2024 05:00 36s master
master
August 2, 2024 05:00 36s
When using --legacy-data-constructors, add a typeDescriptor method to… Deploy Jekyll site to Pages #277: Commit e16b9c2 pushed by keyboardDrummer
August 1, 2024 14:52 47s master
master
August 1, 2024 14:52 47s
Fix bad generated Java code when using --legacy-data-constructors (#5… Deploy Jekyll site to Pages #276: Commit 8600061 pushed by keyboardDrummer
July 31, 2024 12:42 50s master
master
July 31, 2024 12:42 50s
Fix NRE and add test (#5655) Deploy Jekyll site to Pages #275: Commit 36691ee pushed by keyboardDrummer
July 30, 2024 13:56 37s master
master
July 30, 2024 13:56 37s
Verification in the IDE now works correctly when declaring nested mod… Deploy Jekyll site to Pages #274: Commit d8868e5 pushed by keyboardDrummer
July 29, 2024 16:44 49s master
master
July 29, 2024 16:44 49s
chore(deps): bump rexml from 3.2.8 to 3.3.2 in /docs (#5648) Deploy Jekyll site to Pages #273: Commit 704655f pushed by fabiomadge
July 25, 2024 09:51 51s master
master
July 25, 2024 09:51 51s
Let measure-complexity output the worst performing verification tas… Deploy Jekyll site to Pages #272: Commit e397b4f pushed by keyboardDrummer
July 24, 2024 16:09 40s master
master
July 24, 2024 16:09 40s
Hide statements (#5562) Deploy Jekyll site to Pages #271: Commit 281922d pushed by keyboardDrummer
July 24, 2024 15:39 47s master
master
July 24, 2024 15:39 47s
Use a DafnyProject instead of a root file for printing (#5645) Deploy Jekyll site to Pages #270: Commit f1b0c01 pushed by keyboardDrummer
July 23, 2024 13:45 44s master
master
July 23, 2024 13:45 44s
fix: Crash when compiling an empty source file while including testin… Deploy Jekyll site to Pages #269: Commit d8938a9 pushed by stefan-aws
July 22, 2024 16:19 55s master
master
July 22, 2024 16:19 55s
Chore: better compile-time elephant operator (#5614) Deploy Jekyll site to Pages #268: Commit 91d35a2 pushed by MikaelMayer
July 11, 2024 15:31 42s master
master
July 11, 2024 15:31 42s
Optimize compilation of functional-looking assignment RHSs (#5589) Deploy Jekyll site to Pages #267: Commit 04d1cbe pushed by RustanLeino
July 10, 2024 17:27 43s master
master
July 10, 2024 17:27 43s
fix: Clarify error location of inlined is predicates (#5587) Deploy Jekyll site to Pages #266: Commit 52ef046 pushed by RustanLeino
July 10, 2024 00:31 43s master
master
July 10, 2024 00:31 43s
Feat rust classes traits arrays (#5591) Deploy Jekyll site to Pages #265: Commit 2c4dd00 pushed by MikaelMayer
July 9, 2024 20:34 52s master
master
July 9, 2024 20:34 52s
Fix: have test generation return sequences with elements of right typ… Deploy Jekyll site to Pages #264: Commit bf592b8 pushed by stefan-aws
July 9, 2024 15:07 40s master
master
July 9, 2024 15:07 40s
feat: Add bounded polymorphism (#5547) Deploy Jekyll site to Pages #263: Commit 7e81f44 pushed by RustanLeino
July 9, 2024 02:02 35s master
master
July 9, 2024 02:02 35s
--ignore-warnings flag for test generation (#5609) Deploy Jekyll site to Pages #262: Commit 8dedc64 pushed by stefan-aws
July 8, 2024 19:00 46s master
master
July 8, 2024 19:00 46s
Fix clone function of DecreasesToExpr (#5598) Deploy Jekyll site to Pages #261: Commit 795beb6 pushed by keyboardDrummer
July 8, 2024 16:04 39s master
master
July 8, 2024 16:04 39s
Fix Nightly: CsharpCodeGenerator.cs (#5606) Deploy Jekyll site to Pages #260: Commit 204676d pushed by MikaelMayer
July 8, 2024 13:04 42s master
master
July 8, 2024 13:04 42s
Macos13 and indirect c#backend (#5601) Deploy Jekyll site to Pages #259: Commit 9a952b3 pushed by robin-aws
July 5, 2024 16:27 44s master
master
July 5, 2024 16:27 44s
Refactor codebase in preparation for hide PR (#5594) Deploy Jekyll site to Pages #258: Commit 040b54c pushed by keyboardDrummer
July 4, 2024 09:19 43s master
master
July 4, 2024 09:19 43s