]> matita.cs.unibo.it Git - helm.git/commit
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
treebb2f58d0a8c49145a4a46a4f3b37402a7dc0dc09
parent2d3d1750a0012ebc45f97d0000c01141623fc634
Added the benchmark with the new demodulation function.
helm/software/components/binaries/matitaprover/benchmarks/andrea_log090729 [new file with mode: 0644]