fabiomadge
Follow
fabiomadge
Follow
Pinned
156 contributions in the last year
Less
More
Contribution activity
January 2022
Created 33 commits in 2 repositories
Created 1 repository
- fabiomadge/rmc Rust
Created a pull request in dafny-lang/dafny that received 4 comments
docs: add material on interacting with java code
We add two examples about passing strings between Dafny and Java code. In one example, the extern method obtains a Java string and returns it as a …
+99
−1
•
4
comments
Opened 5 other pull requests in 3 repositories
dafny-lang/dafny
2
open
1
merged
model-checking/rmc
1
closed
joho2014/dafny
1
merged
Reviewed 6 pull requests in 2 repositories
dafny-lang/dafny
5 pull requests
- updates to RELEASE.txt and a comment in version.cs
- Add prover log equality tests for rename and reorder changes
- Add file containing release notes, that currently only include the re…
- NullPointerException fixed in Parser
- Elephant operator for methods with generic return types, removed compiler-crashing default value for elephant operator
dafny-lang/ide-vscode
1 pull request
Created an issue in dafny-lang/ide-vscode that received 5 comments
Stuck on Verifying...
This example from dafny-lang/dafny#1718 is stuck on Verifying... for me on my Mac. This is true for both the 3.3 release version, as well as a fair…
5
comments