Major changes Improved error handling: ping system after bootup (#58, #28) this will detect whether or not the protocol theories are included in the session previously, starting a system with missing theories resulted in hanging futures invoking missing operations fails gracefully (6585d5a) previously, this would result in hanging future
LislPisl/Bifurcations: First release of BifurcationsLislPisl/Bifurcations: First release of Bifurcat...
This release teaches Hypothesis to distinguish between errors based on the cause or context of other...
Package updates Fixed a joining bug for additional datasets that was removing all new data. Fixed a...
Minor changes running Programs now results in CancelableFuture (ef94067) operations for pure.Typ (b...
Major changes More features in the CLI (0da5f26): new check subcommand (starts an Isabelle proce...
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 ...
Major changes additional command line arguments are passed to Isabelle/jEdit (21f2bb4) downgrade m...
Changes This is a bug fix release. We closed a total of 32 issues (enhancements and bug fixes) throu...
What's Changed Feat/remove unused deps by @sanjayankur31 in https://github.com/NeuralEnsemble/libNe...
The Lewis structure module could crash because it use the variable lneighbors before it was set. Thi...
Changes Version 4.1.0 (2019-07-01) We closed a total of 45 issues (enhancements and bug fixes) throu...
This patch fixes a bug where errors in third-party extensions such as hypothesis-trio or hypothesis-...
News for version 3.20.5 Fixed memory leaks in imported aws signing code. Bug in MDS in which LMT was...
Changelog: Update libampl to 2.0.10-20220627. Disable options times and gentimes during internal op...
LislPisl/Bifurcations: First release of BifurcationsLislPisl/Bifurcations: First release of Bifurcat...
This release teaches Hypothesis to distinguish between errors based on the cause or context of other...
Package updates Fixed a joining bug for additional datasets that was removing all new data. Fixed a...
Minor changes running Programs now results in CancelableFuture (ef94067) operations for pure.Typ (b...
Major changes More features in the CLI (0da5f26): new check subcommand (starts an Isabelle proce...
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 ...
Major changes additional command line arguments are passed to Isabelle/jEdit (21f2bb4) downgrade m...
Changes This is a bug fix release. We closed a total of 32 issues (enhancements and bug fixes) throu...
What's Changed Feat/remove unused deps by @sanjayankur31 in https://github.com/NeuralEnsemble/libNe...
The Lewis structure module could crash because it use the variable lneighbors before it was set. Thi...
Changes Version 4.1.0 (2019-07-01) We closed a total of 45 issues (enhancements and bug fixes) throu...
This patch fixes a bug where errors in third-party extensions such as hypothesis-trio or hypothesis-...
News for version 3.20.5 Fixed memory leaks in imported aws signing code. Bug in MDS in which LMT was...
Changelog: Update libampl to 2.0.10-20220627. Disable options times and gentimes during internal op...
LislPisl/Bifurcations: First release of BifurcationsLislPisl/Bifurcations: First release of Bifurcat...
This release teaches Hypothesis to distinguish between errors based on the cause or context of other...
Package updates Fixed a joining bug for additional datasets that was removing all new data. Fixed a...
DOI
Add to ORKG