eMoflon/emoflon-neo
1
0
Fork 0
mirror of https://github.com/eMoflon/emoflon-neo.git synced 2024-05-21 04:00:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
1659 commits 1 branch 1 tag 62 MiB
Commit graph

1659 commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Nils Weidmann ef971a5064 Added labels for setup code, reviewed labels for FirstToLowerCase 2024-04-06 14:50:52 +00:00
Anthony Anjorin d55fdea0d7 First version of labelling 2024-03-13 21:14:05 +01:00
NilsWeidmann 1ba139a28f
Add labelled TGG and first two rules (Nils) 2024-03-10 18:04:59 +00:00
Nils Weidmann b5464811fa Merge branch 'master' of github.com:eMoflon/emoflon-neo 2024-02-28 21:46:33 +00:00
Nils Weidmann 41dbcfbb90 Add deltas in MSL format 2024-02-28 21:23:35 +00:00
Anthony Anjorin 1f82289f3f Labelled triple grammar and two triple rules as prep for discussion 2024-02-28 20:07:37 +01:00
Nils Weidmann 2d7e181ba5 Add deltas to models and add correctness2 .. correctness13 to App 2024-01-14 17:45:10 +00:00
Anthony Anjorin fa76f67e9c Corrected small mistake in TGG, added correctness models 2023-12-27 19:11:21 +01:00
Anthony Anjorin 7082ab36f1 Correctness_1 working 2023-12-20 21:21:48 +01:00
Anthony Anjorin 05ad34087f Added new example from TTC 2023-12-15 23:04:50 +01:00
Tony Anjorin dbd19e4ad8
Update README.md 2023-10-01 09:29:29 +02:00
Tony Anjorin b2f21e24e4
Merge pull request #314 from dwolters/master 
Added interface for reporting inconsistencies
 2023-10-01 09:21:12 +02:00
NilsWeidmann 069d019874
Merge pull request #315 from eMoflon/hotfix/eclipse-2023-09-compatibility 
Fixes var errors in `TripleRuleFlattener` (Eclipse 2023-09 compatibility)
 2023-09-18 16:37:48 +02:00
Maximilian Kratz 35ea4634b9 Fixes var error in TripleRuleFlattener 2023-09-15 08:10:10 +02:00
dwolt 75ef3db2bb Added class for defining composite termination conditions 2023-04-26 13:07:48 +02:00
dwolt e74bd3a328 Added interface for reporting inconsistencies. 2023-04-26 12:29:18 +02:00
NilsWeidmann f86dfff644 Merge branch 'master' of https://github.com/eMoflon/emoflon-neo 2023-04-18 15:40:57 +02:00
NilsWeidmann b02448b7b5 Bugfix: Rule name can be prefix of another rule name 2023-04-18 15:40:54 +02:00
Anthony Anjorin 0039078a5f Fixed compilation error 2023-04-17 14:51:13 +02:00
NilsWeidmann f7ae57ceff Bugfix: Rule Scheduler should filter rules based on non-negative IDs 2023-03-13 18:03:59 +01:00
NilsWeidmann 08fee98e09
Merge pull request #312 from dwolters/master 
Update TGGCompilerUtils.xtend
 2023-01-16 11:32:15 +01:00
Dennis Wolters c793d6596a
Update TGGCompilerUtils.xtend 
Fixed problem that enum values are wrapped in quotes
 2023-01-14 23:27:47 +01:00
NilsWeidmann 43071249fa Fix bug in SokobanNeoController when creating a new board 2022-12-05 15:09:04 +01:00
Anthony Anjorin 4bb5a71c2e Update MyGEN.java 2022-10-18 18:47:29 +02:00
Anthony Anjorin 1d7783ef86 Fixed TGG by adding more context 2022-10-10 22:15:48 +02:00
Anthony Anjorin aaee1b6855 Disabling tests so Sat4j gets a green bar 2022-10-10 21:27:52 +02:00
Anthony Anjorin 6aadc2d23d Try to add code to deployed plugins 2022-10-10 21:27:17 +02:00
Anthony Anjorin dcdb8cc9a4 Bug fix to handle ID = 0 2022-10-10 21:26:56 +02:00
Anthony Anjorin 19025f2a16 Removed generated files 2022-10-10 21:00:14 +02:00
NilsWeidmann ffdae4b2ed Merge branch 'master' of https://github.com/eMoflon/emoflon-neo 2022-10-10 17:08:13 +02:00
NilsWeidmann 64ce061ad8 Fix errors in Liaison Delta model 2022-10-10 17:08:08 +02:00
NilsWeidmann 81d68b66c5 Merge branch 'master' of https://github.com/eMoflon/emoflon-neo 2022-10-10 17:07:12 +02:00
NilsWeidmann 5a95a9dd65 Fix MI: Attribute conditions with literals 2022-10-10 17:07:07 +02:00
Anthony Anjorin b2766ad0ff Using separate builders 2022-10-10 14:24:23 +02:00
NilsWeidmann 32a9140b41 Merge branch 'master' of https://github.com/eMoflon/emoflon-neo 2022-10-10 09:56:02 +02:00
NilsWeidmann 379b225413 Sat4J as default ILP solver 2022-10-10 09:55:50 +02:00
NilsWeidmann ce7e62fe60 Update Liaison delta 2022-10-10 09:55:34 +02:00
NilsWeidmann a3bbe4c74c Merge branch 'master' of https://github.com/eMoflon/emoflon-neo 2022-10-10 09:10:16 +02:00
NilsWeidmann dae1b74d82 Add preferences for MI 2022-10-10 09:10:14 +02:00
NilsWeidmann 3f6f92e54e Merge branch 'master' of https://github.com/eMoflon/emoflon-neo 2022-10-10 09:09:54 +02:00
NilsWeidmann f0958607b4 Minor changes 2022-10-10 09:09:51 +02:00
Anthony Anjorin 50687335de Update MyMI.java 2022-10-09 21:12:42 +02:00
Anthony Anjorin 5dc11f465e Added context 2022-10-09 20:55:36 +02:00
Anthony Anjorin 55d96ea149 added additional context 2022-10-09 19:30:06 +02:00
Anthony Anjorin 2bcd9405d6 Added example and app for MI 2022-10-08 21:39:05 +02:00
Anthony Anjorin 3b94d3ab31 Added more apps, made TGG on target side a bit more interesting 2022-10-04 08:58:26 +02:00
Anthony Anjorin d30d3f6c3b New example for all ops (tutorial and demo) 2022-10-03 21:32:05 +02:00
Anthony Anjorin b95c625404 Deployed eNeo 2.0 2022-10-03 21:31:39 +02:00
Anthony Anjorin 9882d4f85e Make sure tests use the solver for tests and not for the generated app 2022-10-01 15:56:40 +02:00
Anthony Anjorin 4f298951e2 Cleaned up dev and runtime workspaces, migrated to latest Eclipse version, updated PSFs 2022-10-01 12:18:56 +02:00