]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 64588ee) | patch
Bug fixed: since circular <= graphs are allowed, added an avoid list to
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 17 May 2008 13:21:45 +0000 (13:21 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 17 May 2008 13:21:45 +0000 (13:21 +0000)
commitecc3dad340e2369f5f226713513e0704e5349ab0
tree540fa568bcda73b9ce8ee4281dd37285813f3a9dtree | snapshot
parent64588ee1a349ea931782c8388f0dbcb9e15279efcommit | diff
Bug fixed: since circular <= graphs are allowed, added an avoid list to
avoid looping.
Even more code semplification.
Little optimization: adding x <= x does nothing
helm/software/components/ng_kernel/nCicEnvironment.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.