-
Notifications
You must be signed in to change notification settings - Fork 257
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
chore(deps): bump rexml from 3.3.2 to 3.3.3 in /docs
dependencies
Pull requests that update a dependency file
ruby
Pull requests that update Ruby code
#5663
by dependabot
bot
was merged Aug 2, 2024
Loading…
updated Aug 2, 2024
docs: The number of left-hand-sides must match the amount of out-parameters
#5661
by fabiomadge
was merged Aug 2, 2024
Loading…
updated Aug 2, 2024
When using --legacy-data-constructors, add a typeDescriptor method to…
#5659
by keyboardDrummer
was merged Aug 1, 2024
Loading…
updated Aug 1, 2024
Fix bad generated Java code when using --legacy-data-constructors
#5657
by keyboardDrummer
was merged Jul 31, 2024
Loading…
updated Jul 31, 2024
Verification in the IDE now works correctly when declaring nested mod…
#5651
by keyboardDrummer
was merged Jul 29, 2024
Loading…
updated Jul 30, 2024
fix: ensure postcondition expression is extracted from the right URI
#3044
by dijkstracula
was closed Jul 25, 2024
Loading…
updated Jul 25, 2024
chore(deps): bump rexml from 3.2.8 to 3.3.2 in /docs
dependencies
Pull requests that update a dependency file
ruby
Pull requests that update Ruby code
#5648
by dependabot
bot
was merged Jul 25, 2024
Loading…
updated Jul 25, 2024
Let
measure-complexity output the worst performing verification tasks by resource count
#5631
by keyboardDrummer
was merged Jul 24, 2024
Loading…
updated Jul 24, 2024
Hide statements
run-integration-tests
Forces running the CI for integration tests even if the deep tests fail
#5562
by keyboardDrummer
was merged Jul 24, 2024
Loading…
updated Jul 24, 2024
Use a DafnyProject instead of a root file for printing
#5645
by keyboardDrummer
was merged Jul 23, 2024
Loading…
updated Jul 23, 2024
fix: Crash when compiling an empty source file while including testing code
#5638
by fabiomadge
was merged Jul 22, 2024
Loading…
updated Jul 22, 2024
Macos13 and indirect c#backend
run-deep-tests
Tells CI to run all tests
#5601
by keyboardDrummer
was merged Jul 5, 2024
Loading…
updated Jul 14, 2024
Chore: better compile-time elephant operator
#5614
by MikaelMayer
was merged Jul 11, 2024
Loading…
updated Jul 11, 2024
Optimize compilation of functional-looking assignment RHSs
#5589
by RustanLeino
was merged Jul 10, 2024
Loading…
updated Jul 10, 2024
fix: Clarify error location of inlined
is predicates
#5587
by RustanLeino
was merged Jul 10, 2024
Loading…
updated Jul 10, 2024
Feat rust classes traits arrays
run-integration-tests
Forces running the CI for integration tests even if the deep tests fail
#5591
by MikaelMayer
was merged Jul 9, 2024
Loading…
updated Jul 9, 2024
Fix: have test generation return sequences with elements of right type
#5611
by stefan-aws
was merged Jul 9, 2024
Loading…
updated Jul 9, 2024
Equality of Dafny sequences in Python
#5610
by stefan-aws
was closed Jul 9, 2024
Loading…
updated Jul 9, 2024
feat: Add bounded polymorphism
#5547
by RustanLeino
was merged Jul 9, 2024
Loading…
updated Jul 9, 2024
--ignore-warnings flag for test generation
#5609
by stefan-aws
was merged Jul 8, 2024
Loading…
updated Jul 8, 2024
Fix clone function of DecreasesToExpr
#5598
by keyboardDrummer
was merged Jul 8, 2024
Loading…
updated Jul 8, 2024
Fix Nightly: CsharpCodeGenerator.cs
run-deep-tests
Tells CI to run all tests
#5606
by MikaelMayer
was merged Jul 8, 2024
Loading…
updated Jul 8, 2024
Refactor codebase in preparation for hide PR
#5594
by keyboardDrummer
was merged Jul 4, 2024
Loading…
updated Jul 4, 2024
Previous Next
ProTip!
no:milestone will show everything without a milestone.