]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d3d175) | patch
Added the benchmark with the new demodulation function.
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 29 Jul 2009 09:16:39 +0000 (09:16 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 29 Jul 2009 09:16:39 +0000 (09:16 +0000)
commit69f03015a62c9ca2ae7d8a446540e31cc9a6e84c
treebb2f58d0a8c49145a4a46a4f3b37402a7dc0dc09tree | snapshot
parent2d3d1750a0012ebc45f97d0000c01141623fc634commit | diff
Added the benchmark with the new demodulation function.
helm/software/components/binaries/matitaprover/benchmarks/andrea_log090729 [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.