| Wed, 21 Sep 2011 22:18:17 +0200 | wenzelm | alternative Socket_Channel; | changeset | files |
| Wed, 21 Sep 2011 20:35:50 +0200 | wenzelm | more abstract wrapping of fifos as System_Channel; | changeset | files |
| Wed, 21 Sep 2011 17:50:25 +0200 | wenzelm | slightly more general Socket_IO as part of Pure; | changeset | files |
| Wed, 21 Sep 2011 16:04:29 +0200 | wenzelm | more hints on Z3 configuration; | changeset | files |
| Wed, 21 Sep 2011 15:08:15 +0200 | wenzelm | reduced default thread stack, to increase the success rate especially on Windows (NB: the actor worker farm tends to produce 100-200 threads for big sessions); | changeset | files |
| Wed, 21 Sep 2011 07:31:08 +0200 | nipkow | renamed inv -> filter | changeset | files |
| Wed, 21 Sep 2011 07:04:04 +0200 | nipkow | Added proofs about narowing | changeset | files |