sim642
Follow
sim642
Follow
Achievements
Achievements
Highlights
Pinned Loading
2,709 contributions in the last year
Less
More
Activity overview
Contributed to
goblint/analyzer,
sim642/adventofcode,
sim642/ppx_deriving_hash
and 5 other
repositories
Loading
Contribution activity
November 2021
Created 52 commits in 3 repositories
Created 1 repository
Created a pull request in goblint/analyzer that received 3 comments
Fix symb_locks combine to use returned lockset
Closes #430.
For some reason combine used the caller's local state instead of the callee's returned one. I don't know the internals of the symbolic…
+149
−2
•
3
comments
Opened 4 other pull requests in 2 repositories
goblint/analyzer
1
open
2
merged
ocaml-ppx/ppx_deriving_yojson
1
open
Reviewed 11 pull requests in 2 repositories
goblint/analyzer
9 pull requests
- Add option to store local results of Apron-Analysis for comparison
- Import Gobview
- SARIF output format
- Fix apron mutex-meet-tid-cluster decreasing protecting locksets
- Incremental TD3: incrementalize analysis within functions
- Make Apron domain configurable
- Fix invalid interval widening calls
- Relational mutex-meet clustering
- Apron threshold widening
weechat/scripts
2 pull requests
Created an issue in ocaml/setup-ocaml that received 3 comments
Error: Cannot destructure property browser_download_url of 'undefined' or 'null'.
"Install opam" step fails with:
Error: Cannot destructure property `browser_download_url` of 'undefined' or 'null'.
For example:
https://github.c…
3
comments