Walther Neuper <neuper@ist.tugraz.at> [Sat, 19 Mar 2011 15:18:10 +0100] rev 41942
tuned
Mathias Lehnfeld <bonzai@inode.at> [Sat, 19 Mar 2011 15:09:19 +0100] rev 41941
changes only for testing
Walther Neuper <neuper@ist.tugraz.at> [Sat, 19 Mar 2011 15:03:36 +0100] rev 41940
intermed. usecase Diophant: usecase1 shifted into test/../mathengine.sml
Walther Neuper <neuper@ist.tugraz.at> [Sat, 19 Mar 2011 14:27:29 +0100] rev 41939
tuned
Walther Neuper <neuper@ist.tugraz.at> [Sat, 19 Mar 2011 13:06:19 +0100] rev 41938
intermed. usecase Diophant: usecase1 finished in Test_Isac.thy
found, that test/../ctree.sml: x+1=2 broken
at start of program interpretation.
Walther Neuper <neuper@ist.tugraz.at> [Fri, 18 Mar 2011 18:27:10 +0100] rev 41937
intermed. usecase Diophant: 2 steps decomposed
Walther Neuper <neuper@ist.tugraz.at> [Fri, 18 Mar 2011 17:24:56 +0100] rev 41936
intermed. usecase Diophant
Walther Neuper <neuper@ist.tugraz.at> [Fri, 18 Mar 2011 12:42:28 +0100] rev 41935
intermed. usecase Diophant: build, tests OK
Walther Neuper <neuper@ist.tugraz.at> [Fri, 18 Mar 2011 12:33:12 +0100] rev 41934
intermed. usecase Diophant: change usecase inttype
found only one working '= me' in test/../calculate.sml
and adjusted usecase to this test.
Test_Isac.thy worked !before! build
Walther Neuper <neuper@ist.tugraz.at> [Fri, 18 Mar 2011 09:26:03 +0100] rev 41933
intermed. usecase Diophant
located error with int in '= me' at first step specifying
fun is_known