- Portland, OR
- @atombeast
Block or Report
Block or report atomb
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
-
-
language-c-uniplate
language-c-uniplate PublicUniplate instances for data types from the language-c package
Haskell 1
-
language-c-binary
language-c-binary PublicBinary instances for data types from the langauge-c package
Haskell 1
451 contributions in the last year
Day of Week | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Contribution activity
March 2024
Created 6 commits in 2 repositories
Created a pull request in dafny-lang/dafny that received 1 comment
Error message on exception during verification
When a verification task throws an InternalCompilationException, Dafny now prints an error message instead of hanging. Aims to fix #5154, but the f…
Opened 5 other pull requests in 2 repositories
dafny-lang/dafny
3
merged
-
Bump Boogie dependency to v3.1.3
This contribution was made on Mar 13
-
Remove fragile .expect file that doesn't test much
This contribution was made on Mar 7
-
Use Boogie v3.1.2
This contribution was made on Mar 7
boogie-org/boogie
2
merged
-
Fix crash on low rlimit
This contribution was made on Mar 12
-
Reset predecessors before focusing
This contribution was made on Mar 7
Reviewed 12 pull requests in 3 repositories
dafny-lang/dafny
8 pull requests
-
Remove boogie filter
This contribution was made on Mar 14
-
More random seed logging
This contribution was made on Mar 13
-
Improve exception handling
This contribution was made on Mar 12
-
Added interface for plugins to add JsonRpcRequestHandlers to the language server
This contribution was made on Mar 7
-
Counterexamples As Assumptions
This contribution was made on Mar 7
-
Fix measure-complexity command
This contribution was made on Mar 6
-
fix: Avoid NPE when building a doo file with —no-verify
This contribution was made on Mar 6
-
Split responsibilities into separate methods in CliCompilation
This contribution was made on Mar 1
boogie-org/boogie
3 pull requests
-
Add an experimental backend that uses Lean to discharge goals
This contribution was made on Mar 13
-
Fix crash on low rlimit
This contribution was made on Mar 12
-
Add a FromSeed method to IVerificationTask
This contribution was made on Mar 1
dafny-lang/ide-vscode
1 pull request
-
Release v3.2.3 (updated Dafny to 4.5.0)
This contribution was made on Mar 18
Created an issue in dafny-lang/dafny that received 17 comments
Add by
blocks to function and method calls
Summary We could reduce brittleness by allowing the preconditions for a function or method call to be proved in local blocks, rather than scoped to…
Opened 9 other issues in 1 repository
dafny-lang/dafny
8
open
1
closed
-
Make it possible to write at least some of Dafny's prelude axioms in Dafny
This contribution was made on Mar 14
-
Automate extracting an expression into a separately-defined function
This contribution was made on Mar 14
-
Module refinement leads to resolution errors with
--default-function-opacity AutoRevealDependencies
This contribution was made on Mar 14 -
Add
--solver-option-help
flagThis contribution was made on Mar 12 -
Add
--attribute-help
flagThis contribution was made on Mar 12 -
Document HTML verification coverage reports
This contribution was made on Mar 12
-
Dafny hangs when verifying certain code
This contribution was made on Mar 6
-
Add incremental verification progress reporting in a Dafny-centric way
This contribution was made on Mar 5
-
Type mismatch allowed in ensures clause with type parameters and datatypes
This contribution was made on Mar 4