-
Notifications
You must be signed in to change notification settings - Fork 260
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix: Specify Python version in the integration tests
run-deep-tests
Tells CI to run all tests
#3340
by fabiomadge
was merged Jan 8, 2023
Loading…
chore: Remove final Tells CI to run all tests
set-output
run-deep-tests
#3342
by fabiomadge
was merged Jan 9, 2023
Loading…
fix: Crash related to the override check for generic functions
#3692
by fabiomadge
was merged Mar 7, 2023
Loading…
fix: reenable release build
run-deep-tests
Tells CI to run all tests
#3785
by fabiomadge
was merged Mar 22, 2023
Loading…
fix: Explicitly define inequality of
multiset
s in Python for better backwards compatibility
#3904
by fabiomadge
was merged May 2, 2023
Loading…
feat: Semantics for dots in
{:extern}
module names in Python
#3919
by fabiomadge
was merged May 2, 2023
Loading…
Revert "Remove IncludeToken as prep for caching parsing (#3858)"
run-deep-tests
Tells CI to run all tests
#3981
by fabiomadge
was merged May 9, 2023
Loading…
Revert "Run integration tests in single process (#3715)"
run-deep-tests
Tells CI to run all tests
#3998
by fabiomadge
was merged May 11, 2023
Loading…
fix: Missing substitution in the subset check of the function override check
#4060
by fabiomadge
was merged Jun 12, 2023
Loading…
feat: Run Python byte-code compiler during
/compile:1
#4155
by fabiomadge
was merged Jun 8, 2023
Loading…
fix: Generate dummy constraint for
newtype
s to enable axiom generation
#4190
by fabiomadge
was merged Jun 30, 2023
Loading…
Revert "fix: --stdin regressions (#4254)"
run-deep-tests
Tells CI to run all tests
#4259
by fabiomadge
was merged Jul 6, 2023
Loading…
fix: Bad reference to Main in Java with
/compileSuffix
#4293
by fabiomadge
was merged Jul 17, 2023
Loading…
Previous Next
ProTip!
no:milestone will show everything without a milestone.