msprotz
Follow
Popular repositories Loading
-
proof-search-monad
proof-search-monad PublicTentative write-up of a neat trick used in the Mezzo type-checker
-
FStar
FStar PublicForked from FStarLang/FStar
An ML-like language with a type system for program verification
OCaml 1
-
opam-repository
opam-repository PublicForked from ocaml/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Shell 1
-
TypeScript
TypeScript PublicForked from microsoft/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
JavaScript
-
blockly
blockly PublicForked from google/blockly
The web-based visual programming editor.
JavaScript
-
ocaml-windows-bootstrap
ocaml-windows-bootstrap PublicForked from braibant/ocaml-windows-bootstrap
Shell
1,457 contributions in the last year
Contribution activity
April 2025
Created 107 commits in 5 repositories
Created 1 repository
-
msprotz/SymCrypt
C
This contribution was made on Apr 7
Created a pull request in AeneasVerif/scylla that received 3 comments
Add a CI target for the extracted symcrypt SHA3
@Nadrieril as discussed -- this requires a checkout of https://github.com/msprotz/SymCrypt/ at $(SYMCRYPT_HOME), and a successful build of it, most…
Opened 17 other pull requests in 3 repositories
AeneasVerif/scylla
9
merged
-
Add support for a wider class of attributes, carrying them from C to Rust
This contribution was made on Apr 17
-
Use Default::default() for uninitialized variables that are not at ba…
This contribution was made on Apr 11
-
Better handling of C files that include other C files
This contribution was made on Apr 10
-
Run krml visibility analysis (required after bundling)
This contribution was made on Apr 10
-
Proper support for passing multiple files in one go on the command-line
This contribution was made on Apr 9
-
Deal with initializer lists without designators
This contribution was made on Apr 8
-
Correct treatment of array types
This contribution was made on Apr 8
-
Cleanups, add support for SymCrypt's SHA3
This contribution was made on Apr 7
-
Large batch of changes culminating in the generation of a properly-typed AST.
This contribution was made on Apr 4
FStarLang/karamel
7
merged
-
Add support for providing arbitrary attributes (beyond derives) for t…
This contribution was made on Apr 16
-
Cleanup AST + allow clients to pass in custom trait implementatinos
This contribution was made on Apr 11
-
Tweak visibility/inlining analysis for Rust
This contribution was made on Apr 10
-
Better support for address-of operators
This contribution was made on Apr 9
-
Enhanced treatment of arrays in AstToMiniRust
This contribution was made on Apr 8
-
Fix incorrect helper
This contribution was made on Apr 7
-
Upgrade dune
This contribution was made on Apr 1
cryspen/libcrux
1
merged
-
Update eurydice_glue.h
This contribution was made on Apr 10
Reviewed 11 pull requests in 3 repositories
FStarLang/karamel
7 pull requests
-
Handle
let (x, _) = y;This contribution was made on Apr 15 -
Handle nested occurrences of pointers with
-fkeep-tuplesThis contribution was made on Apr 15 -
Improve mutability inference when assigning to a mutable borrow
This contribution was made on Apr 14
-
Add missing recursive calls when anonymizing unions
This contribution was made on Apr 11
-
Add a dereference in branch body when adding a ref pattern in match
This contribution was made on Apr 4
-
Add pass to remove trivial branchings in Rust translation
This contribution was made on Apr 3
-
Fix type-directed translation of matches and switches
This contribution was made on Apr 2
AeneasVerif/eurydice
2 pull requests
-
support for
FnOpMoveThis contribution was made on Apr 18 -
Update charon
This contribution was made on Apr 10
hacl-star/hacl-star
2 pull requests
-
Stabilize some Vale non-linear arithmetic proofs
This contribution was made on Apr 11
-
nix: Use the correct dotnet runtime version in vale
This contribution was made on Apr 7