Skip to content

v0.10.0
Compare
Choose a tag to compare
@github-actions github-actions released this 25 Oct 14:51
· 110 commits to main since this release
v0.10.0
31961d3

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)

Contributors

giopaglia, mauro-milella, and 2 other contributors
Assets 2
Loading