]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5419135) | patch
- siimplifified RTM (one register less) now counts x-steps.
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 10 Jun 2015 17:43:28 +0000 (17:43 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 10 Jun 2015 17:43:28 +0000 (17:43 +0000)
commitc2a2ecf1a9d02b03b9e840e01128632663e5d8a5
treebc5d3860b6d32f07bed73e53ca6f91d2f03deb44tree | snapshot
parent54191356ed05e187754076ebf5aa30d9dd6f213dcommit | diff
- siimplifified RTM (one register less) now counts x-steps.
  We follow our Prolog implementation more closely.

- Two bugs detected. One solved, the other does not affect the
  Grundlagen.
15 files changed:
helm/software/helena/Makefile diff | blob | history
helm/software/helena/elpi/elpi.template [new file with mode: 0644] blob
helm/software/helena/src/basic_rg/brg.ml diff | blob | history
helm/software/helena/src/basic_rg/brgCrg.ml diff | blob | history
helm/software/helena/src/basic_rg/brgELPI.ml diff | blob | history
helm/software/helena/src/basic_rg/brgGallina.ml diff | blob | history
helm/software/helena/src/basic_rg/brgGrafite.ml diff | blob | history
helm/software/helena/src/basic_rg/brgOutput.ml diff | blob | history
helm/software/helena/src/basic_rg/brgReduction.ml diff | blob | history
helm/software/helena/src/basic_rg/brgSubstitution.ml diff | blob | history
helm/software/helena/src/basic_rg/brgType.ml diff | blob | history
helm/software/helena/src/basic_rg/brgValidity.ml diff | blob | history
helm/software/helena/src/common/options.ml diff | blob | history
helm/software/helena/src/common/output.ml diff | blob | history
helm/software/helena/src/common/output.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.