Major changes More features in the CLI (0da5f26): new check subcommand (starts an Isabelle process and immediately terminates it again) custom ISABELLE_HOME for situations in which it should not be downloaded custom resource dump pat
LislPisl/Bifurcations: First release of BifurcationsLislPisl/Bifurcations: First release of Bifurcat...
ChainRules v0.8.4 Diff since v0.8.3 Merged pull requests: fix lu deprecation warnings on Julia nigh...
Release 1.5.1 (14.02.2023) Bug Fixes Delete removed libxc functional from Serenit
Major changes additional command line arguments are passed to Isabelle/jEdit (21f2bb4) downgrade m...
Major changes downloading and untarring is a blocking operation, there is no point wrapping this in...
Major changes more consistent CLI options (f909904) Scala 2.12 (c878935) Minor changes correctly ...
Minor changes running Programs now results in CancelableFuture (ef94067) operations for pure.Typ (b...
Major changes Improved error handling: ping system after bootup (#58, #28) this will detect whether...
Isabelle/HOL files for the paper "Mechanised Operational Reasoning for C11 Programs with Relaxed Dep...
This version adds checks on each function before returningIf you use this software, please cite it a...
new features: autodeclare mode introduced (as in FoLiApy) folialint by default doesn't autodeclare....
Maintenance release: long options --help and --version added fix in LineBreak: text() generates a ...
Isabelle HOL files for the paper "Verification of Read-Copy Update under RC11". The submission inclu...
This repository is deprecated, the new version can be found in: https://github.com/JuanmaCopia/spf-p...
fixed a terrible typo/bug in subclasses.cxx: using el-referable(), where el->referable() was meant ...
LislPisl/Bifurcations: First release of BifurcationsLislPisl/Bifurcations: First release of Bifurcat...
ChainRules v0.8.4 Diff since v0.8.3 Merged pull requests: fix lu deprecation warnings on Julia nigh...
Release 1.5.1 (14.02.2023) Bug Fixes Delete removed libxc functional from Serenit
Major changes additional command line arguments are passed to Isabelle/jEdit (21f2bb4) downgrade m...
Major changes downloading and untarring is a blocking operation, there is no point wrapping this in...
Major changes more consistent CLI options (f909904) Scala 2.12 (c878935) Minor changes correctly ...
Minor changes running Programs now results in CancelableFuture (ef94067) operations for pure.Typ (b...
Major changes Improved error handling: ping system after bootup (#58, #28) this will detect whether...
Isabelle/HOL files for the paper "Mechanised Operational Reasoning for C11 Programs with Relaxed Dep...
This version adds checks on each function before returningIf you use this software, please cite it a...
new features: autodeclare mode introduced (as in FoLiApy) folialint by default doesn't autodeclare....
Maintenance release: long options --help and --version added fix in LineBreak: text() generates a ...
Isabelle HOL files for the paper "Verification of Read-Copy Update under RC11". The submission inclu...
This repository is deprecated, the new version can be found in: https://github.com/JuanmaCopia/spf-p...
fixed a terrible typo/bug in subclasses.cxx: using el-referable(), where el->referable() was meant ...
LislPisl/Bifurcations: First release of BifurcationsLislPisl/Bifurcations: First release of Bifurcat...
ChainRules v0.8.4 Diff since v0.8.3 Merged pull requests: fix lu deprecation warnings on Julia nigh...
Release 1.5.1 (14.02.2023) Bug Fixes Delete removed libxc functional from Serenit
DOI
Add to ORKG