isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 +3000 +10000 +30000 tip

added Multithreading.interrupted (cf. java.lang.Thread.interrupted);
2011-02-08, by wenzelm
more robust TimeLimit: make double sure that watchdog has terminated and interrupts received during uninterruptible state are propagated (NB: Thread.testInterrupt requires InterruptSynch in Poly/ML 5.4.0 or earlier);
2011-02-07, by wenzelm
more tracing information via Par_List.map_name;
2011-02-05, by wenzelm
clarified bootstrapping of structure TimeLimit;
2011-02-05, by wenzelm
more scalable collections of tasks, notably for totality of known group members;
2011-02-04, by wenzelm
tuned signature;
2011-02-04, by wenzelm
merged
2011-02-04, by wenzelm
prefer p2e before e2p; use measure_unique_Int_stable_vimage;
2011-02-04, by hoelzl
add auto support for AE_mp
2011-02-04, by hoelzl
add borel_fubini_integrable; remove unused bijectivity rules for measureable functions
2011-02-04, by hoelzl
parallelization of nested Isar proofs is subject to Goal.parallel_proofs_threshold;
2011-02-04, by wenzelm
Task_Queue.update_timing: more precise treatment of interruptibility;
2011-02-04, by wenzelm
Lazy.force_result: more standard treatment of interruptibility, potentially addressing races of exceptions vs. interrupts;
2011-02-04, by wenzelm
thm_proof: visible fulfill_body only, without joining nested thms -- retain proof irrelevance, which is important for parallel performance;
2011-02-03, by wenzelm
tuned comments;
2011-02-03, by wenzelm
clarified Proofterm.proofs_enabled;
2011-02-03, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle