# HG changeset patch # User wenzelm # Date 1248896404 -7200 # Node ID 756afe4a909a88b30e63a6a17424f1e430579a7c # Parent b10cbf4d3f55239ee80c5bef7123a628cd393300 proper Jinja-Slicing; diff -r b10cbf4d3f55 -r 756afe4a909a Admin/isatest/isatest-stats --- a/Admin/isatest/isatest-stats Wed Jul 29 19:36:22 2009 +0200 +++ b/Admin/isatest/isatest-stats Wed Jul 29 21:40:04 2009 +0200 @@ -39,6 +39,7 @@ AFP_SESSIONS="\ CoreC++ \ + Jinja-Slicing \ HOL-BytecodeLogicJmlTypes \ HOL-DiskPaxos \ HOL-Fermat3_4 \ @@ -54,7 +55,6 @@ HOL-SATSolverVerification \ HOL-SIFPL \ HOL-SenSocialChoice \ - HOL-Slicing \ HOL-SumSquares \ HOL-Topology \ HOL-Valuation \