package info (click to toggle)
pypy3 7.3.20%2Bdfsg-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 212,332 kB
  • sloc: python: 2,100,989; ansic: 540,684; sh: 21,462; asm: 14,419; cpp: 4,451; makefile: 4,209; objc: 761; xml: 530; exp: 499; javascript: 314; pascal: 244; lisp: 45; csh: 12; awk: 4

Folder: ruleopt

d .. (parent)
d d rwxr-xr-x 106 test
- - rw-r--r-- 271 README.md
- - rw-r--r-- 0 __init__.py
- - rw-r--r-- 18,466 codegen.py
- - rw-r--r-- 1,594 generate.py
- - rw-r--r-- 20,845 parse.py
- - rw-r--r-- 14,874 proof.py
- - rw-r--r-- 7,179 real.rules