-
University of California, San Diego
- San Diego, CA
Popular repositories Loading
-
-
-
-
RePair-WaveletTree-Graph
RePair-WaveletTree-Graph PublicGraph Implementation with repair bitmap compressed WaveletTree
1,338 contributions in the last year
Day of Week | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | April Apr | ||||||||||||||||||||||||||||||||||||||||
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
Activity overview
Loading
Contribution activity
April 2025
Created 31 commits in 3 repositories
Created a pull request in PLSysSec/tock-veri-asm that received 3 comments
Use new syntax improvements on bitvectors
Best reviewed by commit.
+333
−498
lines changed
•
3
comments
Opened 10 other pull requests in 2 repositories
flux-rs/flux
8
merged
-
Revamp config
This contribution was made on Apr 14
-
Add flag to print a timings report
This contribution was made on Apr 12
-
Implement basic annotation stats
This contribution was made on Apr 11
-
Fixes to remove a couple of ICEs in vtock
This contribution was made on Apr 9
-
Instantiate generics in invariants
This contribution was made on Apr 8
-
Save function sorts in crate metadata
This contribution was made on Apr 8
-
Cleanup encoding of functions
This contribution was made on Apr 6
-
Fix associativity
This contribution was made on Apr 5
PLSysSec/tock
2
merged
-
Prove easy theorems with Flux
This contribution was made on Apr 10
-
Add a
reason
to trusted annotations in kernel + remove some trusted that were fixed in fluxThis contribution was made on Apr 9
Reviewed 8 pull requests in 1 repository
flux-rs/flux
8 pull requests
-
add cvc5 to VTock Workflow
This contribution was made on Apr 7
-
Fix bug in caching
This contribution was made on Apr 6
-
hide
andreveal
flux-definitionsThis contribution was made on Apr 5 -
Make flux-rs no_std so we can compile tock with flux
This contribution was made on Apr 3
-
Holes for generic args (take 2)
This contribution was made on Apr 3
-
Holes for generic args
This contribution was made on Apr 3
-
Features
This contribution was made on Apr 1
-
Use
define-fun
instead of inlining allflux::def
functionsThis contribution was made on Apr 1
10
contributions
in private repositories
Apr 2 – Apr 10