| Wed, 14 Jan 2015 01:42:36 +0100 | blanchet | don't minimize chained facts -- this leads to subtle failures, e.g. if a method succeeds without a chained fact but fails with it | changeset | files |
| Tue, 13 Jan 2015 20:01:48 +0100 | hoelzl | NEWS | changeset | files |
| Tue, 13 Jan 2015 19:10:36 +0100 | hoelzl | measurability prover: removed app splitting, replaced by more powerful destruction rules | changeset | files |
| Sun, 11 Jan 2015 21:06:47 +0100 | wenzelm | tuned warnings: observe Context_Position.is_visible; | changeset | files |
| Sun, 11 Jan 2015 20:45:03 +0100 | wenzelm | removed unused/non-portable with_tmp_fifo; | changeset | files |
| Sun, 11 Jan 2015 20:40:14 +0100 | wenzelm | discontinued fifo channel, always use portable socket; | changeset | files |