Thu, 24 Mar 2011 17:10:23 +0100 merged
haftmann [Thu, 24 Mar 2011 17:10:23 +0100] rev 42097
merged
Thu, 24 Mar 2011 17:10:13 +0100 added subsection on Scala specialities
haftmann [Thu, 24 Mar 2011 17:10:13 +0100] rev 42096
added subsection on Scala specialities
Thu, 24 Mar 2011 16:39:37 +0100 added more judgement day provers
krauss [Thu, 24 Mar 2011 16:39:37 +0100] rev 42095
added more judgement day provers
Thu, 24 Mar 2011 15:29:31 +0100 allowing special set comprehensions in values command; adding an example for special set comprehension in values
bulwahn [Thu, 24 Mar 2011 15:29:31 +0100] rev 42094
allowing special set comprehensions in values command; adding an example for special set comprehension in values
Thu, 24 Mar 2011 10:39:47 +0100 merged
bulwahn [Thu, 24 Mar 2011 10:39:47 +0100] rev 42093
merged
Wed, 23 Mar 2011 08:50:42 +0100 adding documentation about the eval option in quickcheck
bulwahn [Wed, 23 Mar 2011 08:50:42 +0100] rev 42092
adding documentation about the eval option in quickcheck
Wed, 23 Mar 2011 08:50:40 +0100 adapting Quickcheck_Prolog to latest changes
bulwahn [Wed, 23 Mar 2011 08:50:40 +0100] rev 42091
adapting Quickcheck_Prolog to latest changes
Wed, 23 Mar 2011 08:50:39 +0100 changing Quickcheck_Narrowing's main function to enumerate the depth instead upto the depth
bulwahn [Wed, 23 Mar 2011 08:50:39 +0100] rev 42090
changing Quickcheck_Narrowing's main function to enumerate the depth instead upto the depth
Wed, 23 Mar 2011 08:50:32 +0100 adapting mutabelle; exporting more Quickcheck functions
bulwahn [Wed, 23 Mar 2011 08:50:32 +0100] rev 42089
adapting mutabelle; exporting more Quickcheck functions
Wed, 23 Mar 2011 08:50:31 +0100 making quickcheck's result value more formal; allowing more result information to be returned after timeout; adding output of timing information in quickcheck
bulwahn [Wed, 23 Mar 2011 08:50:31 +0100] rev 42088
making quickcheck's result value more formal; allowing more result information to be returned after timeout; adding output of timing information in quickcheck
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip