]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d1ca62) | patch
- probe: new application to compute some data on the proof objects of
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 1 Jan 2013 23:01:20 +0000 (23:01 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 1 Jan 2013 23:01:20 +0000 (23:01 +0000)
commitcbbbc763dc971b43fe74f1d08b797de5d1dc4f17
treef03b74e1933c1c2c0249c1953a83079c9fcf5ce5tree | snapshot
parent2d1ca624723598e18ed60cccb16581dda868527fcommit | diff
- probe: new application to compute some data on the proof objects of
a development, such as their net size (aka intrinsinc complexity)
- lambdadelta: Makefile now asks "probe" fore some data
matita/components/binaries/probe/Makefile [new file with mode: 0644] blob
matita/components/binaries/probe/engine.ml [new file with mode: 0644] blob
matita/components/binaries/probe/engine.mli [new file with mode: 0644] blob
matita/components/binaries/probe/matitaList.ml [new file with mode: 0644] blob
matita/components/binaries/probe/matitaList.mli [new file with mode: 0644] blob
matita/components/binaries/probe/nCicScan.ml [new file with mode: 0644] blob
matita/components/binaries/probe/nCicScan.mli [new file with mode: 0644] blob
matita/components/binaries/probe/options.ml [new file with mode: 0644] blob
matita/components/binaries/probe/options.mli [new file with mode: 0644] blob
matita/components/binaries/probe/probe.ml [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.