Commit [2b2d60]  Maximize  Restore  History

New release of performance tests for Seqprover

Test the seqprover with the default auto/post tactic profile.

Note: Should be merge with SMT solver performance tests.

Josselin DOLHEN Josselin DOLHEN 2013-11-20

Laurent Voisin Laurent Voisin 2013-11-20

1 2 > >> (Page 1 of 2)
added _exploratory/jdolhen/org.eventb.seqprover.core.perf.app/.classpath
added _exploratory/jdolhen/org.eventb.seqprover.core.perf.app/.gitignore
added _exploratory/jdolhen/org.eventb.seqprover.core.perf.app/.options
added _exploratory/jdolhen/org.eventb.seqprover.core.perf.app/.project
added _exploratory/jdolhen/org.eventb.seqprover.core.perf.app/.settings/org.eclipse.core.resources.prefs
added _exploratory/jdolhen/org.eventb.seqprover.core.perf.app/.settings/org.eclipse.jdt.core.prefs
added _exploratory/jdolhen/org.eventb.seqprover.core.perf.app/.settings/org.eclipse.jdt.ui.prefs
added _exploratory/jdolhen/org.eventb.seqprover.core.perf.app/.settings/org.eclipse.pde.prefs
added _exploratory/jdolhen/org.eventb.seqprover.core.perf.app/META-INF/MANIFEST.MF
added _exploratory/jdolhen/org.eventb.seqprover.core.perf.app/build.properties
added _exploratory/jdolhen/org.eventb.seqprover.core.perf.app/plugin.properties
added _exploratory/jdolhen/org.eventb.seqprover.core.perf.app/plugin.xml
added _exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/AppPlugin.java
added _exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/Application.java
added _exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/Archivist.java
added _exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/Chrono.java
added _exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/ProjectImporter.java
added _exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/ProofCounter.java
added _exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/TacticTest.java
added _exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/TestRunner.java
added _exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/tactics/MbGoalTacticBUilder.java
added _exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/tactics/MultiTacticBuilder.java
added _exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/tactics/TacticBuilder.java
added _exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/tactics/TacticInserter.java
added _exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/tactics/Tactics.java
_exploratory/jdolhen/org.eventb.seqprover.core.perf.app/.classpath Diff Switch to side-by-side view
Loading...
_exploratory/jdolhen/org.eventb.seqprover.core.perf.app/.gitignore Diff Switch to side-by-side view
Loading...
_exploratory/jdolhen/org.eventb.seqprover.core.perf.app/.options Diff Switch to side-by-side view
Loading...
_exploratory/jdolhen/org.eventb.seqprover.core.perf.app/.project Diff Switch to side-by-side view
Loading...
_exploratory/jdolhen/org.eventb.seqprover.core.perf.app/.settings/org.eclipse.core.resources.prefs Diff Switch to side-by-side view
Loading...
_exploratory/jdolhen/org.eventb.seqprover.core.perf.app/.settings/org.eclipse.jdt.core.prefs Diff Switch to side-by-side view
Loading...
_exploratory/jdolhen/org.eventb.seqprover.core.perf.app/.settings/org.eclipse.jdt.ui.prefs Diff Switch to side-by-side view
Loading...
_exploratory/jdolhen/org.eventb.seqprover.core.perf.app/.settings/org.eclipse.pde.prefs Diff Switch to side-by-side view
Loading...
_exploratory/jdolhen/org.eventb.seqprover.core.perf.app/META-INF/MANIFEST.MF Diff Switch to side-by-side view
Loading...
_exploratory/jdolhen/org.eventb.seqprover.core.perf.app/build.properties Diff Switch to side-by-side view
Loading...
_exploratory/jdolhen/org.eventb.seqprover.core.perf.app/plugin.properties Diff Switch to side-by-side view
Loading...
_exploratory/jdolhen/org.eventb.seqprover.core.perf.app/plugin.xml Diff Switch to side-by-side view
Loading...
_exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/AppPlugin.java Diff Switch to side-by-side view
Loading...
_exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/Application.java Diff Switch to side-by-side view
Loading...
_exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/Archivist.java Diff Switch to side-by-side view
Loading...
_exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/Chrono.java Diff Switch to side-by-side view
Loading...
_exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/ProjectImporter.java Diff Switch to side-by-side view
Loading...
_exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/ProofCounter.java Diff Switch to side-by-side view
Loading...
_exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/TacticTest.java Diff Switch to side-by-side view
Loading...
_exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/TestRunner.java Diff Switch to side-by-side view
Loading...
_exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/tactics/MbGoalTacticBUilder.java Diff Switch to side-by-side view
Loading...
_exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/tactics/MultiTacticBuilder.java Diff Switch to side-by-side view
Loading...
_exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/tactics/TacticBuilder.java Diff Switch to side-by-side view
Loading...
_exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/tactics/TacticInserter.java Diff Switch to side-by-side view
Loading...
_exploratory/jdolhen/org.eventb.seqprover.core.perf.app/src/org/eventb/seqprover/core/perf/app/tactics/Tactics.java Diff Switch to side-by-side view
Loading...
1 2 > >> (Page 1 of 2)

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks