- Silicon Valley, California
- www.alessandrocoglio.info
Popular repositories Loading
-
yellowpaper
yellowpaper PublicForked from ethereum/yellowpaper
The "Yellow Paper": Ethereum's formal specification
TeX 1
-
workshop
workshop PublicForked from ProvableHQ/workshop
📜 A starter guide to build applications on Aleo 📜
Shell 1
-
ethereumj
ethereumj PublicForked from ethereum/ethereumj
Java implementation of the Ethereum yellowpaper. For JSON-RPC and other client features check Ethereum Harmony
Java
-
-
ethereumbook
ethereumbook PublicForked from ethereumbook/ethereumbook
Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood
JavaScript
2,475 contributions in the last year
Day of Week | January Jan | February Feb | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | |||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Activity overview
Contribution activity
January 2025
Reviewed 9 pull requests in 1 repository
acl2/acl2
9 pull requests
-
X86 bound theorem hints
This contribution was made on Jan 3
-
[X86ISA] Reduce dependencies of proof utils.
This contribution was made on Jan 3
-
x86isa: add popcnt instruction and snippet tests, small improvements to asmtest framework
This contribution was made on Jan 3
-
[x86isa] Exclude duplicate rules.
This contribution was made on Jan 3
-
[X86ISA] Remove subsumed rule.
This contribution was made on Jan 3
-
X86 todo list
This contribution was made on Jan 2
-
[X86ISA] Standardize includes of proofs.
This contribution was made on Jan 2
-
[X86ISA] Split get-prefixes into separate book.
This contribution was made on Jan 2
-
[X86ISA] Reduce inclusion.
This contribution was made on Jan 1