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 -50 -30 +30 +50 +100 +300 +1000 tip

more thorough expose_interrupt: always reset "break" state, regardless of pending interrupt;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
proper parallel build tasks;
15 months ago, by wenzelm
more Haskell tests on macOS;
15 months ago, by wenzelm
more NEWS;
15 months ago, by wenzelm
disable naproche component for now: to be updated before the next Isabelle release;
15 months ago, by wenzelm
updated to stack-2.13.1: include arm64-darwin, although it does not quite work yet (e.g. session "Haskell");
15 months ago, by wenzelm
more NEWS;
15 months ago, by wenzelm
tuned structure;
15 months ago, by wenzelm
update platforms: discontinue macOS 10.13 High Sierra, macOS 10.14 Mojave, macOS 10.15 Catalina;
15 months ago, by wenzelm
updated to official release of polyml-5.9.1, based on Ubuntu 18.04 LTS and macOS 11 Big Sur;
15 months ago, by wenzelm
proper options for macOS 11 Big Sur;
15 months ago, by wenzelm
support for official release of polyml-5.9.1;
15 months ago, by wenzelm
updated Linux baseline to Ubuntu 18.04;
15 months ago, by wenzelm
support for macOS 14 Sonoma (only for testing);
15 months ago, by wenzelm
more platform tests: initial support for macOS 14 Sonoma;
15 months ago, by wenzelm
updated to gmp-6.3.0, for the sake of macOS 14 Sonoma;
15 months ago, by wenzelm
merged
15 months ago, by wenzelm
prefer Exn.result: avoid accidental capture of interrupts, similar to ML;
15 months ago, by wenzelm
clarified user errors vs. failures, e.g. java.lang.StackOverflowError;
15 months ago, by wenzelm
further clarification of Exn.is_interrupt_proper vs. overall Exn.is_interrupt;
15 months ago, by wenzelm
proper Exn.capture with check_interrupt (amending a3dcae9a2ebe);
15 months ago, by wenzelm
distinguish proper interrupts from Poly/ML RTS breakdown;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
proper Isabelle_Thread.try_catch;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
proper Exn.capture / Isabelle_Thread.try_catch;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
clarified signature;
15 months ago, by wenzelm

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

isabelle