Sun, 16 Sep 2007 14:52:26 +0200 | wenzelm | added some int constraints (ML_Parse.fix_ints not active here); | file | diff | annotate |
Thu, 09 Aug 2007 23:53:49 +0200 | wenzelm | schedule: more precise task model; | file | diff | annotate |
Wed, 01 Aug 2007 16:59:15 +0200 | wenzelm | multithreading trace: int; | file | diff | annotate |
Sun, 29 Jul 2007 17:28:56 +0200 | wenzelm | tuned msg; | file | diff | annotate |
Wed, 25 Jul 2007 22:20:52 +0200 | wenzelm | renamed CRITICAL' to NAMED_CRITICAL; | file | diff | annotate |
Wed, 25 Jul 2007 17:05:48 +0200 | wenzelm | added structure Task; | file | diff | annotate |
Tue, 24 Jul 2007 22:53:48 +0200 | wenzelm | renamed number_of_threads to max_threads; | file | diff | annotate |
Tue, 24 Jul 2007 19:44:31 +0200 | wenzelm | Compatibility file for ML systems without multithreading. | file | diff | annotate |