]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 982eb93) | patch
CicTypeChecker.typecheck now takes an additional parameter:
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 2 Feb 2009 13:28:08 +0000 (13:28 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 2 Feb 2009 13:28:08 +0000 (13:28 +0000)
commit15271270eecc6ebe1f042049e13e2c21c550660a
tree57bff7200e63cd7407746ad3f9715f5b34847b2ctree | snapshot
parent982eb9392e7fd9ee26a4ebf593244e8125ed7853commit | diff
CicTypeChecker.typecheck now takes an additional parameter:
- trust:bool, set to false only by the proofChecker daemon, while
  the refiner (for example) passes true
helm/software/components/cic_proof_checking/cicTypeChecker.ml diff | blob | history
helm/software/components/cic_proof_checking/cicTypeChecker.mli diff | blob | history
helm/software/daemons/proofChecker/Makefile diff | blob | history
helm/software/daemons/proofChecker/proofChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.