Skip to content
Compare
Choose a tag to compare

Version 3.0.0

Notable changes

  • Support OSATE 2.10.2 and Java 11
  • Add 'argue' and 'resolint' keywords
    (a09fee)
  • Removed AgreeCheck and AgreeLib to BriefCASE
    (70797f)
  • Add release engineering script for building changelog from issues
    (03d5e5)

Fixed issues

  • Fix type conversion errors in evaluator
    (3bbea7)
  • Add WORKDIR to Dockerfile
    (a43de1)
Compare
Choose a tag to compare

Add AgreeCheck and AgreeLib
Add argue and resolint keywords

Compare
Choose a tag to compare
Compare
Choose a tag to compare

Release to support CASE phase 3 tool assessment

untagged-9b36fe27ad5b866e0c35

ignore case when comparing types
untagged-23de6868eefe91d26e88

background outline tree provider
Pre-release
untagged-4aa12ce61767e2384424

updated to 2.6.1 to support OSATE 2.9
Compare
Choose a tag to compare

This release in intended to support CASE phase-3 development activities and applications.

Enhancements:

  • Support for OSATE v2.8.0
  • Added Feature Group as IdExpr type
Pre-release
untagged-2196af9dbade2c848129

changed restriction to defeater
Compare
Choose a tag to compare

The release adds the following:

  • Support for OSATE v2.7.1
  • AdvoCATE analysis