Changes in cadical 1.7.2:
--safe disables writing to a file through popen which makes library usage safer.Changes in cadical 1.7.3:
popen approach for compressed file writing with an explicit pipe/fork/exec/waitpid flow and accordingly removed the --safe configuration option again.Changes in kissat 3.1.1:
--safe disables writing through popenSee https://github.com/cvc5/cvc5/releases/tag/cvc5-1.0.6, https://github.com/cvc5/cvc5/releases/tag/cvc5-1.0.7, and https://github.com/cvc5/cvc5/releases/tag/cvc5-1.0.8 for changes in cvc5 1.0.8.
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-2023-63f33ec217Please login to add feedback.
This update has been submitted for testing by jjames.
This update's test gating status has been changed to 'ignored'.
This update has been pushed to testing.
This update has been submitted for stable by bodhi.
This update has been pushed to stable.