aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/statespace/internal/FastEquivalenceClassStore.java
Commit message (Expand)AuthorAge
* Merge remote-tracking branch 'nagilooh/datastructure' into partial-interpreta...Libravatar Kristóf Marussy2023-09-07
|\
| * fix issues with DSE frameworkLibravatar nagilooh2023-09-07
| * missing synchronized statements and flush addedLibravatar OszkarSemerath2023-09-07
* | Merge remote-tracking branch 'OszkarSemerath/datastructure' into partial-inte...Libravatar Kristóf Marussy2023-09-05
|/
* restructured DSE framework, failing buildLibravatar OszkarSemerath2023-09-05