Changes

#737 (Feb 6, 2023, 3:13:53 PM)

1. Merge branch 'master' into 283-reorganize-mini-domains-into-sub-domains — didier.vojtisek / detail
2. ignore locales-gen — didier.vojtisek / detail
3. Attacker is in base group — didier.vojtisek / detail

#736 (Feb 3, 2023, 5:30:32 PM)

1. add basic support of subgroups in domain diagrams — maxime / detail
2. support for operations on definitions groups — maxime / detail
3. add support for subgroups in asset diagram — maxime / detail

#735 (Feb 3, 2023, 12:28:21 PM)

1. adapted with checker for subgroups — maxime / detail
2. added test case for 'with' on subgroup — maxime / detail

#734 (Feb 1, 2023, 5:28:27 PM)

1. add support for tags and annotations in groups in model — maxime / detail
2. adapt xtext grammar — maxime / detail
3. derived features for allTags and allAnnotations — maxime / detail
4. removed semicolon in annotation key definition — maxime / detail
5. official example fix — maxime / detail

#733 (Jan 31, 2023, 5:04:54 PM)

1. add a category for the update site — didier.vojtisek / detail
2. split single/multi domain feature — didier.vojtisek / detail
3. fix default perspective id — didier.vojtisek / detail
4. reorganisation of the feature — didier.vojtisek / detail
5. version that minimalize unwanted UI elements in the base studio — didier.vojtisek / detail
6. bump abs related bundles to 3.0.0 — didier.vojtisek / detail

#732 (Jan 30, 2023, 6:14:51 PM)

1. fix derived attributes for DefinitionGroup and AssetGroup — maxime / detail
2. fix integration test abs files — maxime / detail

#731 (Jan 30, 2023, 5:28:51 PM)

1. updated ecore for subgroups — maxime / detail
2. update xtext for new group structure — maxime / detail
3. update abs2abs — maxime / detail
4. fix guardOccurenceComparator — maxime / detail
5. fix xtext validator — maxime / detail
6. fixed testfiles — maxime / detail
7. test — maxime / detail
8. update examples — maxime / detail
9. update odesign — maxime / detail
10. changed isAbstract to abstract — maxime / detail
11. fix for absreport formatter — maxime / detail

#730 (Jan 26, 2023, 1:59:00 PM)

1. updated abs2json handler for multiple resources (wip) — maxime / detail
2. abs2json resource copy and reference update — maxime / detail
3. register json resource factory — maxime / detail
4. json model file for core — maxime / detail
5. getOrCreateResource fix — maxime / detail
6. better resource loading — maxime / detail
7. json indent option — maxime / detail
8. refactoring — maxime / detail
9. added command for abs2json monofile — maxime / detail
10. add option to serialize concrete type of references — maxime / detail
11. update version of emfjson — maxime / detail
12. add support for multiple selected files — maxime / detail
13. add support for calling abs2json on any selected IResource — maxime / detail

#729 (Jan 26, 2023, 11:59:40 AM)

1. added isAbstract attribute in AssetType — maxime / detail
2. abstract keyword in xtext — maxime / detail
3. validator for asset of an abstract type — maxime / detail
4. test — maxime / detail
5. updated equality expression validator — maxime / detail

#728 (Jan 25, 2023, 12:02:17 PM)

1. add missing plugins in feature — didier.vojtisek / detail

#727 (Jan 25, 2023, 11:48:37 AM)

1. add javax.xml.stream to the studio — didier.vojtisek / detail

#726 (Jan 25, 2023, 11:22:32 AM)

1. removed using expression — maxime / detail
2. examples updated — maxime / detail
3. fix init file handler — maxime / detail

#725 (Jan 24, 2023, 5:45:15 PM)

1. fix NPE in Validator — maxime / detail
2. restrict scope for assetAttributeValue attribute — maxime / detail
3. fix tests — maxime / detail
4. AssetAttributeValue customized proposal provider — maxime / detail

#724 (Jan 23, 2023, 5:20:03 PM)

1. fix import uri completion proposal — maxime / detail

#723 (Jan 23, 2023, 11:14:02 AM)

1. add new atsyra.absytem.ide.ui plugin — didier.vojtisek / detail
2. add new perspective for ATSyRA ABS — didier.vojtisek / detail
3. change default perspective to ATSyRA ABS — didier.vojtisek / detail
4. move some category — didier.vojtisek / detail
5. move Atsyra DSLs preference pages into ATSyRA category — didier.vojtisek / detail
6. fix perspective id — didier.vojtisek / detail

#722 (Jan 20, 2023, 11:59:29 AM)

1. gitignore for locale-gen — maxime / detail

#721 (Jan 20, 2023, 11:18:59 AM)

1. fix: ensure that imported resource exists — maxime / detail

#720 (Jan 19, 2023, 4:58:07 PM)

1. fix : check if gen folder exists — maxime / detail
2. style — maxime / detail

#719 (Jan 19, 2023, 4:36:37 PM)

1. fix generated uri in locale template — maxime / detail
2. add error when plateform: prefix is missing — maxime / detail
3. quickfix — maxime / detail

#718 (Jan 19, 2023, 10:48:21 AM)

1. changed generated locale template folder name — maxime / detail
2. update gitignore — maxime / detail
3. variable name — maxime / detail
4. gitignore — maxime / detail

#717 (Jan 17, 2023, 11:54:16 AM)

1. feat(abs2json): manage multiple files selection — wragot / detail

#716 (Jan 16, 2023, 5:32:44 PM)

1. move CorrectnessResultView declaration to atsyra2 plugin — didier.vojtisek / detail

#715 (Jan 12, 2023, 5:02:35 PM)

1. removed capra pomfirst — maxime / detail

#714 (Jan 12, 2023, 3:35:24 PM)

1. added support for locale in ABS model and xtext — maxime / detail
2. formatter for locale — maxime / detail
3. fr locale on minibuilding lib — maxime / detail
4. well-formed localization validator — maxime / detail
5. refactor: dispatch completeKeyword — maxime / detail
6. completion proposal provider for Localization — maxime / detail
7. Localization template generator — maxime / detail
8. minibuilding fr locale — maxime / detail
9. updated local model to match ABS structure — maxime / detail
10. xtext update — maxime / detail
11. scope for features and enumliterals — maxime / detail
12. minibuilding locale example — maxime / detail
13. removed old generated file — maxime / detail
14. gitignores for generated locale files — maxime / detail
15. missing fr locale — maxime / detail
16. proposals for assettypefeaturelocale and enumliterallocale — maxime / detail

#713 (Jan 3, 2023, 11:23:43 AM)

1. remove useless maven repo — didier.vojtisek / detail
2. use k3 jar from maven central — didier.vojtisek / detail

#712 (Dec 20, 2022, 11:08:12 AM)

1. enable benchmark test when branch name contains "benchmark" — didier.vojtisek / detail
2. first attempt to push benchmark results — didier.vojtisek / detail
3. add git to docker image — didier.vojtisek / detail
4. fix docker — didier.vojtisek / detail
5. fix path to upper git — didier.vojtisek / detail
6. improved script — didier.vojtisek / detail
7. fix path — didier.vojtisek / detail
8. typo — didier.vojtisek / detail
9. enable benchmark recording for master branch — didier.vojtisek / detail
10. typo — didier.vojtisek / detail
11. add archive of current hardware configuration — didier.vojtisek / detail

#711 (Dec 16, 2022, 5:07:48 PM)

1. split subgroups in DefinitionGroup and AssetGroup — maxime / detail
2. adapted xtext validator — maxime / detail
3. fix: worker access root container with EcoreUtil — maxime / detail
4. adapt abs2abs — maxime / detail
5. adapted abs2gal — maxime / detail
6. adapted abs2scenarios — maxime / detail
7. adapted sirius — maxime / detail
8. test: fixed serialization-dependent tests — maxime / detail
9. fix: validator for imports now explore eAllContents — maxime / detail
10. test: changed the EObjects on which to expect name errors — maxime / detail

#710 (Dec 15, 2022, 10:00:05 AM)

1. feat: service to open in xtext editor — maxime / detail

#709 (Dec 14, 2022, 3:14:53 PM)

1. Update .gitlab-ci.yml file — didier.vojtisek / detail

#708 (Dec 14, 2022, 3:12:08 PM)

1. test: isolated a version of the agence test — maxime / detail
2. test: integration test base files — maxime / detail
3. fix version in manifest to match pom — maxime / detail
4. added atsyra features — maxime / detail
5. add launcher to save valid conf to start test in eclipse — didier.vojtisek / detail
6. fix launch test from maven — didier.vojtisek / detail
7. ignore local .m2 — didier.vojtisek / detail
8. add notes abaout how to use docker image locally or use gitlab-runner — didier.vojtisek / detail
9. start XVfb in order to enable UI tests — didier.vojtisek / detail
10. do not ignore failure — didier.vojtisek / detail
11. fix command id — didier.vojtisek / detail
12. refactoring of abs2abs in order to make it easily testable — didier.vojtisek / detail
13. add missing dependency — didier.vojtisek / detail
14. refactored test suite name — didier.vojtisek / detail
15. test: ABS2GAL in E2E test — maxime / detail
16. test: abs2scenarios in e2e tests — maxime / detail
17. text: refresh test project to see gal files — maxime / detail
18. fix: changed name of generated gal files to avoid conflict — maxime / detail
19. test: adapt names of gal files — maxime / detail
20. test: clean generated files between tests — maxime / detail
21. test: reduced the size of the test model — maxime / detail
22. test: added time checks — maxime / detail
23. chore: gitignore in test project — maxime / detail
24. test: added smaller agence test model — maxime / detail
25. test: smaller expected time for the small model — maxime / detail
26. build: excluding benchmark test from default build — maxime / detail

#707 (Dec 8, 2022, 6:02:03 PM)

1. feat: domain diagram visualization with sirius — maxime / detail
2. feat: added attributes to domain diagram — maxime / detail
3. feat: digram tools for creating many objects — maxime / detail
4. feat: diagram tool for creating attributes — maxime / detail
5. feat: tag graphical representation — maxime / detail
6. feat: reference edition tools — maxime / detail
7. feat: extends edge edition tool — maxime / detail
8. feat: aspect edition tools — maxime / detail
9. feat: reference label edition tool — maxime / detail
10. feat: tag edition tool — maxime / detail
11. feat: attribute edit tools — maxime / detail
12. feat: AssetType name edition tool — maxime / detail
13. fix: changed references edge labels — maxime / detail
14. fix: add trimming to edited strings — maxime / detail
15. fix: added a space in attribute label — maxime / detail
16. feat: EnumDataType graphical representation — maxime / detail
17. fix: changed tags representation — maxime / detail
18. feat: filter to focus on an AssetType — maxime / detail
19. feat: double click on AbstractAssetType to select references — maxime / detail
20. feat: add filter by tags — maxime / detail

#706 (Dec 5, 2022, 11:56:10 AM)

1. feat: add preference field for optional files generation — maxime / detail
2. feat: added support for optional file preference — maxime / detail

#705 (Dec 5, 2022, 11:52:14 AM)

1. add extension point definition for declaring abs models in plugins — didier.vojtisek / detail
2. declaring abs files from core.abs — didier.vojtisek / detail
3. add import of abs in plugins — didier.vojtisek / detail
4. add import of abs in plugins — didier.vojtisek / detail
5. fix contentassit to complete partial text and manage file from workspace — didier.vojtisek / detail
6. add extensionPoint helper class — didier.vojtisek / detail

#704 (Nov 25, 2022, 4:30:30 PM)

1. fix: implemented equals for Version — maxime / detail
2. fix: fixed inconsistency between compareTo and equals in Version — maxime / detail

#703 (Nov 24, 2022, 6:23:58 PM)

1. feat: collection in abs model — maxime / detail
2. Collection literal in ABSTypeProvider — maxime / detail
3. xtext support of collection literal — maxime / detail
4. k3dsa support for collection literal — maxime / detail
5. renamed package for abs2gal aspects — maxime / detail
6. refactoring: HalfDoubleArray replaced by ArrayCollectionRef — maxime / detail
7. fix: use providers to avoid using twice the same ArrayRef — maxime / detail
8. fix: replaced ArrayCollectionRef by CollectionRef where expected — maxime / detail
9. expr2collectionRef for MemberSelection — maxime / detail
10. feat: conversion of ABS Collection to GAL — maxime / detail
11. fix call to getElementVarRef on result from expr2collectionRef — maxime / detail
12. feat: slicing support for Collection literals — maxime / detail
13. feat: uc support for Collection literals — maxime / detail
14. fix: added missing return — maxime / detail
15. fix: added missing EcoreUtil.copy — maxime / detail
16. test: update tests — maxime / detail
17. fix: fixed nondeterministic behavior in in getIsContainedExpression — maxime / detail
18. test: abs2gal test for Collection literal — maxime / detail
19. test: slicing test including Collection literal — maxime / detail
20. fix: add checker for mutability of actions targets — maxime / detail
21. fix: removed objects names in validation messages — maxime / detail
22. fix: NPE on setMutable — maxime / detail
23. feat: added validator for Collection type — maxime / detail

#702 (Nov 23, 2022, 6:19:54 PM)

1. implement file and project wizard with basic templates — didier.vojtisek / detail

#701 (Nov 18, 2022, 10:31:07 AM)

1. feat: goals in assetgroup — maxime / detail
2. fix: formatter — maxime / detail
3. fix: abs xtext validator — maxime / detail
4. fix: absreport — maxime / detail
5. fix: slicing — maxime / detail
6. fix: abs2gal — maxime / detail
7. fix: abs2pddl — maxime / detail
8. test: fix abs xtext tests — maxime / detail
9. test: fix absreport tests — maxime / detail
10. test: fix abs2abs tests — maxime / detail
11. test: fix abs2gal tests — maxime / detail
12. test: fix abs2pddl tests for goals in assetgroups — maxime / detail
13. example: updated for goals in assetgroup — maxime / detail

#700 (Nov 15, 2022, 3:08:24 PM)

1. fix: abs2gal uses ABUtils.getAllSubtype — maxime / detail

#699 (Nov 14, 2022, 12:24:51 PM)

1. fix: use ABSUtils.getAbsSet in AssetMapBuilder — maxime / detail

#698 (Nov 14, 2022, 12:07:11 PM)

1. fix: removed AssetTypeAspect.assets in ABSStateBuilder — maxime / detail

#697 (Nov 14, 2022, 10:16:21 AM)

1. fix forall expression — maxime / detail
2. fix controls for lambdas — maxime / detail
3. fix control for SymbolRef — maxime / detail
4. test for uc for collections — maxime / detail

#696 (Nov 9, 2022, 12:14:48 PM)

1. check if importURI refers to an existing file — didier.vojtisek / detail
2. fix building example path — didier.vojtisek / detail
3. fix test — didier.vojtisek / detail
4. improved messages on with/from chcker + fix npe — didier.vojtisek / detail
5. fix the tests — didier.vojtisek / detail
6. add import/from/with tests — didier.vojtisek / detail
7. try to fix test — didier.vojtisek / detail
8. force dependency to org.eclipse.emf.mwe.utils — didier.vojtisek / detail

#695 (Nov 8, 2022, 4:10:00 PM)

1. test — maxime / detail

#694 (Nov 8, 2022, 2:28:55 PM)

1. refactoring of the undefined control — maxime / detail
2. filter duplicates — maxime / detail
3. test — maxime / detail

#693 (Nov 8, 2022, 12:14:00 PM)

1. reorganized examples and libs — didier.vojtisek / detail
2. fix example path — didier.vojtisek / detail

#692 (Nov 7, 2022, 5:57:48 PM)

1. ignore doc-gen folder in git — didier.vojtisek / detail
2. deploy core.abs.model.lib as a plugin — didier.vojtisek / detail
3. basic restructuration of abs libs — didier.vojtisek / detail
4. basic restructuration of abs libs — didier.vojtisek / detail
5. clarify standalone versus lib based examples — didier.vojtisek / detail
6. fix example imports — didier.vojtisek / detail
7. adapt to use lib — didier.vojtisek / detail

#691 (Nov 7, 2022, 2:36:13 PM)

1. fix NPE — maxime / detail
2. add support for imports in ABSReport — maxime / detail
3. fix testfiles — maxime / detail
4. added import of goal file in absreporthelper — maxime / detail
5. fix test files — maxime / detail

#690 (Nov 3, 2022, 11:49:33 AM)

1. UnableToFindITSToolException — maxime / detail
2. moved exception handling — maxime / detail
3. fix NPE — maxime / detail
4. throw if unable to execute its-reach — maxime / detail
5. exception trace in console — maxime / detail

#689 (Oct 28, 2022, 11:45:03 AM)

1. function to resolve import URI — maxime / detail
2. ABS getName function — maxime / detail
3. moved resolveImportURI to ABSUtils — maxime / detail
4. validator for imports — maxime / detail
5. test — maxime / detail
6. import checker test — maxime / detail

#688 (Oct 19, 2022, 6:52:01 PM)

1. added support for URI imports in AssetBasedSystemUiUtils — maxime / detail

#687 (Oct 19, 2022, 3:20:11 PM)

1. atsyra preferences interface plugin — maxime / detail
2. atsyra.gal wrapper uses atsyra preferences — maxime / detail
3. atsyra eclipse preference service — maxime / detail
4. gitignore — maxime / detail
5. removed activator from preference plugin — maxime / detail
6. pomfirst — maxime / detail
7. injection of messaging system by constructor — maxime / detail
8. setter for gal messagingsystem in abs2scenario — maxime / detail
9. removed default messaging system from constructor — maxime / detail

#686 (Oct 19, 2022, 10:54:46 AM)

1. fix(metamodel): using new import system — wragot / detail

#685 (Oct 14, 2022, 5:12:48 PM)

1. Removed IFile and IFolder from the API of transfos — maxime / detail
2. fixed generated resource URI — maxime / detail
3. changed abs source model for flatten — maxime / detail
4. getResource takes its ResourseSet as argument — maxime / detail
5. replaced filetogalsystem with copy — maxime / detail
6. doc — maxime / detail
7. monitor may be null — maxime / detail

#684 (Oct 12, 2022, 2:01:08 PM)

1. add importURI attribute in ecore — didier.vojtisek / detail
2. changed import xtext support to use importURI — didier.vojtisek / detail
3. adapt abs example model to import — didier.vojtisek / detail
4. add basic proposal for importURI — didier.vojtisek / detail
5. add util method — didier.vojtisek / detail
6. add example that uses classpath:/ uri to reference other abs files — didier.vojtisek / detail
7. content assist proposal for classpath:/ uri — didier.vojtisek / detail
8. add EObjectDescritpion — didier.vojtisek / detail
9. remove use of classpath uri — didier.vojtisek / detail
10. remove use of classpath uri — didier.vojtisek / detail
11. remove proposal of classpath uri in imports — didier.vojtisek / detail
12. transitive import management — didier.vojtisek / detail
13. formatting — didier.vojtisek / detail
14. fix case where there is no import defined in the model — didier.vojtisek / detail

#683 (Oct 12, 2022, 10:05:32 AM)

1. fix build for latest GAL/ITSTool — didier.vojtisek / detail
2. fix build for latest GAL/ITSTool — didier.vojtisek / detail
3. fix build for latest GAL/ITSTool — didier.vojtisek / detail
4. update pomfirst for gal to version 1.0.0.202210111418 — didier.vojtisek / detail
5. update pomfirst for gal to version 1.0.0.202210111418 — didier.vojtisek / detail

#682 (Oct 3, 2022, 4:29:30 PM)

1. removed capra adapter extension — maxime / detail

#681 (Sep 28, 2022, 12:33:11 PM)

1. moved to non-ui plugins — maxime / detail
2. pomfirst — maxime / detail
3. removed k3 aspects from abs2abs transfos — maxime / detail
4. pomfirst thirdparty for itstools binaries — maxime / detail
5. removed gal preferences dependency — maxime / detail
6. bump equinox version — maxime / detail
7. removed var keyword — maxime / detail
8. bump compiler version to java 11 for pomfirst — maxime / detail

#680 (Sep 23, 2022, 5:37:52 PM)

1. validator for Expression types in other abs eobjects — maxime / detail
2. missing negations — maxime / detail
3. null tests — maxime / detail
4. test — maxime / detail
5. test — maxime / detail

#679 (Sep 15, 2022, 4:09:38 PM)

1. added transfoID — maxime / detail
2. merge trace — maxime / detail
3. added transfoID test in abs2gal traceability query — maxime / detail
4. replaced TransformationSequence with ABS2ABSTraceQuery — maxime / detail
5. slicing trace model + full chain traceability — maxime / detail
6. delete old commented code — maxime / detail

#678 (Sep 15, 2022, 3:24:48 PM)

1. removed building.ide.ui from abs dependencies — maxime / detail
2. split ide.ui plugins in 2 — maxime / detail
3. manifest cleanup — maxime / detail
4. pom: absonly cleanup — maxime / detail

#673 (Sep 12, 2022, 11:20:30 AM)

1. change sirius svg to png for macos compatibility — wragot / detail

#672 (Sep 12, 2022, 11:02:00 AM)

1. Activator is not for UI plugin — maxime / detail
2. preferences from Plateform — maxime / detail
3. removed GALPrinter — maxime / detail
4. gitignore — maxime / detail
5. split fr.irisa.atsyra.gal into 2 — maxime / detail
6. removed building model from global gal plugin — maxime / detail

#671 (Sep 8, 2022, 2:45:15 PM)

1. null checks for Expression type — maxime / detail
2. null & proxy checks — maxime / detail
3. resolve proxies before contract validation — maxime / detail

#670 (Sep 7, 2022, 6:10:47 PM)

1. changed trace metamodel — maxime / detail

#669 (Sep 5, 2022, 3:13:42 PM)

1. pomfirst for validation — maxime / detail
2. gemoc in pomfirst — maxime / detail
3. repository — maxime / detail
4. clean imports — maxime / detail
5. fixed gemoc dependency — maxime / detail

#668 (Sep 5, 2022, 12:01:27 PM)

1. manifest pruning — maxime / detail
2. switch to a generic trace model — maxime / detail
3. abs2gal transfo for generic trace model — maxime / detail
4. ABS2GAL ui for generic trace model — maxime / detail
5. fix NPE and null value for Typedefs — maxime / detail
6. pomfirst — maxime / detail

#667 (Sep 2, 2022, 8:03:26 PM)

1. removed duplicated abs2gal related commands — maxime / detail

#666 (Sep 1, 2022, 10:20:26 AM)

1. fixed manifest — maxime / detail

#665 (Sep 1, 2022, 10:15:46 AM)

1. rename utils package — maxime / detail
2. move PrimitiveDataTypeSwitch — maxime / detail
3. removed utils from xtext — maxime / detail
4. removed unnecessary dependencies to xtext — maxime / detail
5. removed absystem.commons — maxime / detail
6. ExpressionTypeAspect to replace MemberType — maxime / detail
7. removed unimplemented isMany — maxime / detail
8. removed commons from pomfirst dependencies — maxime / detail
9. missing static — maxime / detail
10. fixed pomfirst of gal.transfo — maxime / detail
11. replaced MemberType with ExpressionType — maxime / detail
12. De-nest ExpressionType class — maxime / detail
13. outdated comment — maxime / detail
14. fix conversion in case of missing PrimitiveDataType — maxime / detail
15. removed LocalVarNamer — maxime / detail
16. tests — maxime / detail
17. AssetTypeK3Aspect uses ABSUtils — maxime / detail

#664 (Aug 29, 2022, 4:49:50 PM)

1. validation plugin — maxime / detail
2. pom simple — maxime / detail
3. static contracts handler — maxime / detail
4. better error message — maxime / detail
5. fix validation of missing links — maxime / detail

#663 (Aug 29, 2022, 10:44:49 AM)

1. removed references to atsyra2-dev folder — maxime / detail

#662 (Aug 29, 2022, 10:17:19 AM)

1. Update .gitlab-ci.yml — didier.vojtisek / detail

#661 (Aug 23, 2022, 5:47:05 PM)

1. move missing ci_settings.xml — didier.vojtisek / detail

#660 (Aug 23, 2022, 4:56:55 PM)

1. re-enable gitlabci for atsyra-dev — didier.vojtisek / detail

#659 (Aug 23, 2022, 4:47:50 PM)

1. adapt readme to new repository location — didier.vojtisek / detail

#657 (Aug 23, 2022, 4:34:40 PM)

1. highlight disables camera in red — didier.vojtisek / detail
2. use GEMOC update site on download server instead of the CI server — didier.vojtisek / detail
3. More CTL formulas for correctness — maxime.audinot / detail
4. Location Graph: tool name changed, GAL is now automatically generated — maxime.audinot / detail
5. intégration de VariationFront dans le studio — maxime.audinot / detail
6. add folder tool to the jar — didier.vojtisek / detail
7. do not add tool folder in git — didier.vojtisek / detail
8. unpack locationGraph plugin when installed — didier.vojtisek / detail
9. force execution permission for posix systems on binaries — didier.vojtisek / detail
10. Correction: CTL take into account Defaults, Counterexamples are — maxime.audinot / detail
11. Formula for Overmatch,SAND — maxime.audinot / detail
12. enable java 9 support — didier.vojtisek / detail
13. CTL formula for Overmatch/AND: fix — maxime.audinot / detail
14. cleanup studio.ini for java 9 — didier.vojtisek / detail
15. support for java 9 on the sdk ! — didier.vojtisek / detail
16. add git staging view to the shortcut in the astyra perspective — didier.vojtisek / detail
17. add full user guide — fwacheux / detail
18. Fix: assigning a item.owner to 0 in a precondition no longer assume that — maxime.audinot / detail
19. user guide — fwacheux / detail
20. bump some version and use xtend workaround for this version — didier.vojtisek / detail
21. bump some more versions — didier.vojtisek / detail
22. temp fix waiting for k3 version being included in gemoc — didier.vojtisek / detail
23. fix p2 repo id — didier.vojtisek / detail
24. try to force k3 version to the one with synchronized — didier.vojtisek / detail
25. utilisation de la doc de Florence comme doc principale pour le site web — didier.vojtisek / detail
26. minor typo and use nicer arrow for menu explanation — didier.vojtisek / detail
27. fix path to files — didier.vojtisek / detail
28. fix headers for web version — didier.vojtisek / detail
29. improved web styles — didier.vojtisek / detail
30. fix link — didier.vojtisek / detail
31. simplification of the folder structure to ease use in web — didier.vojtisek / detail
32. use gemoc update site on download.eclipse.org instead of ci.eclipse.org — didier.vojtisek / detail
33. utilisation de l'update site atsyra pour autoriser les mises à jours — didier.vojtisek / detail
34. move InterruptibleProcessController to a more logical package — didier.vojtisek / detail
35. align code with latest version from ITSTools — didier.vojtisek / detail
36. remove use of duplicated ProcessController — didier.vojtisek / detail
37. added support for long in witness grammar — didier.vojtisek / detail
38. add missing code — didier.vojtisek / detail
39. add a small official example based on SmallSite template — didier.vojtisek / detail
40. added example deployer — didier.vojtisek / detail
41. utilisation de la dernière release de GEMOc au lieu de la nightly — didier.vojtisek / detail
42. fix problem of alarm that has no location — didier.vojtisek / detail
43. initial version of a longer scenario search — didier.vojtisek / detail
44. reorganization of menus — didier.vojtisek / detail
45. add a synthetic  log at the end of the Check local match of one tree — didier.vojtisek / detail
46. reorder menu, added icon for goal and tree in menu — didier.vojtisek / detail
47. do not install plantuml.ecore feature in atsyra — didier.vojtisek / detail
48. fix capture pb of timeout in result when searching for witness — didier.vojtisek / detail
49. improved icon in resultstore for witness search — didier.vojtisek / detail
50. better icons — didier.vojtisek / detail
51. allows to print to console during gal execution instead of waiting the — didier.vojtisek / detail
52. add a human readable message for interpreting tree correctness — didier.vojtisek / detail
53. change plantuml update site — didier.vojtisek / detail
54. maj demosatt — fwacheux / detail
55. add an helper to work with trees and references to trees — didier.vojtisek / detail
56. basic view to display a synthesis of the tree correctness — didier.vojtisek / detail
57. add missing src folder — didier.vojtisek / detail
58. start of a developer guide including architecture informations — didier.vojtisek / detail
59. fix dev script — didier.vojtisek / detail
60. fix menu and presentation — didier.vojtisek / detail
61. add section numbering — didier.vojtisek / detail
62. some more architecture descriptions — didier.vojtisek / detail
63. improved doc — didier.vojtisek / detail
64. improved doc — didier.vojtisek / detail
65. added images to the correctness Result View — didier.vojtisek / detail
66. added source of images used in icons, etc — didier.vojtisek / detail
67. improved messages and icons in the correctness view — didier.vojtisek / detail
68. manage overlay about admissibility — didier.vojtisek / detail
69. better overlay scaling — didier.vojtisek / detail
70. do not try to unfod refinement for leaf — didier.vojtisek / detail
71. correctness view now support click in xtext based outline — didier.vojtisek / detail
72. correctness view now supports sirius outline selection — didier.vojtisek / detail
73. bump to xtend 2.14 in order to align with gal — didier.vojtisek / detail
74. add a builder that updates admissibility result in the result store — didier.vojtisek / detail
75. changed view icon for correctness vue — didier.vojtisek / detail
76. add atsyra nature to new building projects — didier.vojtisek / detail
77. avoid error if witness not called yet — didier.vojtisek / detail
78. fix label in menu — didier.vojtisek / detail
79. expose atsyranature as API — didier.vojtisek / detail
80. add correctness view to show view menu — didier.vojtisek / detail
81. do not point to old version of sirius — didier.vojtisek / detail
82. get full sirius specifier in atsyra sdk — didier.vojtisek / detail
83. sirius for eclipse photon — didier.vojtisek / detail
84. add correctness information on the sirius diagram — didier.vojtisek / detail
85. changed bitSetAspect into a proper factory — didier.vojtisek / detail
86. better icons for goal reachability in sirius — didier.vojtisek / detail
87. capture log and put counter example in the detail field of the result — didier.vojtisek / detail
88. display counter example in the correctness result view — didier.vojtisek / detail
89. Update atsyra2-dev/docs/fr.irisa.atsyra.building.doc/src/index.html — didier.vojtisek / detail
90. adding general purpose system model and basic xtext grammar — didier.vojtisek / detail
91. better grammar for gpsystem — didier.vojtisek / detail
92. some refactoring to go toward a class model — didier.vojtisek / detail
93. current refactoring of gp system ecore and grammar — didier.vojtisek / detail
94. deal with object in gp system ecore — didier.vojtisek / detail
95. add support for static configuration — didier.vojtisek / detail
96. current version of GPSystem — didier.vojtisek / detail
97. improved GPSystem — didier.vojtisek / detail
98. improved GPSystem — didier.vojtisek / detail
99. added multiplicity and nested attribute navigation — didier.vojtisek / detail
100. bump to java 11 and eclipse 2020-12 — didier.vojtisek / detail
101. pomless build + asset based system model plugin — didier.vojtisek / detail
102. AssetBasedSystem edit and editor — didier.vojtisek / detail
103. deploy assetbasedsystem tree editor — didier.vojtisek / detail
104. add AttributeValue concept — didier.vojtisek / detail
105. improved value management — didier.vojtisek / detail
106. fixed attribute value multiplicity — didier.vojtisek / detail
107. abs model improvments — didier.vojtisek / detail
108. disable pomless plugins — didier.vojtisek / detail
109. UTF-8-BOM to UTF-8 — didier.vojtisek / detail
110. re-enable pomless build — didier.vojtisek / detail
111. avoid pomless that currently fails on CI — didier.vojtisek / detail
112. update abs model — didier.vojtisek / detail
113. basic xtext editor for AssetBasedSystem model — didier.vojtisek / detail
114. some cleanup — didier.vojtisek / detail
115. add AssetType extends — didier.vojtisek / detail
116. improved grammar for asset — didier.vojtisek / detail
117. fix version — didier.vojtisek / detail
118. add basic validation (in k3) — didier.vojtisek / detail
119. add basic plantuml diagram for .abs files — didier.vojtisek / detail
120. adapt output dir properties — didier.vojtisek / detail
121. added AssetTypeAspect to split AssetType definitions in parts — didier.vojtisek / detail
122. improved ABS xtext grammar — didier.vojtisek / detail
123. support for StaticMethod (ie. collection) in abs — didier.vojtisek / detail
124. validator in xtend — didier.vojtisek / detail
125. add some validation checks — didier.vojtisek / detail
126. add action support in abs — didier.vojtisek / detail
127. basic abs example — dvojtise / detail
128. gitignore — dvojtise / detail
129. make sure to use symbols from the current action parameters — dvojtise / detail
130. improved example OfficeIT example — dvojtise / detail
131. improved plantuml object diagram layout — didier.vojtisek / detail
132. improved asset model example — didier.vojtisek / detail
133. add asset name in object diagram — didier.vojtisek / detail
134. fix firewall behavior — didier.vojtisek / detail
135. new class diagram containing AssetTypes and their GuardedActions — wragot / detail
136. new test diagram focusing on actions and runtime data — didier.vojtisek / detail
137. mini abs example — didier.vojtisek / detail
138. example with encryption service and informaton — didier.vojtisek / detail
139. initial version of a GEMOC interpreter for absystem — didier.vojtisek / detail
140. add "using" keyword to force reference to behavior definition groups — didier.vojtisek / detail
141. computes the list of all possible guarded actions for current assets — didier.vojtisek / detail
142. deal with assetType inheritance — didier.vojtisek / detail
143. basic print of dynamic data — didier.vojtisek / detail
144. fix pom.xml for CI — didier.vojtisek / detail
145. fix pom.xml for CI — didier.vojtisek / detail
146. fix pom.xml for CI — didier.vojtisek / detail
147. add launch conf — didier.vojtisek / detail
148. basic RTD initialization from property file — didier.vojtisek / detail
149. deal with attribute initialization — didier.vojtisek / detail
150. add missing modules — didier.vojtisek / detail
151. add missing dependencies — didier.vojtisek / detail
152. install some gemoc feature in studio sdk — didier.vojtisek / detail
153. starting expression evaluation — didier.vojtisek / detail
154. move AssetAspect in separate file — didier.vojtisek / detail
155. refactoring to use vm.Value instaed of direct list — didier.vojtisek / detail
156. some comment cleanup — didier.vojtisek / detail
157. implemented basic guard — didier.vojtisek / detail
158. support for implicit gaurd checking action side effect for add — didier.vojtisek / detail
159. implemented hasSideEffect for addAll — didier.vojtisek / detail
160. code cleanup — didier.vojtisek / detail
161. basic loop that query on the console — didier.vojtisek / detail
162. apply action for add and addAll — didier.vojtisek / detail
163. implements conatinasAny — didier.vojtisek / detail
164. fix asset model for relevant example — didier.vojtisek / detail
165. fix initialisation issue — didier.vojtisek / detail
166. fix guard for firewall and router — didier.vojtisek / detail
167. implement "==" and "!=" operators — didier.vojtisek / detail
168. print execution summary when exiting — didier.vojtisek / detail
169. add javafx support to studio — didier.vojtisek / detail
170. move ecore vm to main ecore in order to ease gemoc integration — didier.vojtisek / detail
171. basic support of debug var in gemoc — didier.vojtisek / detail
172. refactoring to support asset feature map in debug variable view — didier.vojtisek / detail
173. improved support for debug  variable and trace — didier.vojtisek / detail
174. mini implem building en .abs — didier.vojtisek / detail
175. add text support for multiple actions in GuardedActions — didier.vojtisek / detail
176. add parse support for lambda expressions and lambda actions — didier.vojtisek / detail
177. fixe lambda action scope — didier.vojtisek / detail
178. fix type computation for lambdaParam in Actions — didier.vojtisek / detail
179. fix lambda expression — didier.vojtisek / detail
180. minor improvement in the building example — didier.vojtisek / detail
181. add some missing files — didier.vojtisek / detail
182. small reception building model in abs — didier.vojtisek / detail
183. add some unimplemented behavior (assign, assetAttribute) — didier.vojtisek / detail
184. implements assign operator — didier.vojtisek / detail
185. implement 'forAll' behavior — didier.vojtisek / detail
186. adding new building example — wragot / detail
187. implement lambda filter — didier.vojtisek / detail
188. improved building example — didier.vojtisek / detail
189. initial version of sirius editor for abs — didier.vojtisek / detail
190. improve agence example — wragot / detail
191. improve agence example — wragot / detail
192. AssetDiagram improvment + smallRecpetion diagram — didier.vojtisek / detail
193. impl remove (and partial clear() ) — didier.vojtisek / detail
194. improve agence example — wragot / detail
195. improved hasSideEffect for clear() — didier.vojtisek / detail
196. fix remove() — didier.vojtisek / detail
197. basic aird for the agency example — didier.vojtisek / detail
198. add possibility to create Asset in sirius editor — didier.vojtisek / detail
199. support for link creation/edition from sirius — didier.vojtisek / detail
200. add warning on missing link type — didier.vojtisek / detail
201. basic xtext/sirius integration — didier.vojtisek / detail
202. add debug layer — didier.vojtisek / detail
203. basic animation layer — didier.vojtisek / detail
204. store applied actions asap — didier.vojtisek / detail
205. run smal Reception  with model animation — didier.vojtisek / detail
206. basic model animation in sirius — didier.vojtisek / detail
207. fixed lookup for level in parent assetTypes — didier.vojtisek / detail
208. fixed assetType color — didier.vojtisek / detail
209. improved feedback on some errors — didier.vojtisek / detail
210. add [0..1] and [1..*] multiplicity in mm and grammar — didier.vojtisek / detail
211. add possibility to use constants in when using using attribute — didier.vojtisek / detail
212. fix geneclipsetoc-maven-plugin pb due to bintray shutdown — didier.vojtisek / detail
213. update gentoc — didier.vojtisek / detail
214. bump to latest gemoc — didier.vojtisek / detail
215. basic xtext check for mandatory attribute — didier.vojtisek / detail
216. grammar simplification of the declaration of asset attribute values — didier.vojtisek / detail
217. add description attribute to Asset, AssetType and GuardedAction — didier.vojtisek / detail
218. add description attribute to Asset, AssetType and GuardedAction — didier.vojtisek / detail
219. add annotation support — didier.vojtisek / detail
220. add design for abs in product — didier.vojtisek / detail
221. add abs.design to pom.xml — didier.vojtisek / detail
222. add missing pom.xml — didier.vojtisek / detail
223. re-enable query for workaspec location on startup — didier.vojtisek / detail
224. align manifest/pom versions — didier.vojtisek / detail
225. enforce utf8 encoding — didier.vojtisek / detail
226. remove unseen char — didier.vojtisek / detail
227. manual conversion of the mini.building.abs.model.example in pddl — didier.vojtisek / detail
228. initial version of  abs 2 gal plugins — didier.vojtisek / detail
229. add in studio — didier.vojtisek / detail
230. fix pom.xml — didier.vojtisek / detail
231. change convert ABS 2 GAL  menu as popup — didier.vojtisek / detail
232. fix pom — didier.vojtisek / detail
233. force java 11 — didier.vojtisek / detail
234. update version — didier.vojtisek / detail
235. replace image-tools.mavenplugin from inria to maven central version — didier.vojtisek / detail
236. abs2GAL conversion : general structure & assets variables — maxime / detail
237. Replaced variables with an array per assetType — maxime / detail
238. Expression to GAL — maxime / detail
239. Fixes for SymbolRef — maxime / detail
240. Fixes for typedefs — maxime / detail
241. Typedefs fix — maxime / detail
242. switch for actionType and assign — maxime / detail
243. Generation of arrays adapted for multiplicity — maxime / detail
244. Fix TypeAndRef — maxime / detail
245. Forall and lambda — maxime / detail
246. base code for handling method calls in expressions — maxime / detail
247. Formatting & DoubleArray — maxime / detail
248. feat(abs) : add command menu for property file init — wragot / detail
249. Actions — maxime / detail
250. HalfDoubleArrayRef — maxime / detail
251. HalfArrayRef Fix: uses ArrayPrefix instead of VariableReference — maxime / detail
252. getType — maxime / detail
253. Cleaned the code — maxime / detail
254. LambdaParameter conversion — maxime / detail
255. Fix for convert2GALbool — maxime / detail
256. Fixed LambdaParameter — maxime / detail
257. contains, containsAll, containsAny — maxime / detail
258. Asset links — maxime / detail
259. feat(abs) : generate init property file for abs model — wragot / detail
260. xtend-gen deletetion — maxime / detail
261. gitignore — maxime / detail
262. very basic parsing test — didier.vojtisek / detail
263. add tests to CI — didier.vojtisek / detail
264. add support for tycho pomless — didier.vojtisek / detail
265. basic test project for abs 2 gal — didier.vojtisek / detail
266. fix xtend build — didier.vojtisek / detail
267. filter — maxime / detail
268. effect of filter on actions — maxime / detail
269. filter for the argument of addAll and removeAll — maxime / detail
270. filter effect on contains, containsAll and containsAny — maxime / detail
271. updated getType for filter — maxime / detail
272. Cleaned the code — maxime / detail
273. LambdaExpression for filter (wip) — maxime / detail
274. LambdaParameter fix for LambdaExpression — maxime / detail
275. get asset type aspects by a fastest way — wragot / detail
276. manage multiple "using" in model abs file — wragot / detail
277. imports — maxime / detail
278. #135 add comments with attribute's type and multiplicity — wragot / detail
279. AssetTypeAspect — maxime / detail
280. unit test example — wragot / detail
281. Test for add — maxime / detail
282. Organization of the test — maxime / detail
283. Completed the test model with all the actions — maxime / detail
284. test for addAdd — maxime / detail
285. Cleaned the tests from the instanceof tests, and introduced assetEquals — maxime / detail
286. Base code for the test of the other actions — maxime / detail
287. assign clear forAll — maxime / detail
288. remove removeAll — maxime / detail
289. gitignore — maxime / detail
290. Code cleaning — maxime / detail
291. Fixed the double conversion of the definitiongroups of the target abs — maxime / detail
292. AssetType count and Asset GALValue changed for inheritance — maxime / detail
293. Cleaned the function assignGALValue — maxime / detail
294. Subtype hierarchy for inheritance and type conversion of IntExpression — maxime / detail
295. cleaning the code — maxime / detail
296. inheritance for actions — maxime / detail
297. changeSuperType — maxime / detail
298. generatedArrays properties attributes inherited by subtypes — maxime / detail
299. Removed TypeAndRef, and refactored the code — maxime / detail
300. Change for extends: AssetType and AssetTypeReference — maxime / detail
301. removed DefType, changed the way arrays are generated — maxime / detail
302. fix MemberType.count — maxime / detail
303. convert2GALArrayRef(AssetType memberSubType) — maxime / detail
304. replaced AssetType by MemberType in getType and convert2GALArrayRef — maxime / detail
305. comments — maxime / detail
306. for each subtypes — maxime / detail
307. deleted generated files — maxime / detail
308. gitignore — maxime / detail
309. deleted generated file — maxime / detail
310. gitignore — maxime / detail
311. remove hidden special char — didier.vojtisek / detail
312. code cleaning and change on properties — maxime / detail
313. removed old debug code — maxime / detail
314. replaced ref to transition with guardedAction — maxime / detail
315. TransitionContext — maxime / detail
316. Base for modification of the conversion algorithm — maxime / detail
317. Actions — maxime / detail
318. Adapted existing code to the new context & multiple transitions — maxime / detail
319. containsAny — maxime / detail
320. conversion of references of multiplicity one — maxime / detail
321. AssetTypeReference & AssetTypeAttribute — maxime / detail
322. AssetTypeAttribute — maxime / detail
323. copies and AssetTypeReference multiplicity many — maxime / detail
324. Updated the tests — maxime / detail
325. gitignore — maxime / detail
326. Add gitlab-ci  build for all branches — didier.vojtisek / detail
327. Conversion of boolean methods to intexpression — maxime / detail
328. separated subtypes registration from counting — maxime / detail
329. handling of multiple GuardedAction with the same name — maxime / detail
330. gitignore global — maxime / detail
331. NotExpression — maxime / detail
332. GenerateAssetBasedSystemDsl.mwe2 — maxime / detail
333. simple test for the abs dsl — maxime / detail
334. test contains — maxime / detail
335. test containsAll containsAny filter — maxime / detail
336. featuresMap — maxime / detail
337. replaced featuresMap by assetAttributeValues — maxime / detail
338. Factored the code for ConstantExpressionAspect.value2int — maxime / detail
339. test for assetAttributeValues — maxime / detail
340. added Goal to ABS — didier.vojtisek / detail
341. delete bin from git — didier.vojtisek / detail
342. ignore bin and test-bin, xtend-gen — didier.vojtisek / detail
343. add description and annotiation support to Goal — didier.vojtisek / detail
344. basic version of the Goal for ABS — didier.vojtisek / detail
345. fix file search — didier.vojtisek / detail
346. avoid use of @beforeClass — didier.vojtisek / detail
347. tests updated — maxime / detail
348. enable Asset as possible Symbol in Expression — didier.vojtisek / detail
349. String as Enum — maxime / detail
350. test updated — maxime / detail
351. add another test — didier.vojtisek / detail
352. updated the comments — maxime / detail
353. duplicate transitions for parameters subtypes — maxime / detail
354. memberRef2typedvalue — maxime / detail
355. GuardedActionAspectTest — maxime / detail
356. test fix — maxime / detail
357. added null test in GALBuildHelper — maxime / detail
358. fix the tests — maxime / detail
359. test — maxime / detail
360. Goal2Gal: conversion of goal expressions — maxime / detail
361. initialization transitions — maxime / detail
362. MemberBaseType — maxime / detail
363. tests — maxime / detail
364. test — maxime / detail
365. disabling the inconsistent test — maxime / detail
366. removed the -1 in the gal to avoid ITS bug — maxime / detail
367. Fix duplicate init transition — maxime / detail
368. containsAny for goals — maxime / detail
369. fix generatedSizeTypedef — maxime / detail
370. uninitialized variables — maxime / detail
371. Allow assetGroups to be imported — maxime / detail
372. test — maxime / detail
373. rework of ABS2GALHandler: added goal selection — maxime / detail
374. submonitor more work — maxime / detail
375. debug — maxime / detail
376. get the ABS from the goal — maxime / detail
377. Reachability — maxime / detail
378. genFolder — maxime / detail
379. folder creation & notflat file — maxime / detail
380. removed static — maxime / detail
381. filter — maxime / detail
382. add goal example for agency use case — wragot / detail
383. docker image with mvn 3.8.4 — didier.vojtisek / detail
384. fix uninitializedCellsSize for multiplicity many — maxime / detail
385. clean aspect code — maxime / detail
386. fix the order of conversion — maxime / detail
387. Asset mapping — maxime / detail
388. automatically create a gitignore in gen folder — maxime / detail
389. build properties — maxime / detail
390. xtend 2 java — maxime / detail
391. added newlines — maxime / detail
392. add default value for Attribute in metamodel — didier.vojtisek / detail
393. added textual syntax to attribute default value — didier.vojtisek / detail
394. agence behavious: replace == false with ! — wragot / detail
395. add a parsing test for default attribute value — didier.vojtisek / detail
396. added a type validation for default attribute value — didier.vojtisek / detail
397. reparse the spec — maxime / detail
398. deal with default values for multiplicity >1 — didier.vojtisek / detail
399. added some check about multiplicity — didier.vojtisek / detail
400. removed the duplication of transitions with containsAny — maxime / detail
401. static values no longer initialized — maxime / detail
402. fix expr2GALFilterCondition & removed unused functions — maxime / detail
403. test — maxime / detail
404. implement StringValueAspect in simulator — didier.vojtisek / detail
405. fix simulator default value — didier.vojtisek / detail
406. use default attribute values in building example — didier.vojtisek / detail
407. isEmpty — maxime / detail
408. test isEmpty — maxime / detail
409. added a test for https://gitlab.inria.fr/atsyra/atsyra2/-/issues/145 — didier.vojtisek / detail
410. fix isEmpty — maxime / detail
411. test for filter with isEmpty — maxime / detail
412. agence goal — maxime / detail
413. Scenario file — maxime / detail
414. implements a warning about use of possiblibly dynamic attribute in Asset — didier.vojtisek / detail
415. ImpliesExpression ecore — maxime / detail
416. ImpliesExpression xtext — maxime / detail
417. ImpliesExpression test — maxime / detail
418. manywitness — maxime / detail
419. ImpliesExpression 2gal — maxime / detail
420. add notion of Contracts in the metamodel — didier.vojtisek / detail
421. apply introduction of Guard abstract class refactoring to xtext editor — didier.vojtisek / detail
422. ImpliesExpression 2gal test — maxime / detail
423. ScenarioBuilder for empty path — maxime / detail
424. apply introduction of Guard refactoring to gemoc simulator — didier.vojtisek / detail
425. apply introduction of Guard refactoring to abs2gal transfo — didier.vojtisek / detail
426. removed assumeNoException — maxime / detail
427. scenario file: 1 per line — maxime / detail
428. ABSScenarioBuilder for multiple witnesses — maxime / detail
429. add org.opentest4j dependency to full support of junit4 and junit5 — didier.vojtisek / detail
430. bump to eclipse 2021-12, tycho 2.5.0, xtend/xtext 2.25.0 — didier.vojtisek / detail
431. remove xtend-gen from git — didier.vojtisek / detail
432. add textual editor support for Contracts — didier.vojtisek / detail
433. attribute defaultValues — maxime / detail
434. add severity on Contract — didier.vojtisek / detail
435. add contracts to building basic example — didier.vojtisek / detail
436. defaultValues static test — maxime / detail
437. allows empty "contracts {}" syntax — didier.vojtisek / detail
438. add a basic test for contract — didier.vojtisek / detail
439. add Contract and GuardAspects — didier.vojtisek / detail
440. update class diagrams — didier.vojtisek / detail
441. defaultValues dynamic — maxime / detail
442. defaultValues dynamic test — maxime / detail
443. simplification of the rules — didier.vojtisek / detail
444. allow any order in DefinitionGroup — didier.vojtisek / detail
445. allow any order in AssetGroup — didier.vojtisek / detail
446. allow interleaving of AssetGroup and DefinitionGroup in same file — didier.vojtisek / detail
447. allow interleaving of defintion in groups — didier.vojtisek / detail
448. allows interleaving of reference/attribute definitions — didier.vojtisek / detail
449. tests — maxime / detail
450. simplify assetGroup syntax — didier.vojtisek / detail
451. update examples with simplified AssetGroup syntax — didier.vojtisek / detail
452. update tests with simplified AssetGroup syntax — didier.vojtisek / detail
453. update tests with simplified AssetGroup syntax — didier.vojtisek / detail
454. fix npe on completion on aspect — didier.vojtisek / detail
455. default values with inheritance — maxime / detail
456. default values inheritance test — maxime / detail
457. agence_goals with defaults — maxime / detail
458. add diagram for interpreter vm concepts — didier.vojtisek / detail
459. generalize GuardedActionOccurence into GuardOccurence — didier.vojtisek / detail
460. continue code refactoring to GuardedAction -> Guard — didier.vojtisek / detail
461. implemented search for all applica ble occurences of contracts — didier.vojtisek / detail
462. contracts in precondition — maxime / detail
463. fix evalMember of static attribute — didier.vojtisek / detail
464. add new ui plugin to the studio — didier.vojtisek / detail
465. add automatic builder and marker — didier.vojtisek / detail
466. use warning icon marker — didier.vojtisek / detail
467. conversion of contracts guards to GAL, with parameter instantiation — maxime / detail
468. restrict check to only static contracts — didier.vojtisek / detail
469. contract 2gal test — maxime / detail
470. getGloballyTypedValue — maxime / detail
471. enable contract on cross ref files — didier.vojtisek / detail
472. implements isEmpty in interpreter — didier.vojtisek / detail
473. enable project builder — didier.vojtisek / detail
474. globally typed values for comparisons — maxime / detail
475. unconfigure xtext on plugins projects — maxime / detail
476. agence example goal update — wragot / detail
477. scenarios built as List<GuardOccurence> — maxime / detail
478. monitor — maxime / detail
479. getPossibleValuesInFinalStates from gal output — maxime / detail
480. invariant for GalSpecificationScenarios — maxime / detail
481. longer scenarios (with invariants) — maxime / detail
482. ABS Scenario — maxime / detail
483. removed comments — maxime / detail
484. remove duplicate scenarios — maxime / detail
485. build.properties — maxime / detail
486. only 1 scenarios file (and list) — maxime / detail
487. merge goes_from_to_via actions with CloseableAccess — wragot / detail
488. add new goals for agence example — wragot / detail
489. read number of witnesses from preference store — maxime / detail
490. recursive longer witnesses — maxime / detail
491. removed parameter separation — maxime / detail
492. added the size of scenarios in their string — maxime / detail
493. class for GAL invariants that forbids some values — maxime / detail
494. rewriting of the longerScenario algo with a queue — maxime / detail
495. execution time — maxime / detail
496. print more states — maxime / detail
497. stop the loop if operation is cancelled — maxime / detail
498. replace Map<K,Set<V>> with HashMultimap<K, V> — maxime / detail
499. fixed missing zeros in possible values — maxime / detail
500. prune invariants for already seen scenarios — maxime / detail
501. timeout on recursive longer witnesses — maxime / detail
502. test_parameters independent of transitions ordering — maxime / detail
503. --trace-states — maxime / detail
504. Basic evaluator for GAL IntExpression — maxime / detail
505. abs2gal invariants log — maxime / detail
506. fix scenarios accumulation — maxime / detail
507. attributes convert2GALMultiplicityMany — maxime / detail
508. remove experimental early version of the abs plugins — didier.vojtisek / detail
509. adapted action conversion for attribute collections — maxime / detail
510. getType for constants — maxime / detail
511. replaced AssetType with MemberType where necessary — maxime / detail
512. basic implementation for abs report including witness plan — didier.vojtisek / detail
513. fix addAll and clear — maxime / detail
514. test for attribute collection — maxime / detail
515. added attributes types to type provider — maxime / detail
516. collection of multiplicity 1-* in precondition — maxime / detail
517. register collections of multiplicity 1-* — maxime / detail
518. init — maxime / detail
519. fix for Memberselection expr2boolExpr for multiplicity many — maxime / detail
520. added guard test for multiplicity many — maxime / detail
521. test for multiplicity OneOrMany — maxime / detail
522. improve absreport — didier.vojtisek / detail
523. force the order of generation of init transitions — maxime / detail
524. fix tests — didier.vojtisek / detail
525. improve enum definition — didier.vojtisek / detail
526. change set to list to force order — maxime / detail
527. improved enum and support for dedicated qualified name separator — didier.vojtisek / detail
528. fix textual grammar tests due to namespace token — didier.vojtisek / detail
529. new test for Enum — didier.vojtisek / detail
530. fix test for namespace — didier.vojtisek / detail
531. add missing test before registering collections as MultiplicityOneOrMany — maxime / detail
532. fix test — maxime / detail
533. add EnumValue for interpreter — didier.vojtisek / detail
534. helper for absreport — maxime / detail
535. AbsreportHelper add scenarios to report — maxime / detail
536. register shortest senarios — maxime / detail
537. fix test heuristic in order to properly verify the validator — didier.vojtisek / detail
538. implement type validation for enum — didier.vojtisek / detail
539. implement some enum related behavior in the interpreter — didier.vojtisek / detail
540. reuse the Goal ResourceSet — maxime / detail
541. command from gal output — maxime / detail
542. multiplicity 0-1 can be initialized to -1 — maxime / detail
543. fix tests on default values — maxime / detail
544. moved galCommandFromGalOutput to AbstractGalReachability — maxime / detail
545. organize imports — maxime / detail
546. custom scope — maxime / detail
547. scenarios constructors — maxime / detail
548. don't duplicate witnesses — maxime / detail
549. fix duration to millis — maxime / detail
550. add longer scenarios to report — maxime / detail
551. formatter for ABSReport — maxime / detail
552. removed generated test — maxime / detail
553. force java 11 — didier.vojtisek / detail
554. unique names for actions in agence — maxime / detail
555. fix test — maxime / detail
556. fix exampes according to #175 — didier.vojtisek / detail
557. try to prevent npe if resource isn't loaded correctly — didier.vojtisek / detail
558. count integer and string — maxime / detail
559. map integers to galValues — maxime / detail
560. test IntConstant — maxime / detail
561. integer in assetmap — maxime / detail
562. filter for duplicate attributes in assetmap — maxime / detail
563. test integer mapping ordering — maxime / detail
564. register PrimitiveDataType typedefs — maxime / detail
565. update tests — maxime / detail
566. removed TransitionContext — maxime / detail
567. GALTypeDeclaration is no longer passed as a parameter — maxime / detail
568. new validator for unique name for Goal, GuardedActions, Asset, AssetType — wragot / detail
569. add missig fix for #175 — didier.vojtisek / detail
570. classes for representing states in ABS — maxime / detail
571. ABSStateBuilder from gal — maxime / detail
572. getters — maxime / detail
573. initial and final states in Scenario — maxime / detail
574. convert states from Scenario to ABSGoalWitness — maxime / detail
575. initial and final states in convert2ABSScenario — maxime / detail
576. fixed missing last found witness — maxime / detail
577. mapping2State bugfix — maxime / detail
578. fix attributestate added to assetstate — maxime / detail
579. Enums is abs2gal — maxime / detail
580. tests — maxime / detail
581. qualified names — maxime / detail
582. tests — maxime / detail
583. scenarioBuilder update with qualified names — maxime / detail
584. ABSStateBuilder updated with qualified name — maxime / detail
585. fix ABSScenarioBuilder — maxime / detail
586. EnumConstant in ABSReport.xtext — maxime / detail
587. enum keyword to prevent ambiguity — maxime / detail
588. xtext gen — maxime / detail
589. removed generated test — maxime / detail
590. enum test — maxime / detail
591. Enums in ABSStateBuilder — maxime / detail
592. fixed ScenarioBuilder bug with params — maxime / detail
593. initialization of new maps — maxime / detail
594. reporthelper with enums — maxime / detail
595. enriched xtext — maxime / detail
596. split absScope in a function — maxime / detail
597. Cross-ref to witnesses with scope — maxime / detail
598. deleted generated test — maxime / detail
599. property enforces initialization — maxime / detail
600. tests — maxime / detail
601. test — maxime / detail
602. WIP: code formatter for abs files — wragot / detail
603. fix parsing of parameters in transition names — maxime / detail
604. fix formatting of assetstates and extended metadata — maxime / detail
605. nbStep formatting — maxime / detail
606. formatter done — wragot / detail
607. reportHelper take into account new metadata — maxime / detail
608. longer scenario metadata added — maxime / detail
609. fixes on ABSStateBuilder — maxime / detail
610. ensures the same witness is not referenced twice in previous — maxime / detail
611. ABSReport serializer customized for ReportMetadata — maxime / detail
612. serializer test — maxime / detail
613. finish the sequence feeder — maxime / detail
614. test — maxime / detail
615. value -> values — maxime / detail
616. serializer considers multiplicity — maxime / detail
617. test — maxime / detail
618. fix for the scope issue when saving the report resource — maxime / detail
619. changed ABSReport qualified names, and upgraded ScopeProvider to xtend — maxime / detail
620. tests — maxime / detail
621. fix the conflict in the State Builder — maxime / detail
622. ABSReport scope test for features types — maxime / detail
623. moved getContainerType — maxime / detail
624. scope for assetlink reference — maxime / detail
625. fix for type inheritance & import aware — maxime / detail
626. LambdaExpression no longer inherits MemberSelection — maxime / detail
627. add ascidoctor to docker image — didier.vojtisek / detail
628. clear previous witness when adding new ones — maxime / detail
629. test publish web site — didier.vojtisek / detail
630. fix color for external components — didier.vojtisek / detail
631. typeFor for lambdaParameter in LambdaExpression — maxime / detail
632. refine deploy doc condition — didier.vojtisek / detail
633. check for cycles in asset type hierarchy — maxime / detail
634. assetTypeHierarchy safe when cycles are present — maxime / detail
635. intro single domain / multi domain — didier.vojtisek / detail
636. test — maxime / detail
637. reworked ABS scoping — maxime / detail
638. static methods only in scope for collections — maxime / detail
639. added 'obsolete' metadata — maxime / detail
640. clean generated file other than report — maxime / detail
641. add some null test — maxime / detail
642. ABSBuilder marks witnesses as obsolete in the report — maxime / detail
643. adding (and refreshing) scenarios unmark obsolete — maxime / detail
644. moved the setStates calls — maxime / detail
645. fix for when the report file is empty — maxime / detail
646. also mark witnesses obsolete on abs file deletion — maxime / detail
647. InequalityExpression in model — maxime / detail
648. inequality comparison xtext — maxime / detail
649. comparison in k3dsa — maxime / detail
650. typo — maxime / detail
651. InequalityComparisonExpression — maxime / detail
652. test — maxime / detail
653. type provider for more expressions — maxime / detail
654. type checker for inequality comparison — maxime / detail
655. test — maxime / detail
656. rename — maxime / detail
657. typo — maxime / detail
658. equality type checker — maxime / detail
659. fix for broken crossrefs in types of inequalites — maxime / detail
660. Version datatype and VersionConstant — maxime / detail
661. Version contructor — maxime / detail
662. abs version xtext — maxime / detail
663. version parsing test — maxime / detail
664. typeProvider for Version — maxime / detail
665. absystem_vm model with VersionValue (and EnumValue) — maxime / detail
666. VersionValue in interpreter_vm — maxime / detail
667. Version comparison — maxime / detail
668. Version in k3dsa — maxime / detail
669. comment — maxime / detail
670. test — maxime / detail
671. version 2 gal by enumeration — maxime / detail
672. formatter for EnumDataType — wragot / detail
673. ensure the report exists before marking witnesses obsolete — maxime / detail
674. imported ABS grammar into ABSReport grammar, and reuse — maxime / detail
675. version in report — maxime / detail
676. undefined values omitted in report — maxime / detail
677. tests — maxime / detail
678. Comparator for guardOccurence by text — maxime / detail
679. organized abs2gal code — maxime / detail
680. implements Serializable — maxime / detail
681. previous witness: only reported ones — maxime / detail
682. filter scenarios equals up to permutation — maxime / detail
683. handle scenario size — maxime / detail
684. scenarios file filtered — maxime / detail
685. fix wrong action naming — maxime / detail
686. no comparison expression for collections — maxime / detail
687. test — maxime / detail
688. action check vs collections — maxime / detail
689. fixed typeFor for symbolRef — maxime / detail
690. test — maxime / detail
691. allow empty actions in guardedAction — maxime / detail
692. allow multiple actions in lambaAction — maxime / detail
693. simplified the grammar — maxime / detail
694. formatter — maxime / detail
695. ABSReport — maxime / detail
696. check that GuardedActions have actions — maxime / detail
697. allow empty collection default — maxime / detail
698. updated validator — maxime / detail
699. updated abs2gal — maxime / detail
700. added syntactic constraints between multiplicity and default — maxime / detail
701. test — maxime / detail
702. formatter fix — maxime / detail
703. checker for empty defaults — maxime / detail
704. test — maxime / detail
705. renaiming scope — maxime / detail
706. scope for members — maxime / detail
707. fix the asset type hierarchy for target assets in links — maxime / detail
708. test — maxime / detail
709. clean imports — maxime / detail
710. Traceability mapping, save&load — maxime / detail
711. TraceabilityMapping getters — maxime / detail
712. better add — maxime / detail
713. build traceabilityMapping during abs2gal — maxime / detail
714. added parameter names — maxime / detail
715. scenario to string using TraceabilityMapping — maxime / detail
716. constructor — maxime / detail
717. generating traceabilityMap file during abs2gal — maxime / detail
718. galoutput 2 absstring handler — maxime / detail
719. fixed wrong split token — maxime / detail
720. expr2value wrapbool conversion for boolean expressions — maxime / detail
721. intermediate states in scenario — maxime / detail
722. scenario builder adapted for intermediate states — maxime / detail
723. unmodifiable maps and multimaps in getters — maxime / detail
724. EnumLitteral Type getter — maxime / detail
725. ABS state 2 GAL mapping — maxime / detail
726. Multimap over HashMultimap — maxime / detail
727. Invariant equals override — maxime / detail
728. fixed variable names — maxime / detail
729. add invariants from intermediate states in abs2gal — maxime / detail
730. fix missing invariants from final states — maxime / detail
731. none value set to -1 — maxime / detail
732. handling null value in evalBooleanExpression — maxime / detail
733. update tests — maxime / detail
734. more actions — maxime / detail
735. more on alarms — maxime / detail
736. fix bug when there is no scenarios — maxime / detail
737. even bigger goals — maxime / detail
738. evalExpression for ImpliesExpression — maxime / detail
739. fix isEmpty for interpreter — maxime / detail
740. fix evaluation of attribute collections — maxime / detail
741. encapsulate timeout — maxime / detail
742. TimeoutException — maxime / detail
743. basic timeout handling — maxime / detail
744. galreach timeout info in returned status — maxime / detail
745. timeout forwarded from galreach — maxime / detail
746. galreach timeout satus used in the inital call too — maxime / detail
747. serialVersionUID — maxime / detail
748. handling timeout during witnesses computation — maxime / detail
749. abs transfo common project — maxime / detail
750. deletion of useless features and actions — maxime / detail
751. actions variables — maxime / detail
752. multiple ABS — maxime / detail
753. Expression variables — maxime / detail
754. added slicing to abs2gal — maxime / detail
755. fix bug with delete — maxime / detail
756. implemented referredCells for NotExpression — maxime / detail
757. abs merge — maxime / detail
758. MemberSelection arg validation — maxime / detail
759. Action arg validation — maxime / detail
760. test — maxime / detail
761. abs merge & slicing saved to xmi — maxime / detail
762. adding macosx aarch64 eclipse build — didier.vojtisek / detail
763. add mac use info — didier.vojtisek / detail
764. transformation ABSSet -> merged ABS with copy — maxime / detail
765. fix assetmap — maxime / detail
766. slice on transformed goal — maxime / detail
767. save resource after slicing — maxime / detail
768. keep variables mentioned in useful actions — maxime / detail
769. remove dangling references to useless variables — maxime / detail
770. initializing abs dev doc — didier.vojtisek / detail
771. ++ — didier.vojtisek / detail
772. add some more info — didier.vojtisek / detail
773. update architecture — didier.vojtisek / detail
774. removed useless attributes from AssetAttributeValue — maxime / detail
775. slicing removes links on useless variables — maxime / detail
776. added goal name in slice file name — maxime / detail
777. slice file name change moved to abs2gal — maxime / detail
778. add apple M1 link — didier.vojtisek / detail
779. docs — pinchina / detail
780. slice file name — maxime / detail
781. rename fr.irisa.atsyra.building.doc into fr.irisa.atsyra.doc — didier.vojtisek / detail
782. allow right click for 'ABS to GAL' menu from editor — wragot / detail
783. fix navigation bar — didier.vojtisek / detail
784. count assets before using the count — maxime / detail
785. test — maxime / detail
786. Restructured documentation to better handle single/multi domains — didier.vojtisek / detail
787. change to features conversion — maxime / detail
788. change to features conversion for multiplicity many — maxime / detail
789. change to uninitialized cells initialization — maxime / detail
790. initialization for multiplicity many — maxime / detail
791. indexes of subtypes — maxime / detail
792. cell is data — maxime / detail
793. tests — maxime / detail
794. statebuilder — maxime / detail
795. setup state builder after abs2gal — maxime / detail
796. fix reference of mult many — maxime / detail
797. fix for arrays not generated — maxime / detail
798. fixes — maxime / detail
799. fix NPE — maxime / detail
800. tests — maxime / detail
801. undefined keyword — maxime / detail
802. validator for undefined — maxime / detail
803. validator for undefined — maxime / detail
804. undefined as default — maxime / detail
805. undefined value in k3dsa — maxime / detail
806. undefined constant 2 gal — maxime / detail
807. renaming — maxime / detail
808. control undefined for expressions — maxime / detail
809. moved helper to new file — maxime / detail
810. control for non lambdas — maxime / detail
811. added optional — maxime / detail
812. undefined control for lambdas — maxime / detail
813. transformation sequence — maxime / detail
814. undefined control in abs2gal — maxime / detail
815. missing copies — maxime / detail
816. slicing test — maxime / detail
817. undefined control test — maxime / detail
818. test project in pom — maxime / detail
819. missing test for undefined — maxime / detail
820. fixed infinite loop in filter conditions — maxime / detail
821. dummy param — maxime / detail
822. removed control of features on top level — maxime / detail
823. fix parser for MemberSelection outside of actions — maxime / detail
824. added members in scope in actions — maxime / detail
825. removed features from scope of collection members — maxime / detail
826. content assist for actionType wrt multiplicity — maxime / detail
827. remove some old xtend-maven-plugin dependencies — william / detail
828. fix pom.xml — didier.vojtisek / detail
829. some more doc — didier.vojtisek / detail
830. fix links — didier.vojtisek / detail
831. add abs language reference doc — didier.vojtisek / detail
832. add some language reference about atg, building, and abs — didier.vojtisek / detail
833. Grammaire PDDL pour Xtext (pour l'éditeur PDDL) — adrien.thomas / detail
834. pom cleaning + profile to choose all (default) or abs only plugins — william / detail
835. prevent build failure if there is not tests yet in a project — william / detail
836. add tycho-surefire-plugin version for consistency — william / detail
837. WIP — william / detail
838. small ABSStateBuilder bug on galstring2Mapping — william / detail
839. WIP — william / detail
840. wrong deletion — william / detail
841. New Version : Correct Compilation Error and Adding PDDL Functions and Axioms — adrien.thomas / detail
842. To Merge — adrien.thomas / detail
843. fix invariant with globally typed values — maxime / detail
844. Lots of bug fixes/changes for the editor. — adrien.thomas / detail
845. fixed expr2typedassetRef — maxime / detail
846. tests — maxime / detail
847. updae smallReception example — didier.vojtisek / detail
848. implement missing getName method — didier.vojtisek / detail
849. Split abs2gal handler — maxime / detail
850. fix orientation of one of the badgeDoor of SmallReception example — didier.vojtisek / detail
851. refactoring of longer scenarios — maxime / detail
852. timeout and cancel — maxime / detail
853. moved abs2abs ui in its own plugin — maxime / detail
854. updated manifest & pom — maxime / detail
855. fix goal fort SmallReception example — didier.vojtisek / detail
856. default gen folder — maxime / detail
857. basic viewpoint extension dedicated to eclipse platform — didier.vojtisek / detail
858. add new absystem.eclipse.design to the build and to the studio — didier.vojtisek / detail
859. remove dependencies to eclipse UI incompatible with siriusweb — didier.vojtisek / detail
860. abs2scenarios — maxime / detail
861. pom — maxime / detail
862. pom — maxime / detail
863. some updates in the odesign refactoring — didier.vojtisek / detail
864. add emfjson update site to pom.xml — didier.vojtisek / detail
865. add emfjson to atsyra studio — didier.vojtisek / detail
866. try using https — didier.vojtisek / detail
867. abs2galscenarios — maxime / detail
868. setupabs — maxime / detail
869. cleaning — maxime / detail
870. setupgenfolder — maxime / detail
871. improved console usage in handlers — maxime / detail
872. GalReachability aware of messaging system — maxime / detail
873. setmessagingsystem — maxime / detail
874. revert the goal transformation for absreport — maxime / detail
875. gal output to gal console — maxime / detail
876. use forked version of sirius emfjson update site — didier.vojtisek / detail
877. printing scenarios when they are found — maxime / detail
878. UndefinedValue instead of null — maxime / detail
879. undefined receiver makes action unapplicable — maxime / detail
880. undefined in hasSideEffect — maxime / detail
881. fix presentation of tags in the animation layer — didier.vojtisek / detail
882. hasSideEffect for forAll — maxime / detail
883. simplification — maxime / detail
884. split — maxime / detail
885. subtyped assets — maxime / detail
886. fix ABSStateBuilder — maxime / detail
887. added undefined in report for attributes — maxime / detail
888. fix statebuilder galvalue — maxime / detail
889. allow undefined in ReferenceState in absreport — maxime / detail
890. fix for undefined — maxime / detail
891. initial values for door without key — didier.vojtisek / detail
892. fix animation refresh with split diagram specification — didier.vojtisek / detail
893. remove debug message — didier.vojtisek / detail
894. remove debug messages — didier.vojtisek / detail
895. remove its.gal.sdk from studio — didier.vojtisek / detail
896. slf4j — maxime / detail
897. logging when no scenario is found — maxime / detail
898. clean pom — maxime / detail
899. changed log level — maxime / detail
900. ReDébut du Compilateur ABS2PDDL — adrien.thomas / detail
901. Multiple fixes + 1st Test work — adrien.thomas / detail
902. New Test — adrien.thomas / detail
903. collect abs models from project files — maxime / detail
904. only include abs that are referenced — maxime / detail
905. removed stacktrace on timeout — maxime / detail
906. comments & exceptions — maxime / detail
907. WIP: single abs file to json ok — william / detail
908. full model export and type references fixed — william / detail
909. Adding PDDLAction to the PDDLDomain (tests do not pass yet) — adrien.thomas / detail
910. Fix PDDLGrammar — adrien.thomas / detail
911. adding img folder to build — william / detail
912. abs2gal trace project — maxime / detail
913. fix implem — maxime / detail
914. trace model extended — maxime / detail
915. TraceModel query util — maxime / detail
916. type number only for AssetTypeLink — maxime / detail
917. abs2gal trace model construction — maxime / detail
918. pom — maxime / detail
919. Before refactoring — adrien.thomas / detail
920. tracemodel in abs2gal ui — maxime / detail
921. capra repo — maxime / detail
922. trace build — maxime / detail
923. replaced traceabilitymapping in abs2gal — maxime / detail
924. names in trace — maxime / detail
925. Refactoring Terminé : — adrien.thomas / detail
926. tests — maxime / detail
927. Flatten trace model — maxime / detail
928. Add Containment capability on AssetReference (ecore/xtext) — didier.vojtisek / detail
929. traceModel for scenarioBuilder — maxime / detail
930. formatting — didier.vojtisek / detail
931. trick to use a container reference in the building — didier.vojtisek / detail
932. basic containment support — didier.vojtisek / detail
933. statebuilder start refactoring — maxime / detail
934. tests — maxime / detail
935. statebuilder refactoring (wip) — maxime / detail
936. mapping2state refactored with traceModel — maxime / detail
937. state2mapping refactoring (wip) — maxime / detail
938. statebuilder refactoring with links (wip) — maxime / detail
939. Lots of Fixes/Changes + Added Static Methods — adrien.thomas / detail
940. state builder refactoring — maxime / detail
941. The VSE domain fully compiles and runs — adrien.thomas / detail
942. The VSE problem fully compiles and runs — adrien.thomas / detail
943. clear — maxime / detail
944. more defaults — maxime / detail
945. log trace — maxime / detail
946. more efficient subtyped assets — maxime / detail
947. log — maxime / detail
948. add main to spec — maxime / detail
949. test — maxime / detail
950. fix constants value in statebuilder — maxime / detail
951. ignore *-gen folders from global abs scope — maxime / detail
952. abs2json command categoryId — maxime / detail
953. pom: full build deploys plugins — maxime / detail
954. fix unchecked cast — maxime / detail
955. pom fix — maxime / detail
956. Advance ABS2PDDL : — adrien.thomas / detail
957. New version of enumerated type — adrien.thomas / detail
958. Optimization: unassigner function — adrien.thomas / detail
959. Fix Unassigner — adrien.thomas / detail
960. ForAll Support — adrien.thomas / detail
961. do not show containment link — didier.vojtisek / detail
962. add helper to compute the full type hierarchy (incl. Any) of AssetYpe — didier.vojtisek / detail
963. Improved management of containment — didier.vojtisek / detail
964. makes plantuml generator more robust to link without type — didier.vojtisek / detail
965. improved building example with containment — didier.vojtisek / detail
966. fixed search in type hierarchy — didier.vojtisek / detail
967. Default Values Support — adrien.thomas / detail
968. add management of deletion of Asset from sirius — didier.vojtisek / detail
969. improved look and feel o sirius — didier.vojtisek / detail
970. minor changes — didier.vojtisek / detail
971. use latest version of GEMOC studio based on Eclipse 2021-12 — didier.vojtisek / detail
972. split tycho build / pomfirst build — didier.vojtisek / detail
973. use fr.irisa.atsyra.bundle groupId for all artefact built with tycho — didier.vojtisek / detail
974. simplification use tycho pomless when applicable — didier.vojtisek / detail
975. adding absystem.model pomfirst version — didier.vojtisek / detail
976. deploy pomfirst jars — didier.vojtisek / detail
977. distributionManagement — didier.vojtisek / detail
978. project id (based on value displayed on project home page) — didier.vojtisek / detail
979. fixed PROJECT_ID in distribution_management — didier.vojtisek / detail
980. add fr.lip6.move.gal with rebuild maven dependencies — didier.vojtisek / detail
981. pomfirst for several projects — didier.vojtisek / detail
982. add missing jars — didier.vojtisek / detail
983. add pomfirst build of 2 projects — didier.vojtisek / detail
984. k3 version is now set in the bom — didier.vojtisek / detail
985. add pomfirst version of fr.irisa.atsyra.absystem.gal.transfo — didier.vojtisek / detail
986. fix build error with topoplan.win32 — didier.vojtisek / detail
987. New PDDL Tests (ABS2PDDL) — adrien.thomas / detail
988. Validator classes — maxime / detail
989. EMF validator for AssetLink — maxime / detail
990. transfering xtext validator into ecore (wip) — maxime / detail
991. ABS Expression Type provider in model — maxime / detail
992. ABS validator in model (wip) — maxime / detail
993. fix — maxime / detail
994. ABS Type Provider — maxime / detail
995. common supertype — maxime / detail
996. inequality comparable — maxime / detail
997. validator for comparison — maxime / detail
998. Action validator — maxime / detail
999. Action validator — maxime / detail
1000. validator MemberSelection — maxime / detail
1001. SymbolRef validator — maxime / detail
1002. StaticMethod validator — maxime / detail
1003. AssetType validator — maxime / detail
1004. deleted old xtext validators — maxime / detail
1005. fix test for cycle detection — maxime / detail
1006. better message for default types — maxime / detail
1007. tests — maxime / detail
1008. change java version to 11 — maxime / detail
1009. removed custom validation in the model plugin — maxime / detail
1010. error codes — maxime / detail
1011. comments — maxime / detail
1012. fix bug with equality between assettype expressions — maxime / detail
1013. Adding New Tests + Unassigner Patch — adrien.thomas / detail
1014. fixed bug for LambdaParameter in LambdaAction — maxime / detail
1015. fixed case lambda argument for filters — maxime / detail
1016. doc: typed expressions — maxime / detail
1017. doc: values and arrays — maxime / detail
1018. actions & structure for expressions — maxime / detail
1019. doc: conversion of expressions — maxime / detail
1020. doc : notations — maxime / detail
1021. doc abs2gal — maxime / detail
1022. doc — maxime / detail
1023. doc AssetType Hierarchy — maxime / detail
1024. extracted ABS doc into existing one — maxime / detail

#656 (Aug 23, 2022, 4:15:20 PM)

1. ReDébut du Compilateur ABS2PDDL — adrien.thomas / detail
2. Multiple fixes + 1st Test work — adrien.thomas / detail
3. New Test — adrien.thomas / detail
4. Adding PDDLAction to the PDDLDomain (tests do not pass yet) — adrien.thomas / detail
5. Fix PDDLGrammar — adrien.thomas / detail
6. Before refactoring — adrien.thomas / detail
7. Refactoring Terminé : — adrien.thomas / detail
8. Lots of Fixes/Changes + Added Static Methods — adrien.thomas / detail
9. The VSE domain fully compiles and runs — adrien.thomas / detail
10. The VSE problem fully compiles and runs — adrien.thomas / detail
11. Advance ABS2PDDL : — adrien.thomas / detail
12. New version of enumerated type — adrien.thomas / detail
13. Optimization: unassigner function — adrien.thomas / detail
14. Fix Unassigner — adrien.thomas / detail
15. ForAll Support — adrien.thomas / detail
16. Default Values Support — adrien.thomas / detail
17. New PDDL Tests (ABS2PDDL) — adrien.thomas / detail
18. Adding New Tests + Unassigner Patch — adrien.thomas / detail

#655 (Aug 23, 2022, 3:02:24 PM)

1. doc: typed expressions — maxime / detail
2. doc: values and arrays — maxime / detail
3. actions & structure for expressions — maxime / detail
4. doc: conversion of expressions — maxime / detail
5. doc : notations — maxime / detail
6. doc abs2gal — maxime / detail
7. doc — maxime / detail
8. doc AssetType Hierarchy — maxime / detail
9. extracted ABS doc into existing one — maxime / detail

#654 (Aug 22, 2022, 6:43:17 PM)

1. Validator classes — maxime / detail
2. EMF validator for AssetLink — maxime / detail
3. transfering xtext validator into ecore (wip) — maxime / detail
4. ABS Expression Type provider in model — maxime / detail
5. ABS validator in model (wip) — maxime / detail
6. fix — maxime / detail
7. ABS Type Provider — maxime / detail
8. common supertype — maxime / detail
9. inequality comparable — maxime / detail
10. validator for comparison — maxime / detail
11. Action validator — maxime / detail
12. Action validator — maxime / detail
13. validator MemberSelection — maxime / detail
14. SymbolRef validator — maxime / detail
15. StaticMethod validator — maxime / detail
16. AssetType validator — maxime / detail
17. deleted old xtext validators — maxime / detail
18. fix test for cycle detection — maxime / detail
19. better message for default types — maxime / detail
20. tests — maxime / detail
21. change java version to 11 — maxime / detail
22. removed custom validation in the model plugin — maxime / detail
23. error codes — maxime / detail
24. comments — maxime / detail
25. fix bug with equality between assettype expressions — maxime / detail
26. fixed bug for LambdaParameter in LambdaAction — maxime / detail
27. fixed case lambda argument for filters — maxime / detail

#653 (Aug 16, 2022, 11:07:36 AM)

1. adding img folder to build — william / detail

#652 (Aug 16, 2022, 8:53:41 AM)

1. split tycho build / pomfirst build — didier.vojtisek / detail
2. use fr.irisa.atsyra.bundle groupId for all artefact built with tycho — didier.vojtisek / detail
3. simplification use tycho pomless when applicable — didier.vojtisek / detail
4. adding absystem.model pomfirst version — didier.vojtisek / detail
5. deploy pomfirst jars — didier.vojtisek / detail
6. deploy pomfirst jars — didier.vojtisek / detail
7. fix ci stage — didier.vojtisek / detail
8. temp disable for testing deployment — didier.vojtisek / detail
9. distributionManagement — didier.vojtisek / detail
10. project id (based on value displayed on project home page) — didier.vojtisek / detail
11. fixed PROJECT_ID in distribution_management — didier.vojtisek / detail
12. deploy only when a tag contains the keyword "deploy" — didier.vojtisek / detail
13. deploy only when a tag starts with the keyword "deploy" — didier.vojtisek / detail
14. update ci rule — didier.vojtisek / detail
15. ci adjustment — didier.vojtisek / detail
16. ci adjustment — didier.vojtisek / detail
17. ci — didier.vojtisek / detail
18. ci — didier.vojtisek / detail
19. ci — didier.vojtisek / detail
20. ci — didier.vojtisek / detail
21. ci — didier.vojtisek / detail
22. add missing workflow rule — didier.vojtisek / detail
23. refine tag ci — didier.vojtisek / detail
24. add fr.lip6.move.gal with rebuild maven dependencies — didier.vojtisek / detail
25. pomfirst for several projects — didier.vojtisek / detail
26. add missing jars — didier.vojtisek / detail
27. add pomfirst build of 2 projects — didier.vojtisek / detail
28. k3 version is now set in the bom — didier.vojtisek / detail
29. add pomfirst version of fr.irisa.atsyra.absystem.gal.transfo — didier.vojtisek / detail
30. fix build error with topoplan.win32 — didier.vojtisek / detail

#651 (Aug 9, 2022, 4:53:20 PM)

1. Add Containment capability on AssetReference (ecore/xtext) — didier.vojtisek / detail
2. formatting — didier.vojtisek / detail
3. trick to use a container reference in the building — didier.vojtisek / detail
4. basic containment support — didier.vojtisek / detail
5. do not show containment link — didier.vojtisek / detail
6. add helper to compute the full type hierarchy (incl. Any) of AssetYpe — didier.vojtisek / detail
7. Improved management of containment — didier.vojtisek / detail
8. makes plantuml generator more robust to link without type — didier.vojtisek / detail
9. improved building example with containment — didier.vojtisek / detail
10. fixed search in type hierarchy — didier.vojtisek / detail
11. add management of deletion of Asset from sirius — didier.vojtisek / detail
12. improved look and feel o sirius — didier.vojtisek / detail
13. minor changes — didier.vojtisek / detail
14. use latest version of GEMOC studio based on Eclipse 2021-12 — didier.vojtisek / detail

#650 (Jul 26, 2022, 12:41:10 PM)

1. pom fix — maxime / detail

#649 (Jul 26, 2022, 11:09:29 AM)

1. pom: full build deploys plugins — maxime / detail
2. fix unchecked cast — maxime / detail

#648 (Jul 22, 2022, 4:40:44 PM)

1. abs2json command categoryId — maxime / detail

#647 (Jul 21, 2022, 3:19:46 PM)

1. ignore *-gen folders from global abs scope — maxime / detail

#646 (Jul 18, 2022, 6:25:34 PM)

1. abs2gal trace project — maxime / detail
2. fix implem — maxime / detail
3. trace model extended — maxime / detail
4. TraceModel query util — maxime / detail
5. type number only for AssetTypeLink — maxime / detail
6. abs2gal trace model construction — maxime / detail
7. pom — maxime / detail
8. tracemodel in abs2gal ui — maxime / detail
9. capra repo — maxime / detail
10. trace build — maxime / detail
11. replaced traceabilitymapping in abs2gal — maxime / detail
12. names in trace — maxime / detail
13. tests — maxime / detail
14. Flatten trace model — maxime / detail
15. traceModel for scenarioBuilder — maxime / detail
16. statebuilder start refactoring — maxime / detail
17. tests — maxime / detail
18. statebuilder refactoring (wip) — maxime / detail
19. mapping2state refactored with traceModel — maxime / detail
20. state2mapping refactoring (wip) — maxime / detail
21. statebuilder refactoring with links (wip) — maxime / detail
22. state builder refactoring — maxime / detail
23. clear — maxime / detail
24. more defaults — maxime / detail
25. log trace — maxime / detail
26. more efficient subtyped assets — maxime / detail
27. log — maxime / detail
28. add main to spec — maxime / detail
29. test — maxime / detail
30. fix constants value in statebuilder — maxime / detail

#645 (Jun 28, 2022, 3:27:58 PM)

1. WIP: single abs file to json ok — william / detail
2. full model export and type references fixed — william / detail

#644 (Jun 24, 2022, 3:54:54 PM)

1. collect abs models from project files — maxime / detail
2. only include abs that are referenced — maxime / detail
3. removed stacktrace on timeout — maxime / detail
4. comments & exceptions — maxime / detail

#643 (Jun 21, 2022, 4:40:22 PM)

1. slf4j — maxime / detail
2. logging when no scenario is found — maxime / detail
3. clean pom — maxime / detail
4. changed log level — maxime / detail

#642 (Jun 21, 2022, 4:22:37 PM)

1. basic viewpoint extension dedicated to eclipse platform — didier.vojtisek / detail
2. add new absystem.eclipse.design to the build and to the studio — didier.vojtisek / detail
3. remove dependencies to eclipse UI incompatible with siriusweb — didier.vojtisek / detail
4. some updates in the odesign refactoring — didier.vojtisek / detail
5. fix presentation of tags in the animation layer — didier.vojtisek / detail
6. initial values for door without key — didier.vojtisek / detail
7. fix animation refresh with split diagram specification — didier.vojtisek / detail
8. remove debug message — didier.vojtisek / detail
9. remove debug messages — didier.vojtisek / detail

#641 (Jun 20, 2022, 5:20:00 PM)

1. remove its.gal.sdk from studio — didier.vojtisek / detail

#640 (Jun 16, 2022, 6:34:12 PM)

1. fix ABSStateBuilder — maxime / detail
2. added undefined in report for attributes — maxime / detail
3. fix statebuilder galvalue — maxime / detail
4. allow undefined in ReferenceState in absreport — maxime / detail
5. fix for undefined — maxime / detail

#639 (Jun 16, 2022, 3:52:37 PM)

1. simplification — maxime / detail
2. split — maxime / detail
3. subtyped assets — maxime / detail

#638 (Jun 15, 2022, 7:09:08 PM)

1. UndefinedValue instead of null — maxime / detail
2. undefined receiver makes action unapplicable — maxime / detail
3. undefined in hasSideEffect — maxime / detail
4. hasSideEffect for forAll — maxime / detail

#637 (Jun 15, 2022, 3:55:53 PM)

1. add emfjson update site to pom.xml — didier.vojtisek / detail
2. add emfjson to atsyra studio — didier.vojtisek / detail
3. try using https — didier.vojtisek / detail
4. use forked version of sirius emfjson update site — didier.vojtisek / detail
5. update of the readme — didier.vojtisek / detail
6. ignore validity checks — didier.vojtisek / detail
7. attempt without -Dhttps.protocols=TLSv1.2 — didier.vojtisek / detail

#636 (Jun 15, 2022, 1:25:28 PM)

1. Split abs2gal handler — maxime / detail
2. refactoring of longer scenarios — maxime / detail
3. timeout and cancel — maxime / detail
4. moved abs2abs ui in its own plugin — maxime / detail
5. updated manifest & pom — maxime / detail
6. default gen folder — maxime / detail
7. abs2scenarios — maxime / detail
8. pom — maxime / detail
9. pom — maxime / detail
10. abs2galscenarios — maxime / detail
11. setupabs — maxime / detail
12. cleaning — maxime / detail
13. setupgenfolder — maxime / detail
14. improved console usage in handlers — maxime / detail
15. GalReachability aware of messaging system — maxime / detail
16. setmessagingsystem — maxime / detail
17. revert the goal transformation for absreport — maxime / detail
18. gal output to gal console — maxime / detail
19. printing scenarios when they are found — maxime / detail

#635 (Jun 13, 2022, 10:51:23 AM)

1. updae smallReception example — didier.vojtisek / detail
2. implement missing getName method — didier.vojtisek / detail
3. fix orientation of one of the badgeDoor of SmallReception example — didier.vojtisek / detail
4. fix goal fort SmallReception example — didier.vojtisek / detail

#634 (Jun 2, 2022, 10:19:07 AM)

1. add asciidoctor temp file to git ignore — didier.vojtisek / detail

#354 (Jan 28, 2021, 10:45:52 AM)

1. add mvn extension to root of the repo for use by jenkins — didier.vojtisek / detail