Changes in gappa 1.2.0: * fact database - improved handling of powers of two in mul_flt - fixed incorrect computation of the order-3 term of the relative error for division - added rewriting rules for emulating reverse propagation * proof graph - improved proof simplification * proof paths - improved performances by avoiding some absolute values - improved detection of approximate/exact pairs of expressions
Changes in gappalib-coq 1.1.0: - moved to Flocq 2.4 - added support for Gappa 1.2.0
Changes in why3 0.86.1: - improved task highlighting for negated premises (contributed by Mikhail Mandrykin, AstraVer project)
Frama-c and why were merely rebuilt due to the other changes.
Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:
sudo dnf upgrade --refresh --advisory=FEDORA-2015-10662Please login to add feedback.
This update has been submitted for testing by jjames.
Taskotron: depcheck test PASSED on i386. Result log: https://taskotron.fedoraproject.org/taskmaster//builders/x86_64/builds/100031/steps/runtask/logs/stdio (results are informative only)
Taskotron: depcheck test PASSED on x86_64. Result log: https://taskotron.fedoraproject.org/taskmaster//builders/x86_64/builds/100031/steps/runtask/logs/stdio (results are informative only)
This update is currently being pushed to the Fedora 22 testing updates repository.
This update has been pushed to testing
This update has reached 7 days in testing and can be pushed to stable now if the maintainer wishes
This update has been submitted for stable by jjames.
Taskotron: upgradepath test PASSED on noarch. Result log: https://taskotron.fedoraproject.org/taskmaster//builders/x86_64/builds/102687/steps/runtask/logs/stdio (results are informative only)
This update is currently being pushed to the Fedora 22 stable updates repository.
This update has been pushed to stable