package info (click to toggle)
rumur 2020.12.20-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 3,292 kB
  • sloc: cpp: 17,090; ansic: 2,537; objc: 1,542; python: 1,120; sh: 538; yacc: 536; lex: 229; lisp: 15; makefile: 5

Folder: doc

d .. (parent)
- - rw-r--r-- 2,363 bitwise-operators.rst
- - rw-r--r-- 6,001 internals-atomics.rst
- - rw-r--r-- 674 internals-hash-function.rst
- - rw-r--r-- 3,272 internals-reference-counted-pointers.rst
- - rw-r--r-- 5,995 internals-seen-state-set.rst
- - rw-r--r-- 4,582 internals-warts.rst
- - rw-r--r-- 22,941 intro-to-murphi.rst
- - rw-r--r-- 2,659 introduction.rst
- - rw-r--r-- 620 performance.rst
- - rw-r--r-- 7,616 properties.rst
- - rw-r--r-- 5,174 release-checklist.rst
- - rw-r--r-- 3,416 toy-model-checker.py
- - rw-r--r-- 5,478 vs-cmurphi.rst