matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 1 Oct 2008 12:41:32 +0000 (12:41 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 1 Oct 2008 12:41:32 +0000 (12:41 +0000)
commit	55e5bef77f163b29feeb9ad4e83376c5aa301297
tree	c475748abc90f122e013a7274c582c4b87300829	tree \| snapshot
parent	5061952d0632ba8bc77be5cab11fab2f36e1e26f	commit \| diff

- setters for data structures now support "commuting conversion"-like
operations w.r.t. getters
- several axioms have now been proved
- new file env_to_flatenv1 showing an alternative representation of the
environment

13 files changed:

helm/software/matita/contribs/assembly/compiler/ast_to_astfe.ma		diff \| blob \| history
helm/software/matita/contribs/assembly/compiler/ast_type.ma		diff \| blob \| history
helm/software/matita/contribs/assembly/compiler/env_to_flatenv.ma		diff \| blob \| history
helm/software/matita/contribs/assembly/compiler/env_to_flatenv1.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/assembly/compiler/environment.ma		diff \| blob \| history
helm/software/matita/contribs/assembly/compiler/preast_to_ast.ma		diff \| blob \| history
helm/software/matita/contribs/assembly/compiler/utility.ma		diff \| blob \| history
helm/software/matita/contribs/assembly/freescale/extra.ma		diff \| blob \| history
helm/software/matita/contribs/assembly/freescale/medium_tests.ma		diff \| blob \| history
helm/software/matita/contribs/assembly/freescale/medium_tests_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/assembly/freescale/status.ma		diff \| blob \| history
helm/software/matita/contribs/assembly/string/ascii_min.ma		diff \| blob \| history
helm/software/matita/contribs/assembly/string/string.ma		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom