Releases | Open Source Science

Features: - Aliases for common multi-modal logics (LTL[F,P], CL, HS, RCC8) (#44) - Optimized many-valued operations (FiniteIndexAlgebras and relative structures are now the default version) (#27) Warning: FiniteIndex* types (e.g., FiniteIndexAlgebra) are not supported anymore, as their behavior shifted to Finite* types (e.g., FiniteAlgebra)

Fixes: - Compass logic relations (#45) - Ensured type stability for accessible functions for HS relations (#50) - Updated cirrus.yml with freebsd-family 14.2 (#57)

Ohters: - Substituted @assert occurrences with error() in ManyValuedlogics (#60)

Merged pull requests: - Fixed Compass Logic relations (#46) (@alberto-paparella) - Removed unused constructor (#49) (@alberto-paparella) - Ensured type stability for accessible function for interval temporal relations (#51) (@alberto-paparella) - Revert "Ensured type stability for accessible function for interval temporal relations" (#52) (@alberto-paparella) - Ensured type stability for accessible function for interval temporal relations (#53) (@alberto-paparella) - Changed accessible function for IntervalLengthFilter to fix tests (#54) (@alberto-paparella) - Added constructor for FullDimensionalFrame (#55) (@alberto-paparella) - Added aliases for LTL[F,P], CL, HS and LRCC8Rec relations and tests (#56) (@alberto-paparella) - Changed freebsd imagefamily in .cirrus.ylm (#58) (@alberto-paparella) - Adding back accessible functions for IAO, IADi and IA_Oi (#59) (@alberto-paparella) - Optimize many valued operations (#61) (@alberto-paparella) - Substituted @assert occurrences with error() in ManyValuedLogics (#62) (@alberto-paparella) - Removed leftovers from FiniteIndex* (now default behaviour) (#64) (@alberto-paparella) - Bump new version (#66) (@alberto-paparella)

Closed issues: - Optimize many-valued operations (#27) - FullDimensionalFrame constructor misusing Vararg (#42) - SoleReasoners decoupling (#43) - Multi-Modal Logics: LTL[F,P], CL, HS, LRCC8 (#44) - Fix Compass Logic relations (#45) - Ensure type stability for accessible for HS relations (#50) - Cirrus CI not working (#57) - Substitute @assert occurrences with error in ManyValuedLogics (#60) - Remove old code (#63) - SoleLogics.jl v0.13.0 (#65)

- Julia
Published by github-actions[bot] 12 months ago

https://github.com/aclai-lab/solelogics.jl - v0.12.0

SoleLogics v0.12.0

Diff since v0.11.0

Breaking changes

normalize may have changed behavior, although tests show otherwise
syntaxstring adopts a different approach to parenthesize_atoms

- Julia
Published by github-actions[bot] about 1 year ago

https://github.com/aclai-lab/solelogics.jl - v0.11.0

SoleLogics v0.11.0

Diff since v0.10.4

Merged pull requests: - Many valued logics (#39) (@alberto-paparella) - Added simplify for mixed Finite(Index)Truth and BooleanTruth tuples; … (#40) (@alberto-paparella)

- Julia
Published by github-actions[bot] about 1 year ago

https://github.com/aclai-lab/solelogics.jl - v0.10.4

SoleLogics v0.10.4

Diff since v0.10.3

- Julia
Published by github-actions[bot] over 1 year ago

https://github.com/aclai-lab/solelogics.jl - v0.10.3

SoleLogics v0.10.3

Diff since v0.10.2

Closed issues: - Formula "normalization" (#1)

- Julia
Published by github-actions[bot] over 1 year ago

https://github.com/aclai-lab/solelogics.jl - v0.10.2

SoleLogics v0.10.2

Diff since v0.10.1

- Julia
Published by github-actions[bot] over 1 year ago

https://github.com/aclai-lab/solelogics.jl - v0.10.1

SoleLogics v0.10.1

Diff since v0.10.0

Merged pull requests: - CompatHelper: bump compat for Dictionaries to 0.4, (keep existing compat) (#28) (@github-actions[bot]) - Dev marco (#29) (@Perro2110) - Added documentation and minor fixes to propositional-logic.jl (#33) (@Michele21) - syntax-utils (#38) (@PasoStudio73)

- Julia
Published by github-actions[bot] over 1 year ago

https://github.com/aclai-lab/solelogics.jl - v0.10.0

SoleLogics v0.10.0

Diff since v0.9.5

Merged pull requests: - Separate interpretation sets (#30) (@giopaglia) - Refactor random.jl in generator/formula.jl and generator/random.jl (#31) (@mauro-milella) - + utils/syntactical.jl & removed <:AbstractAlphabet from utils/syntac… (#35) (@edo-007) - Divided modal-logics.jl and algebras folder (and relative subfolders) into types and utils folders. WARNING: 5 tests fail in test/generation/formulas.jl (see description). (#37) (@alberto-paparella)

- Julia
Published by github-actions[bot] over 1 year ago

https://github.com/aclai-lab/solelogics.jl - v0.9.5

SoleLogics v0.9.5

Diff since v0.9.4

- Julia
Published by github-actions[bot] over 1 year ago

https://github.com/aclai-lab/solelogics.jl - v0.9.4

SoleLogics v0.9.4

Diff since v0.9.3

- Julia
Published by github-actions[bot] over 1 year ago

https://github.com/aclai-lab/solelogics.jl - v0.9.3

SoleLogics v0.9.3

Diff since v0.9.2

- Julia
Published by github-actions[bot] over 1 year ago

https://github.com/aclai-lab/solelogics.jl - v0.9.2

SoleLogics v0.9.2

Diff since v0.9.1

- Julia
Published by github-actions[bot] over 1 year ago

https://github.com/aclai-lab/solelogics.jl - v0.9.1

SoleLogics v0.9.1

Diff since v0.9.0

- Julia
Published by github-actions[bot] over 1 year ago

https://github.com/aclai-lab/solelogics.jl - v0.9.0

SoleLogics v0.9.0

Diff since v0.8.3

Major speedup with SyntaxBranch (now free of type parameters).
- Add randatom, natoms.
- Improved interface for UnionAlphabet.
- Fix bugs with LeftmostConjuctiveForm.
- Fix bugs with ManyValuedLogics order utilities.

- Julia
Published by github-actions[bot] over 1 year ago

https://github.com/aclai-lab/solelogics.jl - v0.8.3

SoleLogics v0.8.3

Diff since v0.8.2

Minor fixes

- Julia
Published by github-actions[bot] almost 2 years ago

https://github.com/aclai-lab/solelogics.jl - v0.8.2

SoleLogics v0.8.2

Diff since v0.8.1

Added common multi-valued algebras
Minor fixes

- Julia
Published by github-actions[bot] almost 2 years ago

https://github.com/aclai-lab/solelogics.jl - v0.8.1

SoleLogics v0.8.1

Diff since v0.8.0

- Julia
Published by github-actions[bot] almost 2 years ago

https://github.com/aclai-lab/solelogics.jl - v0.8.0

SoleLogics v0.8.0

Diff since v0.7.0

Many-valued logics
Filtered relations
Fix syntax utils

- Julia
Published by github-actions[bot] almost 2 years ago

https://github.com/aclai-lab/solelogics.jl - v0.7.0

SoleLogics v0.7.0

Diff since v0.6.14

- Julia
Published by github-actions[bot] about 2 years ago

https://github.com/aclai-lab/solelogics.jl - v0.6.14

SoleLogics v0.6.14

Diff since v0.6.13

- Julia
Published by github-actions[bot] about 2 years ago

https://github.com/aclai-lab/solelogics.jl - v0.6.13

SoleLogics v0.6.13

Diff since v0.6.12

- Julia
Published by github-actions[bot] about 2 years ago

https://github.com/aclai-lab/solelogics.jl - v0.6.12

SoleLogics v0.6.12

Diff since v0.6.11

- Julia
Published by github-actions[bot] about 2 years ago

https://github.com/aclai-lab/solelogics.jl - v0.6.11

SoleLogics v0.6.11

Diff since v0.6.10

- Julia
Published by github-actions[bot] about 2 years ago

https://github.com/aclai-lab/solelogics.jl - v0.6.10

SoleLogics v0.6.10

Diff since v0.6.9

- Julia
Published by github-actions[bot] about 2 years ago

https://github.com/aclai-lab/solelogics.jl - v0.6.9

SoleLogics v0.6.9

Diff since v0.6.8

- Julia
Published by github-actions[bot] about 2 years ago

https://github.com/aclai-lab/solelogics.jl - v0.6.8

SoleLogics v0.6.8

Diff since v0.6.7

Merged pull requests: - Mauro/type hierarchy (#22) (@mauro-milella)

- Julia
Published by github-actions[bot] about 2 years ago