]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2208a75) | patch
- now esempi/fourier/ is he dir for all fourier extras
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 1 Dec 2002 20:37:14 +0000 (20:37 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 1 Dec 2002 20:37:14 +0000 (20:37 +0000)
commitdd122839ef59652446b521d79e1192cd2e709b00
tree8afd14ffad452a1637cf55d7d5de3a71fb180e3ftree | snapshot
parent2208a75027ccad441dc0778101f57eff9555f8eacommit | diff
- now esempi/fourier/ is he dir for all fourier extras
  - fourier.cic some tests
  - fourier_benchmarks.cic some test computionally interesting
  - fourier_make_benchmarks.ml a simple tool to generate big systems of
    inequations
helm/gTopLevel/esempi/fourier.cic [deleted file] blob | history
helm/gTopLevel/esempi/fourier/fourier.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/fourier/fourier_benchmarks.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/fourier/fourier_make_benchmarks.ml [new file with mode: 0644] blob
helm/gTopLevel/gTopLevel.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.