]> matita.cs.unibo.it Git - helm.git/commit
- the connections between the intermediate language and the "bag"
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 2 Nov 2010 22:06:52 +0000 (22:06 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 2 Nov 2010 22:06:52 +0000 (22:06 +0000)
commita5709dff43233c041f77a4ee4b7f2df1a3c51ab6
tree3a91cb564a00d027e8ab63c105c5299b4eb50782
parentf3f6b451707a3feb8245717e3fa7ca25df0ce8ef
- the connections between the intermediate language and the "bag"
kernel were missing
- the connections between the intermediate language and the "bag"
kernel are now tail recursive
- the dtd now declares the "level" attribute
- some "assert false" removed in crg
- xml exportation of the data processed by the "bag" kernel is now
available
- the "bag" kernel now uses Entity names rather than identifiers
22 files changed:
helm/software/lambda-delta/.depend.opt
helm/software/lambda-delta/Makefile
helm/software/lambda-delta/Makefile.common
helm/software/lambda-delta/src/basic_ag/Make
helm/software/lambda-delta/src/basic_ag/bag.ml
helm/software/lambda-delta/src/basic_ag/bagCrg.ml
helm/software/lambda-delta/src/basic_ag/bagCrg.mli
helm/software/lambda-delta/src/basic_ag/bagOutput.ml
helm/software/lambda-delta/src/basic_ag/bagOutput.mli
helm/software/lambda-delta/src/basic_ag/bagReduction.ml
helm/software/lambda-delta/src/basic_ag/bagSubstitution.ml
helm/software/lambda-delta/src/basic_ag/bagType.ml
helm/software/lambda-delta/src/basic_rg/brg.ml
helm/software/lambda-delta/src/basic_rg/brgCrg.ml
helm/software/lambda-delta/src/basic_rg/brgOutput.mli
helm/software/lambda-delta/src/common/marks.ml
helm/software/lambda-delta/src/common/marks.mli [new file with mode: 0644]
helm/software/lambda-delta/src/complete_rg/crg.ml
helm/software/lambda-delta/src/complete_rg/crgOutput.ml
helm/software/lambda-delta/src/lib/cps.ml
helm/software/lambda-delta/src/toplevel/top.ml
helm/software/lambda-delta/xml/ld.dtd