Sun, 18 Sep 2011 15:21:46 +0200 |
dmeindl references
|
file | diff | annotate |
Mon, 05 Sep 2011 11:06:10 +0200 |
begin partial fractions
|
file | diff | annotate |
Tue, 26 Jul 2011 09:09:49 +0200 |
intermed: uncommented tests, updated protocoll
|
file | diff | annotate |
Sat, 21 May 2011 12:52:59 +0200 |
intermed. ctxt .. FINISHED
|
file | diff | annotate |
Sat, 21 May 2011 09:30:36 +0200 |
tuned
|
file | diff | annotate |
Fri, 20 May 2011 16:26:20 +0200 |
tuned
|
file | diff | annotate |
Fri, 20 May 2011 13:43:25 +0200 |
intermed. ctxt ..: generate1..Check_Postcond..(*map str2term asm*)
|
file | diff | annotate |
Fri, 20 May 2011 07:24:18 +0200 |
tuned
|
file | diff | annotate |
Wed, 18 May 2011 16:06:00 +0200 |
tuned
|
file | diff | annotate |
Fri, 13 May 2011 17:19:38 +0200 |
intermed. ctxt ..: x+1=2 now goes until Check_elementwise
|
file | diff | annotate |
Wed, 11 May 2011 14:58:07 +0200 |
intermed. ctxt ..: Add_Given doesnt work due to wrong ctxt in Subproblem
|
file | diff | annotate |
Fri, 06 May 2011 11:18:07 +0200 |
intermed. ctxt ..: cleanup before start with Add_Given
|
file | diff | annotate |
Thu, 05 May 2011 14:21:54 +0200 |
intermed. ctxt over all minisubpbl x+1=2
|
file | diff | annotate |
Thu, 05 May 2011 09:23:32 +0200 |
tuned
|
file | diff | annotate |
Wed, 04 May 2011 14:04:53 +0200 |
tuned
|
file | diff | annotate |
Mon, 18 Apr 2011 15:48:46 +0200 |
tuned
|
file | diff | annotate |
Fri, 15 Apr 2011 17:07:34 +0200 |
intermed. ctxt integration - assumptions now in context
|
file | diff | annotate |
Mon, 04 Apr 2011 11:05:07 +0200 |
intermed. context integration appl_add does not work
|
file | diff | annotate |
Sat, 19 Mar 2011 15:18:10 +0100 |
tuned
|
file | diff | annotate |
Sat, 19 Mar 2011 15:09:19 +0100 |
changes only for testing
|
file | diff | annotate |
Fri, 01 Oct 2010 10:23:38 +0200 |
repaired 'prepat's, the patterns and preconditions for Rrls
|
file | diff | annotate |
Mon, 30 Aug 2010 14:35:51 +0200 |
renamed test/* according to src/*
|
file | diff | annotate | base |