Pinned Loading
-
ocaml-memgraph
ocaml-memgraph PublicA small library to output memory graph for ocaml values
-
sneeuwballen/benchpress
sneeuwballen/benchpress PublicTesting and benchmarking tool for logic-related programs.
-
c-cube/qcheck
c-cube/qcheck PublicQuickCheck inspired property-based testing for OCaml.
161 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 |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Contribution activity
March 2025
Created 10 commits in 3 repositories
Created a pull request in ocaml-flambda/flambda-backend that received 5 comments
Fix bug in lazy pattern matching
In some situations (i.e. with specialization), flambda2 might propagate too much information during lazy pattern matching. Consider a pattern match…
+144
−22
lines changed
•
5
comments
Opened 3 other pull requests in 1 repository
Gbury/dolmen
3
merged
-
Upgrade deps
This contribution was made on Mar 17
-
Update setup-ocaml version for CI
This contribution was made on Mar 17
-
Fix broken
Loc.compact
functionThis contribution was made on Mar 17
Reviewed 11 pull requests in 3 repositories
scr4t-dance/ftw
5 pull requests
-
Add only category and kind
This contribution was made on Mar 16
-
Init frontend
This contribution was made on Mar 16
-
Add phase concept to backend
This contribution was made on Mar 16
-
sql script to init DB + empty sqlite db initialised
This contribution was made on Mar 16
-
Improve doc
This contribution was made on Mar 16
ocaml-flambda/flambda-backend
4 pull requests
-
optimize cmm shifts and tags
This contribution was made on Mar 19
-
optimized bounds-checks to eliminate some shifts
This contribution was made on Mar 11
-
Added Cmm_helpers.Scalar_type
This contribution was made on Mar 7
-
Refactor cmm functions to be more generic over operand width
This contribution was made on Mar 5
Gbury/dolmen
2 pull requests
-
feat: Add support for user-defined builtins with Dune plugins
This contribution was made on Mar 19
-
feat: Support more Alt-Ergo primitives
This contribution was made on Mar 18
Created an issue in Gbury/dolmen that received 1 comment
Remoe the Typer's addition builtins following the merge of Extensions/Plugins
With the notion of Extensions/Plugins from #214 , the additional_builtins
of the Typer
module is redundant and can be removed. However it would not…
1
comment
Opened 2 other issues in 2 repositories
ocaml-windows/papercuts
1
open
-
Error recompiling mingw-w64-shims when using setup-ocaml in CI
This contribution was made on Mar 17
SMT-LIB/SMT-LIB-2
1
open
-
Order of theories in Logic names
This contribution was made on Mar 14