| Mon, 16 Sep 2013 12:27:20 +0200 |
review of examples for non-termination of rls norm_Rational
|
file | diff | annotate |
| Mon, 16 Sep 2013 12:20:00 +0200 |
Test_Isac works again, perfectly ..
|
file | diff | annotate |
| Fri, 13 Sep 2013 18:57:11 +0200 |
Test_Theory without session Isac has limitations
|
file | diff | annotate |
| Mon, 02 Sep 2013 16:16:08 +0200 |
Test_Isac works again, almost ..
|
file | diff | annotate |
| Mon, 26 Aug 2013 11:20:41 +0200 |
Test_Isac doesn't work anymore
|
file | diff | annotate |
| Mon, 26 Aug 2013 10:52:54 +0200 |
GCD_Poly_ML: deleted unused code for cancellation and add.of.fract
|
file | diff | annotate |
| Sat, 24 Aug 2013 17:41:40 +0200 |
GCD_Poly_ML: integrated tests, reactivated test/../rational.sml
|
file | diff | annotate |
| Wed, 14 Aug 2013 14:32:18 +0200 |
tuned
|
file | diff | annotate |
| Thu, 25 Jul 2013 07:36:31 +0200 |
restructured files concerning "fun gcd_poly"
|
file | diff | annotate |
| Sun, 21 Jul 2013 15:11:01 +0200 |
merged
|
file | diff | annotate |
| Thu, 18 Jul 2013 14:31:58 +0200 |
tuned
|
file | diff | annotate |
| Sun, 21 Jul 2013 15:08:31 +0200 |
a bulky chunk of changes
|
file | diff | annotate |
| Thu, 18 Jul 2013 14:26:49 +0200 |
GCD_Poly trials with naive Euclidean Algorithm
|
file | diff | annotate |
| Thu, 11 Jul 2013 16:58:31 +0200 |
end of improving tests for isac on Isabelle2012
|
file | diff | annotate |
| Sun, 30 Jun 2013 17:27:34 +0200 |
Test_Isac.thy without errors on Isabelle2012, calchead.sml:
|
file | diff | annotate |
| Fri, 21 Jun 2013 11:19:18 +0200 |
Test_Isac.thy without errors on Isabelle2012, intermediate
|
file | diff | annotate |
| Fri, 21 Jun 2013 08:06:16 +0200 |
plans for isac's transitions Isabelle2011-->12 in more detail; errors in tests
|
file | diff | annotate |
| Fri, 21 Jun 2013 06:51:11 +0200 |
irrelevant cleaning
|
file | diff | annotate |
| Tue, 18 Jun 2013 17:56:09 +0200 |
tuned
|
file | diff | annotate |
| Tue, 18 Jun 2013 17:51:36 +0200 |
Test_Isac.thy started in Isabelle2012
|
file | diff | annotate |
| Sun, 16 Jun 2013 13:18:10 +0200 |
tuned
|
file | diff | annotate |
| Sun, 16 Jun 2013 13:10:32 +0200 |
Isabelle2011 --> 2012 intermediate: find appropriate Isac binary
|
file | diff | annotate |
| Thu, 24 Jan 2013 17:17:03 +0100 |
GCD_Poly ML-->Isabelle: until fun %-%
|
file | diff | annotate |
| Mon, 06 Aug 2012 16:38:37 +0200 |
added test --- UC errpat, fillpat step to Rewrite_Set ---
|
file | diff | annotate |
| Mon, 06 Aug 2012 10:38:11 +0200 |
PROVISIONALLY MADE TESTS RUN with Unsynchronized.ref
|
file | diff | annotate |
| Tue, 31 Jul 2012 15:16:47 +0200 |
prepared for fun stepToErrorPatterns
|
file | diff | annotate |
| Wed, 16 May 2012 15:47:22 +0200 |
extended "type met" with errpats
|
file | diff | annotate |
| Fri, 04 May 2012 17:33:31 +0200 |
prep met ["SignalProcessing", "Z_Transform", "Inverse_sub"]
|
file | diff | annotate |
| Fri, 04 May 2012 08:51:42 +0200 |
made 3 exps SignalProcessing run
|
file | diff | annotate |
| Tue, 10 Apr 2012 09:31:21 +0200 |
xml-files created from Knowledge (Isabelle2002 --> 2011)
|
file | diff | annotate |
| Thu, 05 Apr 2012 11:31:56 +0200 |
thydata created (Isabelle2002 --> 2011)
|
file | diff | annotate |
| Tue, 20 Mar 2012 15:32:17 +0100 |
intermed. fun the_hier, build thy-hierarchy
|
file | diff | annotate |
| Sat, 17 Mar 2012 13:43:24 +0100 |
tuned
|
file | diff | annotate |
| Sat, 17 Mar 2012 13:33:25 +0100 |
uncomment test/../simplify,atools.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
| Sat, 17 Mar 2012 12:52:30 +0100 |
uncomment test/../root,equation,poly.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
| Sat, 17 Mar 2012 11:06:46 +0100 |
uncomment test/../rateq.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
| Wed, 14 Mar 2012 17:12:43 +0100 |
uncomment test/../rootrateq.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
| Wed, 14 Mar 2012 11:11:54 +0100 |
Test_Isac.thy had ad typo.
|
file | diff | annotate |
| Wed, 14 Mar 2012 10:59:36 +0100 |
uncomment test/../eqsystem.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
| Tue, 13 Mar 2012 15:04:09 +0100 |
uncomment test/../ptyps.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
| Sat, 10 Mar 2012 09:41:09 +0100 |
uncomment test/../biegelinie (Isabelle 2002 --> 2011)
|
file | diff | annotate |
| Tue, 06 Mar 2012 14:25:08 +0100 |
intermed. test/../biegelinie.sml
|
file | diff | annotate |
| Sun, 19 Feb 2012 10:03:51 +0100 |
protocol dmeindl, decomment Test_Isac
|
file | diff | annotate |
| Sat, 07 Jan 2012 10:06:06 +0100 |
invisible changes in calculations are possible now.
|
file | diff | annotate |
| Fri, 14 Oct 2011 16:12:50 +0200 |
begin repair test/../intergrate.sml
|
file | diff | annotate |
| Fri, 14 Oct 2011 14:33:25 +0200 |
end repair test/../polyeq.sml
|
file | diff | annotate |
| Fri, 23 Sep 2011 16:22:11 +0200 |
partial fractions intermed.
|
file | diff | annotate |
| Thu, 22 Sep 2011 14:43:47 +0200 |
moved latex for Inverse_Z_Transform to ADDTESTS
|
file | diff | annotate |
| Wed, 07 Sep 2011 10:07:13 +0200 |
intermed. pqformula for Z-transform
|
file | diff | annotate |
| Thu, 28 Jul 2011 11:45:11 +0200 |
tuned
|
file | diff | annotate |
| Thu, 28 Jul 2011 11:37:05 +0200 |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
|
file | diff | annotate |
| Thu, 28 Jul 2011 11:27:04 +0200 |
completed praktikum
|
file | diff | annotate |
| Thu, 28 Jul 2011 10:58:17 +0200 |
tuned
|
file | diff | annotate |
| Wed, 27 Jul 2011 13:04:57 +0200 |
intermed: uncommented tests
|
file | diff | annotate |
| Tue, 26 Jul 2011 16:50:27 +0200 |
tuned
|
file | diff | annotate |
| Tue, 26 Jul 2011 13:30:37 +0200 |
tuned
|
file | diff | annotate |
| Tue, 26 Jul 2011 09:10:01 +0200 |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
|
file | diff | annotate |
| Tue, 26 Jul 2011 09:09:49 +0200 |
intermed: uncommented tests, updated protocoll
|
file | diff | annotate |
| Mon, 25 Jul 2011 17:44:19 +0200 |
intermed. updated test + Test_Z_Transform.thy etc
|
file | diff | annotate |
| Mon, 25 Jul 2011 14:19:50 +0200 |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
|
file | diff | annotate |