package info (click to toggle)
coq-iris 4.3.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 4,116 kB
  • sloc: python: 130; makefile: 61; sh: 28; sed: 2

Folder: tests

d .. (parent)
- - rw-r--r-- 0 algebra.ref
- - rw-r--r-- 3,626 algebra.v
- - rw-r--r-- 10,997 atomic.ref
- - rw-r--r-- 5,478 atomic.v
- - rw-r--r-- 757 bi.ref
- - rw-r--r-- 5,289 bi.v
- - rw-r--r-- 94 bi_ascii_parsing.ref
- - rw-r--r-- 720 bi_ascii_parsing.v
- - rw-r--r-- 0 fixpoint.ref
- - rw-r--r-- 950 fixpoint.v
- - rw-r--r-- 0 gset.ref
- - rw-r--r-- 645 gset.v
- - rw-r--r-- 7,242 heap_lang.ref
- - rw-r--r-- 16,051 heap_lang.v
- - rw-r--r-- 998 heap_lang_interpreter.ref
- - rw-r--r-- 1,674 heap_lang_interpreter.v
- - rw-r--r-- 4,486 heap_lang_printing.ref
- - rw-r--r-- 3,066 heap_lang_printing.v
- - rw-r--r-- 741 heap_lang_printing2.ref
- - rw-r--r-- 1,043 heap_lang_printing2.v
- - rw-r--r-- 0 heap_lang_proph.ref
- - rw-r--r-- 2,809 heap_lang_proph.v
- - rw-r--r-- 0 heapprop.ref
- - rw-r--r-- 10,835 heapprop.v
- - rw-r--r-- 0 heapprop_affine.ref
- - rw-r--r-- 12,261 heapprop_affine.v
- - rw-r--r-- 1,644 ipm_paper.ref
- - rw-r--r-- 8,866 ipm_paper.v
- - rw-r--r-- 0 iprop.ref
- - rw-r--r-- 876 iprop.v
- - rw-r--r-- 0 iris_notation.ref
- - rw-r--r-- 1,700 iris_notation.v
- - rw-r--r-- 0 later_credits_paper.ref
- - rw-r--r-- 5,896 later_credits_paper.v
- - rw-r--r-- 790 list_reverse.ref
- - rw-r--r-- 1,659 list_reverse.v
- - rw-r--r-- 285 lock.ref
- - rw-r--r-- 2,715 lock.v
- - rw-r--r-- 368 monpred.ref
- - rw-r--r-- 720 monpred.v
- - rw-r--r-- 3,028 mosel_paper.ref
- - rw-r--r-- 2,344 mosel_paper.v
- - rw-r--r-- 107 mra.ref
- - rw-r--r-- 531 mra.v
- - rw-r--r-- 1,053 one_shot.ref
- - rw-r--r-- 5,687 one_shot.v
- - rw-r--r-- 1,087 one_shot_once.ref
- - rw-r--r-- 5,873 one_shot_once.v
- - rw-r--r-- 31,865 proofmode.ref
- - rw-r--r-- 77,297 proofmode.v
- - rw-r--r-- 5,125 proofmode_ascii.ref
- - rw-r--r-- 11,239 proofmode_ascii.v
- - rw-r--r-- 9,772 proofmode_iris.ref
- - rw-r--r-- 13,491 proofmode_iris.v
- - rw-r--r-- 1,810 proofmode_monpred.ref
- - rw-r--r-- 7,935 proofmode_monpred.v
- - rw-r--r-- 0 proofmode_siprop.ref
- - rw-r--r-- 698 proofmode_siprop.v
- - rw-r--r-- 499 siprop.ref
- - rw-r--r-- 424 siprop.v
- - rw-r--r-- 482 string_ident.ref
- - rw-r--r-- 1,028 string_ident.v
- - rw-r--r-- 2,504 telescopes.ref
- - rw-r--r-- 7,186 telescopes.v
- - rw-r--r-- 0 tree_sum.ref
- - rw-r--r-- 2,015 tree_sum.v