]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 57a360d) | patch
basic_rg: reduction was not tail recursive by mistake
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 3 Nov 2009 17:06:32 +0000 (17:06 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 3 Nov 2009 17:06:32 +0000 (17:06 +0000)
commit2e451dca46e509fd7e7772f3d2e438c189ce10a1
tree688768290b4dfc165f663697310bfd16000e9e7ftree | snapshot
parent57a360d659425ce1ee9a69516b66a4d3c7b8eb62commit | diff
basic_rg: reduction was not tail recursive by mistake
22 files changed:
helm/software/lambda-delta/.depend.opt diff | blob | history
helm/software/lambda-delta/basic_ag/bagOutput.ml diff | blob | history
helm/software/lambda-delta/basic_ag/bagReduction.ml diff | blob | history
helm/software/lambda-delta/basic_ag/bagType.ml diff | blob | history
helm/software/lambda-delta/basic_ag/bagUntrusted.ml diff | blob | history
helm/software/lambda-delta/basic_rg/brg.ml diff | blob | history
helm/software/lambda-delta/basic_rg/brgEnvironment.ml diff | blob | history
helm/software/lambda-delta/basic_rg/brgEnvironment.mli diff | blob | history
helm/software/lambda-delta/basic_rg/brgOutput.ml diff | blob | history
helm/software/lambda-delta/basic_rg/brgReduction.ml diff | blob | history
helm/software/lambda-delta/basic_rg/brgReduction.mli diff | blob | history
helm/software/lambda-delta/basic_rg/brgSubstitution.ml diff | blob | history
helm/software/lambda-delta/basic_rg/brgSubstitution.mli diff | blob | history
helm/software/lambda-delta/basic_rg/brgType.ml diff | blob | history
helm/software/lambda-delta/basic_rg/brgType.mli diff | blob | history
helm/software/lambda-delta/basic_rg/brgUntrusted.ml diff | blob | history
helm/software/lambda-delta/common/entity.ml diff | blob | history
helm/software/lambda-delta/common/hierarchy.ml diff | blob | history
helm/software/lambda-delta/common/library.ml diff | blob | history
helm/software/lambda-delta/toplevel/metaBrg.ml diff | blob | history
helm/software/lambda-delta/toplevel/metaOutput.ml diff | blob | history
helm/software/lambda-delta/toplevel/top.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.