v2.0.1

Full Changelog: v2.0.0...v2.0.1

v2.0.0

What's Changed

• 67 display of computation time seems erroenous by @kevin-delmas in #68
• 65 semantic percentage of itffree error on large numbers by @kevin-delmas in #69
• remove Scenario constructor based on initiator/target associations wi… by @kevin-delmas in #70
• 19 wording for scenario and transaction by @kevin-delmas in #71

Full Changelog: v1.1.2...v2.0.0

v1.1.2

What's Changed

• Solving multiple adds of undirected edges during monosat problem build by @kevin-delmas in #64

Full Changelog: v1.1.1...v1.1.2

PML analyzer 1.1.1

What's Changed

• Fix dynamic library loading on successive analyses by @Gaudeval in #17
• Support non load/store components by @Gaudeval in #16
• 18 add another version of a simpleexample by @kevin-delmas in #21
• Refactor code for compliance to linting by @kevin-delmas in #24
• 20 the pml docker build from the sbt target does not contain the monosat library by @kevin-delmas in #27
• 26 unreachable cycle by @kevin-delmas in #33
• 23 add exclusivity operators by @ccoquand in #28
• 35 enhance graph export by @kevin-delmas in #37
• 36 enable code source traceability by @kevin-delmas in #38
• 12 add exclusivewith for transactions by @ccoquand in #39
• 40 naming composites by @kevin-delmas in #41
• 25 assess pml scalability by @kevin-delmas in #42
• 44 interference calculus on synthetic architecture seems dysfunctional by @kevin-delmas in #50
• 48 ossrh end of life by @kevin-delmas in #51
• 58 add automatic push to central and sonatype by @kevin-delmas in #59
• Demo/2025 industrial committee by @kevin-delmas in #55
• Add possibility to write "Transaction("name",otherTransaction)" by @kevin-delmas in #57
• Add possibility to write "x write Set(a,b)" by @kevin-delmas in #56
• 60 failure of release on central by @kevin-delmas in #61

New Contributors

• @Gaudeval made their first contribution in #17
• @ccoquand made their first contribution in #28

Full Changelog: v1.0.1...v1.1.1

PML library v1.0.1

Merge pull request #4 from onera/testSonatypePublish

New stable version with better package organization, updated copyright, PR template, enhancer README.md and contributing.md

PML library

v1.0.0

initial version of PML Analyzer