Blame · _CoqProject · 22bbfa6d40d8a1e4c24d2e044af173b189667ba6 · Iris / c · GitLab

Find file Normal view History Permalink

_CoqProject 313 Bytes

Newer Older

The initial import of files Léon Gondelman committed Apr 22, 2018	1 2 3	`-Q theories iris_c -arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files`
using mutable sets operations (create, add, membership, clear) in the monad Léon Gondelman committed Apr 23, 2018	4	`theories/lib/mset.v`
The initial import of files Léon Gondelman committed Apr 22, 2018	5	`theories/lib/flock.v`
Add the locking_heap ghost theory Dan Frumin committed Apr 26, 2018	6	`theories/lib/locking_heap.v`
The initial import of files Léon Gondelman committed Apr 22, 2018	7	`theories/c_translation/monad.v`
Add awp_pure Dan Frumin committed Apr 27, 2018	8	`theories/c_translation/lifting.v`
Add awp tactics Dan Frumin committed Apr 27, 2018	9	`theories/c_translation/proofmode.v`
Add the locking_heap ghost theory Dan Frumin committed Apr 26, 2018	10	`theories/c_translation/translation.v`