File: README.md

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
file content (9 lines) | stat: -rw-r--r-- 286 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
7
8
9
 
Tagging Scripts
===============

Most everyone should just ignore these scripts.

There are too many Lisps and OSes to test by hand.  Instead these scripts let
me run all of the Lisps that work on a particular OS, and tag that the tests
have been run against a particular Git version.