profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/orilahav/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.

vafeiadis/hahn 23

Hahn: A Coq library

weakmemory/imm 15

Intermediate Memory Model (IMM) and compilation correctness proofs for it

anlun/promising-coq 0

The Coq development of A Promising Semantics for Relaxed-Memory Concurrency

push eventsnu-sf/promising-coq

Sung-Hwan Lee

commit sha a2dc5960a2debdc630c1cdc319f87c0986c0c584

Remove travis

view details

push time in 2 months

push eventsnu-sf/promising-coq

Sung-Hwan Lee

commit sha 54907b5e78857b16002597404e617148698ddaab

Remove warnings regarding hints

view details

Sung-Hwan Lee

commit sha 3cf6b675c353f0da70591d03dde4ff206bde8535

Remove more warnings

view details

push time in 2 months

push eventvafeiadis/hahn

Viktor Vafeiadis

commit sha b5dce20de40bf3fbab9afc0ac7c7231f65096990

add HahnLift.v (lift relations to equiv.classes)

view details

push time in 2 months