package info (click to toggle)
acl2 8.6%2Bdfsg-2
  • links: PTS
  • area: main
  • in suites: trixie
  • size: 1,111,420 kB
  • sloc: lisp: 17,818,294; java: 125,359; python: 28,122; javascript: 23,458; cpp: 18,851; ansic: 11,569; perl: 7,678; xml: 5,591; sh: 3,976; makefile: 3,833; ruby: 2,633; yacc: 1,126; ml: 763; awk: 295; csh: 233; lex: 197; php: 178; tcl: 49; asm: 23; haskell: 17

Folder: vwsim

d .. (parent)
d d rwxr-xr-x 4,096 .sys
d d rwxr-xr-x 34 Testing
d d rwxr-xr-x 79 dz-unc
d d rwxr-xr-x 148 images
d d rwxr-xr-x 82 parse-spice
d d rwxr-xr-x 151 tests
- - rw-r--r-- 6,442 README
- - rw-r--r-- 10,058 arith-fp.lisp
- - rw-r--r-- 5,645 constants.lisp
- - rwxr-xr-x 2,627 create-vwsim-release
- - rw-r--r-- 1,017 csv-plot.gnuplot
- - rw-r--r-- 29,063 driver.lsp
- - rw-r--r-- 1,004 expt10.lisp
- - rw-r--r-- 29 gnuplot.acl2
- - rw-r--r-- 3,919 gnuplot.lisp
- - rw-r--r-- 8,332 names-and-indices.lisp
- - rw-r--r-- 1,423 nth-lemmas.lisp
- - rw-r--r-- 1,887 num.lisp
- - rw-r--r-- 42,298 print-records-rec.lisp
- - rw-r--r-- 12,338 raw.lsp
- - rw-r--r-- 16,335 read-float.lisp
- - rw-r--r-- 12,874 records.lisp
- - rw-r--r-- 5,483 rtime.lisp
- - rw-r--r-- 7,527 sra-matrix-defuns.lisp
- - rw-r--r-- 149,807 sra-vw-flat-sim-help.lisp
- - rw-r--r-- 37 sra-vw-flat-sim.acl2
- - rw-r--r-- 101,180 sra-vw-flat-sim.lisp
- - rw-r--r-- 47 top.acl2
- - rw-r--r-- 1,041 top.lisp
- - rw-r--r-- 74,749 vw-eval-ar.lisp
- - rw-r--r-- 2,114 vw-eval-fns.lisp
- - rw-r--r-- 1,782 vw-eval-raw.lsp
- - rw-r--r-- 498 vw-eval.acl2
- - rw-r--r-- 46,899 vw-eval.lisp
- - rw-r--r-- 14,222 vw-flat-hdl.lisp
- - rw-r--r-- 19,031 vw-flatten-top-sort.lisp
- - rw-r--r-- 5,716 vw-hrchl-hdl.lisp
- - rw-r--r-- 30 vwsim-doc.acl2
- - rw-r--r-- 82,563 vwsim-doc.lisp
- - rw-r--r-- 4,247 write-csv.lisp