eMoflon/emoflon-ibex
1
0
Fork 0
mirror of https://github.com/eMoflon/emoflon-ibex.git synced 2024-05-20 20:00:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
2284 commits 27 branches 3 tags 76 MiB

Default branch

master

4bca82f31c · Merge pull request #423 from eMoflon/hotfix/classpath-jdk17 · Updated 2023-12-07 12:34:15 +00:00
 ZIP  TAR.GZ

Branches

smartemf-integration-redo

8005efc145 · renamed emfcodegenerator to org.emoflon.smartemf · Updated 2022-01-20 22:26:45 +00:00
128
0
 Included
 ZIP  TAR.GZ
cspToRelationalConst

dbdfbebd86 · introduced new ibex options to toggle the optimization of equality csps (transform them to relational constraints) · Updated 2021-05-13 16:59:04 +00:00
251
0
 Included
 ZIP  TAR.GZ
Nac_Int

497311ed4c · Complete NAC as ILP constraint version (does not work for all NACs) · Updated 2019-09-23 15:35:23 +00:00
904
5
 ZIP  TAR.GZ
refactoring/rework_merge_GT_TGG_Model

37c9f03de7 · minor fixes to api data helper class and code gen templates · Updated 2022-11-18 14:25:40 +00:00
55
59
 ZIP  TAR.GZ
refactoring/rework_TGG_propagation

bfc84b89cf · Fixed PropagationDirectionHolder · Updated 2023-03-14 15:35:48 +00:00
49
127
 ZIP  TAR.GZ
CI_dev

44c9c58813 · moved xtend files to xtend.src · Updated 2022-01-18 13:50:00 +00:00
184
0
 Included
 ZIP  TAR.GZ
victory-monitor_protocols

82a88e01b6 · fix getrulename on protocol steps · Updated 2019-09-08 21:48:32 +00:00
905
13
 ZIP  TAR.GZ
refactoring/rework_TGG_attr

e895a4e86c · Fix Preconditions & attribute conditions · Updated 2023-03-18 01:16:20 +00:00
28
139
 ZIP  TAR.GZ
fix_inv

4495aa2685 · removed user-filter nacs · Updated 2020-10-27 16:02:26 +00:00
379
0
 Included
 ZIP  TAR.GZ
AdrianM/boost-pg-coloring

451284dd44 · Boost PG coloring using parallel streams · Updated 2020-07-15 08:58:11 +00:00
517
1
 ZIP  TAR.GZ
icebox/transitive_closure

f6eaec28e4 · fix that prevents stack overflow · Updated 2020-11-02 17:48:00 +00:00
375
8
 ZIP  TAR.GZ
master-with-multi-amalgamation

317f822a2f · Re-enabled bundle analysis · Updated 2018-12-30 20:52:20 +00:00
1051
0
 Included
 ZIP  TAR.GZ
tgg-ui-refactoring

8aaffbafae · Fix wrong located extension · Updated 2022-07-23 17:09:37 +00:00
60
0
 Included
 ZIP  TAR.GZ
XML-support

12fdb5cd73 · clean up · Updated 2022-03-26 15:21:58 +00:00
125
29
 ZIP  TAR.GZ
sebastian_dev/remove_disjoint_patterns

5033e62cd4 · removed disjoint pattern functionality · Updated 2021-11-12 12:29:18 +00:00
190
0
 Included
 ZIP  TAR.GZ
victory-monitor_migration_protocols

36d01b9073 · add neighborhood · Updated 2019-10-06 21:54:22 +00:00
901
5
 ZIP  TAR.GZ
icebox/disjoint_patterns

ac2298ff21 · removed stray system out messages · Updated 2021-11-10 12:24:05 +00:00
191
0
 Included
 ZIP  TAR.GZ
janej/thesis/breakpoints

16ef01b22c · Commit missing changes · Updated 2021-05-18 16:32:02 +00:00
308
1
 ZIP  TAR.GZ
adapt-to-new-java-version

f1ced278bf · More: Apply 'pattern matching for instanceof' feature to existing code · Updated 2022-03-17 14:18:02 +00:00
121
0
 Included
 ZIP  TAR.GZ
hotfix/lars-and-max-playground

90c7b84a0e · Solve compilation errors after merge · Updated 2022-03-17 08:58:52 +00:00
125
2
 ZIP  TAR.GZ