-
Notifications
You must be signed in to change notification settings - Fork 256
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Fix: have test generation return sequences with elements of right type
#5611
by stefan-aws
was merged Jul 9, 2024
Loading…
Fix Nightly: CsharpCodeGenerator.cs
run-deep-tests
Tells CI to run all tests
#5606
by MikaelMayer
was merged Jul 8, 2024
Loading…
Macos13 and indirect c#backend
run-deep-tests
Tells CI to run all tests
#5601
by keyboardDrummer
was merged Jul 5, 2024
Loading…
Refactor codebase in preparation for hide PR
#5594
by keyboardDrummer
was merged Jul 4, 2024
Loading…
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…
Optimize compilation of functional-looking assignment RHSs
#5589
by RustanLeino
was merged Jul 10, 2024
Loading…
fix: Clarify error location of inlined
is
predicates
#5587
by RustanLeino
was merged Jul 10, 2024
Loading…
Fix: Compiled disjunctive nested pattern matching no longer crashing
#5574
by MikaelMayer
was merged Jun 26, 2024
Loading…
Attempt to stabilize ConcurrentCompilationDoesNotBreakCaching test
#5571
by keyboardDrummer
was merged Jun 26, 2024
Loading…
ci: Fix nightly build tests broken by skipping Rust
run-deep-tests
Tells CI to run all tests
#5566
by robin-aws
was merged Jun 19, 2024
Loading…
Ensure nightly skips Rust (fixed)
run-deep-tests
Tells CI to run all tests
#5564
by MikaelMayer
was merged Jun 18, 2024
Loading…
Chore: Omit Rust from the nightly release workflow
#5559
by MikaelMayer
was merged Jun 15, 2024
Loading…
fix: Legacy datatype constructor compatibility in Java
#5558
by robin-aws
was merged Jun 17, 2024
Loading…
Prevent LSP server from crashing on code actions
#5543
by keyboardDrummer
was merged Jun 7, 2024
Loading…
feat: Implement frame-related asserted exprs and TraitDecreases
#5542
by alex-chew
was merged Jun 7, 2024
Loading…
5 tasks done
Previous Next
ProTip!
What’s not been updated in a month: updated:<2024-06-11.