Changes in this version of lfsc:

  • Check side condition return type
  • Fix error checking for ifequal
  • Fix parsing of identifiers at head of application
  • Fix cannot open file "stdin" message
  • Expand definitions for arithmetic terms in side conditions
  • Catch case of too few arguments
  • Disallow extended characters in identifiers
  • Avoid non-termination for nested match patterns

The cvc4 update fixes an incorrect return type in a proof file.

How to install

sudo dnf upgrade --advisory=FEDORA-2019-fa9ab8200e

This update has been submitted for testing by jjames.

2 years ago

This update's test gating status has been changed to 'waiting'.

2 years ago

This update's test gating status has been changed to 'ignored'.

2 years ago

This update has been pushed to testing.

2 years ago

jjames edited this update.

New build(s):

  • cvc4-1.7-6.fc31

Karma has been reset.

2 years ago

This update has been submitted for testing by jjames.

2 years ago

This update has been pushed to testing.

2 years ago

This update's test gating status has been changed to 'greenwave_failed'.

2 years ago

This update's test gating status has been changed to 'ignored'.

2 years ago

This update can be pushed to stable now if the maintainer wishes

2 years ago

This update has been submitted for stable by jjames.

2 years ago

This update has been pushed to stable.

2 years ago

Please login to add feedback.

Metadata
Type
bugfix
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
7 days
Dates
submitted
2 years ago
in testing
2 years ago
in stable
2 years ago
modified
2 years ago

Automated Test Results