A rich framework for modeling, simulating, and verifying bigraphical reactive systems.
Version2.0.0compared with
Version Details
| 1.1.0 | 2.0.0 | |
|---|---|---|
| Release date | Feb 07, 2024 | Dec 11, 2024 |
| Licenses | Apache 2.0LGPL 2.1 | Apache 2.0LGPL 2.1 |
| Vulnerabilities | None | None |
Managed Changes (12)
| 1.1.0 | 2.0.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| + Added | bighuggies » bisimulation | - | 1.0-SNAPSHOT |
| + Added | org.jgrapht » jgrapht-io | - | 1.5.1 |
| ~ Updated | org.bigraphs.framework » bigraph-converter | 1.1.0 | 2.0.0 |
| ~ Updated | org.bigraphs.framework » bigraph-core | 1.1.0 | 2.0.0 |
| ~ Updated | org.bigraphs.framework » bigraph-simulation | 1.1.0 | 2.0.0 |
| ~ Updated | org.bigraphs.framework » bigraph-visualization | 1.1.0 | 2.0.0 |
| ~ Updated | org.bigraphs.model » bigraph-ecore-model | 1.6.1-SNAPSHOT | 2.0.0 |
| ~ Updated | org.eclipse.emf » org.eclipse.emf.common | 2.23.0 | 2.40.0 |
| ~ Updated | org.eclipse.emf » org.eclipse.emf.ecore | 2.25.0 | 2.38.0 |
| ~ Updated | org.eclipse.emf » org.eclipse.emf.ecore.xmi | 2.16.0 | 2.38.0 |
| ~ Updated | org.junit.jupiter » junit-jupiter-api | 5.4.0 | 5.6.2 |
| ~ Updated | org.junit.jupiter » junit-jupiter-engine | 5.4.0 | 5.6.2 |
