🏳️⚧️
!!!!!!!Helllllloooooooooooooo
Researcher working on proof repair and maintenance,
Pinned Loading
-
-
-
verse-lab/sisyphus
verse-lab/sisyphus PublicMostly Automated Proof Repair for Verified Libraries
OCaml 6
-
emacs-viewer
emacs-viewer PublicA web frontend for your Org-files (100% faithful to GNU+Emacs!)
Common Lisp 122
727 contributions in the last year
Day of Week | February Feb | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | |||||||||||||||||||||||||||||||||||||||||
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
January 2025
Created 1 commit in 1 repository
Created 2 repositories
-
kiranandcode/cerberus
OCaml
This contribution was made on Jan 22
-
kiranandcode/VERSE-Toolchain
OCaml
This contribution was made on Jan 21
Created a pull request in GaloisInc/VERSE-Toolchain that received 6 comments
CN debugger: allow debugging of CN via Gillian
This PR builds on #128 and ports it to work with the main branch of VERSE-toolchain.
+1,436
−21
lines changed
•
6
comments
Opened 1 other pull request in 1 repository
rems-project/cerberus
1
merged
-
Makes cached model evaluator solver resettable
This contribution was made on Jan 22
Created an issue in rems-project/cn-tutorial that received 1 comment
Possibly incorrect lemma in example-archive (src/example-archive/simple-examples/working/list_2.c
)
Hi, I was just going through the snippets in the example archive looking, and I realised that it might be the case that one of the lemmas assumed i…
1
comment
Opened 1 other issue in 1 repository
GaloisInc/VERSE-Toolchain
1
open
-
[BUG] LSP CN verify only works the first time it is run.
This contribution was made on Jan 21
17
contributions
in private repositories
Jan 4 – Jan 28