Releases: JuliaReach/ControllerFormats.jl
Releases · JuliaReach/ControllerFormats.jl
v0.2.4
v0.2.3
ControllerFormats v0.2.3
Merged pull requests:
v0.2.2
ControllerFormats v0.2.2
Merged pull requests:
v0.2.1
ControllerFormats v0.2.1
Merged pull requests:
- Automatic JuliaFormatter.jl run (#22) (@github-actions[bot])
- Bump actions/checkout from 3 to 4 (#23) (@dependabot[bot])
- Support/use Documenter v1 (#24) (@schillic)
- Spell checker (#25) (@schillic)
- Add logo (#26) (@schillic)
- Increase test coverage (#27) (@schillic)
- Automatic JuliaFormatter.jl run (#28) (@github-actions[bot])
- Revise CI scripts (#31) (@schillic)
- Run Aqua in tests (#32) (@schillic)
- Add Aqua badge and fix Codecov (#33) (@schillic)
- Remove unused variables (#34) (@schillic)
- Refactor test to separate file (#35) (@schillic)
- Test invalid format in POLAR parser (#36) (@schillic)
- Bump julia-actions/setup-julia from 1 to 2 (#37) (@dependabot[bot])
- Add logsig as alias for sigmoid activation (#38) (@schillic)
v0.2.0
ControllerFormats v0.2.0
Merged pull requests:
- Format code (#4) (@schillic)
- Change formatter rule and format test code (#5) (@schillic)
- Auto-format script (#6) (@schillic)
- Conversion from Flux networks (#7) (@schillic)
- Add layers method requirement and basic utility methods (#8) (@schillic)
- Output writer for NNet format (#9) (@schillic)
- POLAR format: output writer & fix in parser (end pattern) (#10) (@schillic)
- Approximate equality test (#11) (@schillic)
- Un-export dim (#12) (@schillic)
- Reorder internal function arguments (#13) (@schillic)
- Add LeakyReLU activation (#14) (@schillic)
- Consistent number type for network parsers (#15) (@schillic)
- Use constant activation instances (#16) (@schillic)
- Better printing of networks (#17) (@schillic)
- Update to ReachabilityBase v0.2 (#20) (@schillic)
- Add tests (#21) (@schillic)