Hahn: A Coq library
Intermediate Memory Model (IMM) and compilation correctness proofs for it
The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
push eventsnu-sf/promising-coq
commit sha a2dc5960a2debdc630c1cdc319f87c0986c0c584
Remove travis
push time in 2 months
push eventsnu-sf/promising-coq
commit sha 54907b5e78857b16002597404e617148698ddaab
Remove warnings regarding hints
commit sha 3cf6b675c353f0da70591d03dde4ff206bde8535
Remove more warnings
push time in 2 months
push eventvafeiadis/hahn
commit sha b5dce20de40bf3fbab9afc0ac7c7231f65096990
add HahnLift.v (lift relations to equiv.classes)
push time in 2 months