Changes

#601 (Apr 22, 2024, 5:20:02 PM)

1. do not count instances for actions with type not present in the model — didier.vojtisek / detail

#600 (Apr 10, 2024, 11:52:48 AM)

1. fix for undefined in boolean expression — maxime / detail

#599 (Mar 29, 2024, 6:06:16 PM)

1. fix for LambdaParameters — maxime / detail
2. fix for parameter instances counting — maxime / detail
3. added a limit the the number of instanciated states — maxime / detail

#598 (Mar 22, 2024, 6:23:18 PM)

1. improve layout for asset and assettype plantuml diagram — didier.vojtisek / detail

#597 (Mar 21, 2024, 4:11:01 PM)

1. added EKeys for assetgroupcontent — maxime / detail
2. fix test — maxime / detail

#596 (Mar 20, 2024, 11:31:56 AM)

1. class to collect info on ABS size — maxime / detail
2. use set of abs instead of resourceset — maxime / detail
3. log size of model in abs2abs — maxime / detail
4. add missing private visibility — maxime / detail
5. GAL size info object — maxime / detail
6. log the size of the generated GAL — maxime / detail
7. json-ified — maxime / detail
8. abs state enumeration — maxime / detail
9. Evaluation of simple expressions — maxime / detail
10. eval lambda — maxime / detail
11. compute goal size, including collection — maxime / detail
12. Eval expression only on referred features — maxime / detail
13. instanciate only refered features — maxime / detail
14. renamed "finalState" to be more accurate — maxime / detail
15. gal number of states — maxime / detail
16. fix for collection counting — maxime / detail
17. counting for every multiplicity — maxime / detail
18. added a preference for model size computation — maxime / detail
19. fix pomfirst — maxime / detail

#595 (Feb 27, 2024, 9:49:50 AM)

1. simple improvment for large class diagram — didier.vojtisek / detail

#594 (Feb 12, 2024, 6:08:05 PM)

1. change downloaded file to the one produced by giltlab-ci — didier.vojtisek / detail

#593 (Feb 7, 2024, 3:27:26 PM)

1. add svg sources — didier.vojtisek / detail
2. generate DomainDiagram name base on root group name — didier.vojtisek / detail
3. remove BasicObjectDiagram view — didier.vojtisek / detail
4. added several icons for AssetType and Asset and some outline labels — didier.vojtisek / detail
5. added support for subgroups in locales — maxime / detail
6. fix formatter — maxime / detail
7. update locales for mini building lib — maxime / detail
8. fix validator for EqualityComparisonExpression type — maxime / detail
9. test — maxime / detail
10. improved icon for extends — didier.vojtisek / detail
11. add abstract icon on AssetType — didier.vojtisek / detail
12. remove unused customization section — didier.vojtisek / detail
13. Full validator no longer short circuits — maxime / detail
14. add null tests for activator — maxime / detail
15. remove maven.inria from pomfirst repo — maxime / detail
16. added @OverrideAspectMethod in k3dsa — maxime / detail
17. icons for EnumDataType and EnumLiteral — didier.vojtisek / detail
18. improved import and using  icons + label — didier.vojtisek / detail
19. improved import and locale labels and icons — didier.vojtisek / detail
20. improved labels for enum locale in outline — didier.vojtisek / detail
21. basic display of asset attribute — didier.vojtisek / detail
22. displays attributes ion AssetDiagram — didier.vojtisek / detail
23. group invisible tools in dedicated "usability" section — didier.vojtisek / detail
24. partial implem of direct edit of attribute value — didier.vojtisek / detail
25. implements direct edit of enum asset attribute — didier.vojtisek / detail
26. implement Add attribute for asset with a basic dialog — didier.vojtisek / detail
27. deal with default value when creating attribute [partial] — didier.vojtisek / detail
28. using EKeys for definitions, features and enum literals — maxime / detail
29. fix test — maxime / detail
30. remove SI related tags from core.abs — william / detail
31. update k3 version — maxime / detail
32. update core.json — william / detail
33. fix name uniqueness validation for subgroups — maxime / detail
34. fix Tag in base_definition — maxime / detail
35. add missing locale — maxime / detail
36. id is prefixed with eClass — maxime / detail
37. replaced List<AssetBasedSystem> by ResourceSet in transfo context — maxime / detail
38. Sirius basic support for both attribute and contained Assets in Asset — didier.vojtisek / detail
39. use transparent container — didier.vojtisek / detail
40. initial name for AssetDiagram based on group name — didier.vojtisek / detail
41. add drop place for asset contained by asset — didier.vojtisek / detail
42. add smarter label for Asset in case of containment — didier.vojtisek / detail
43. add support to remove an asset from anotehr Asset — didier.vojtisek / detail
44. added artwork — didier.vojtisek / detail
45. adapted label edit to show only the name — didier.vojtisek / detail
46. update Id in odesign — didier.vojtisek / detail
47. add dialog on double click to edit Asset name and type — didier.vojtisek / detail
48. set AssetType  in dialog — didier.vojtisek / detail
49. add edit support for Asset description on double click — didier.vojtisek / detail
50. add some missing null tests — maxime / detail
51. update mini example — maxime / detail
52. add notion of opposite in the metamodel — didier.vojtisek / detail
53. add possibility to indicate the opposite in the link itself — didier.vojtisek / detail
54. add opposite keyword for AssetType reference — didier.vojtisek / detail
55. add opposite ref capability in Link definition — didier.vojtisek / detail
56. add a test for opposite declaration — didier.vojtisek / detail
57. basic hovering for AssetTypes (wip) — maxime / detail
58. implement AssetType reference opposite scopeProvider — didier.vojtisek / detail
59. add  some more test — didier.vojtisek / detail
60. add validation for inconsistent opposite — didier.vojtisek / detail
61. basic hovering for AssetTypes — maxime / detail
62. basic hovering for AssetTypes — maxime / detail
63. qualified names and descriptions — maxime / detail
64. asset documentation — maxime / detail
65. check for similar link definitions — didier.vojtisek / detail
66. util to get locales — maxime / detail
67. update absreport xtext — didier.vojtisek / detail
68. add validator about inconsistent asset link opposite — didier.vojtisek / detail
69. add opposite support to AssetDiagram — didier.vojtisek / detail
70. added locale in hover — maxime / detail
71. update names of locale files — maxime / detail
72. load locale resource — maxime / detail
73. use jvm locale — maxime / detail
74. fix for localization with subfolders — maxime / detail
75. add preference to override locale — maxime / detail
76. move documentation provider to xtext plugin — maxime / detail
77. renaming localization related functions — maxime / detail
78. pomfirst — maxime / detail
79. implemented DomainDiagram opposite — didier.vojtisek / detail
80. update meta model example — william / detail
81. added bidirectionnal reconnection support — didier.vojtisek / detail
82. update meta model example — william / detail
83. update meta model example — william / detail
84. remove use of discouraged access class in sirius — didier.vojtisek / detail
85. filter presented AssetType in Asset Dialog — didier.vojtisek / detail
86. add test of validation time — maxime / detail
87. contracts on smallagence — maxime / detail
88. contract checker execution time in eclipse — maxime / detail
89. register opposite in abs2gal — maxime / detail
90. fix slicing for opposites — maxime / detail
91. test abs2abs — maxime / detail
92. test abs2gal with opposite — maxime / detail
93. sort subtypes for a deterministic transformation — maxime / detail
94. remove tags from Asset — maxime / detail
95. add annotations in AssetType and EnumDataType — maxime / detail
96. bump xtend version — maxime / detail
97. removed abstract assettypes proposition from assets type ref — maxime / detail
98. bump to latest gemoc — didier.vojtisek / detail
99. add javax.xml.bind from latest orbit update site that provides it — didier.vojtisek / detail
100. add dependency introduced by GEMOC refactoring — didier.vojtisek / detail
101. adapt to latest gemoc version — didier.vojtisek / detail
102. adapt template to current abs syntax — didier.vojtisek / detail
103. fixes check of with statement coming from indirect import in empty model — didier.vojtisek / detail
104. add a function to load resources referenced via import statement — didier.vojtisek / detail
105. add support for html and markdown descriptions — maxime / detail
106. pomfirst — maxime / detail
107. add common-mark to target — maxime / detail
108. fix gemoc interpreter launchconfig for the standalone examples — didier.vojtisek / detail
109. Merge branch 'master' into 314-support-rich-text-in-description — didier.vojtisek / detail
110. use stable version of gemoc + correct default eclipse base for update — didier.vojtisek / detail
111. add m2e.pde feature to the sdk version of the studio — didier.vojtisek / detail
112. menu for managing imports in sirius — maxime / detail
113. fix import creation — maxime / detail
114. fix value expression in textbox — maxime / detail
115. removed cancel button — maxime / detail
116. copied import management into asset diagram — maxime / detail
117. validator no longer returns on first issue — maxime / detail
118. add icon name on AssetTypes to metamodel example — william / detail
119. add diagnostics for evaluated contracts that succeed — maxime / detail
120. only generate a single ok diagnostic per valid contract — maxime / detail
121. remove error code from ok diagnostics — maxime / detail
122. only add ok diagnostic for contracts that succeed — maxime / detail
123. update integration test — maxime / detail
124. fix missing mandatory reference for opposite — maxime / detail
125. validation of links for reference multiplicity — maxime / detail
126. fix validation of link only on the same asset — maxime / detail
127. typo — maxime / detail
128. adding sub section to security rules repository — william / detail
129. fix #366 — didier.vojtisek / detail
130. fix #363 — didier.vojtisek / detail
131. relax validator to not raise NPE on link without referenceType — didier.vojtisek / detail
132. basic handling of UndefinedReceiverException in contract validation — maxime / detail
133. Add double action to edit link type — didier.vojtisek / detail
134. [Sirius] prevent impossible Asset link creation — didier.vojtisek / detail
135. feat(metamodel): example of html descriptions fir repositories — william / detail
136. feat(metamodel): example of html descriptions fir repositories — william / detail
137. feat(metamodel): add EN locale — william / detail
138. fix #352 — didier.vojtisek / detail
139. add Any as abstract in the core lib — didier.vojtisek / detail
140. add cleaner for html description — william / detail
141. don't test if description is in html — william / detail
142. manage null description — william / detail
143. update metamodel json files — william / detail
144. abs model: requirements and requirement groups — maxime / detail
145. abs xtext: requirements and requirement groups — maxime / detail
146. implemented getId — maxime / detail
147. fix keyword for Requirement — maxime / detail
148. formatter — maxime / detail
149. removed requirementgroup and requirement links — maxime / detail
150. added missing AnnotationEntry formating — maxime / detail
151. removed old files — maxime / detail
152. fix link type edition — didier.vojtisek / detail
153. move smallreception.mini to sub folder — didier.vojtisek / detail
154. structure clarification of the 'mini' domain — didier.vojtisek / detail
155. structure clarification of the 'mini' domain — didier.vojtisek / detail
156. fixed Asset typing of the Network GuardedActions — didier.vojtisek / detail
157. improved validator message — didier.vojtisek / detail
158. update small reception diagram — didier.vojtisek / detail
159. add missing @generated NOT — maxime / detail
160. requirement locale in ecore — maxime / detail
161. requirement locale in xtext grammar — maxime / detail
162. formatter — maxime / detail
163. getLocalization implementation for Requirement — maxime / detail
164. requirement hovering — maxime / detail
165. adapted examples — didier.vojtisek / detail
166. add diagram to mini is example — didier.vojtisek / detail
167. add applied security rules — didier.vojtisek / detail
168. add applied behavior to mini office example — didier.vojtisek / detail
169. fix requirement syntax and formatting — maxime / detail
170. updated the generator for requirement localization — maxime / detail
171. adapted scope for RequirementLocale — maxime / detail
172. recreate example in standalone project — william / detail
173. add requirements — william / detail
174. add contracts locales — william / detail
175. add repository locales — william / detail
176. corresponding json files — william / detail
177. warning on undefined guard — maxime / detail
178. warning on undefined pre/post in goal — maxime / detail
179. filter undefined contract from checking — maxime / detail
180. simplified getting the goal from selection — maxime / detail
181. rewrite goal retrieving strategy to not select undefined goals — maxime / detail
182. add k3dsa test suite for contract checking — didier.vojtisek / detail
183. extraction of error message in properties, and localization of EObject — maxime / detail
184. pomfirst — maxime / detail
185. pomfirst: includes the plugin.properties file — maxime / detail
186. fix call getObjectLabel after configuring substitutionlabelprovider — maxime / detail
187. fix npe for Arrays.stream — maxime / detail
188. localisation in structural validator — maxime / detail
189. base for localization of contract error message — maxime / detail
190. pomfirst: add plugin.properties in k3dsa — maxime / detail
191. validate needs a mutable map — maxime / detail
192. fix locale handling and improved resource locale location strategy — maxime / detail
193. fix for getLocalizedMessage — maxime / detail
194. use resourcebundle for localization — maxime / detail
195. removed type in error messages for missing mandatory static features — maxime / detail
196. validator error message in french — maxime / detail
197. using ResourceBundleLocator for k3dsa exception localization — maxime / detail
198. localizableException in k3dsa — maxime / detail
199. add throws clauses, and handle InvalidConfigurationException — maxime / detail
200. fix localization of diagnostic messages — maxime / detail
201. moved resource file — maxime / detail
202. fix message — maxime / detail
203. removed absystem model plugin — maxime / detail
204. include resources in pomfirst for k3dsa — maxime / detail
205. register Eclipse preference service on plugin start — maxime / detail
206. use ABS locale instead of default for validation messages default — maxime / detail
207. renamed english localization resources — maxime / detail
208. localization of new validation messages — maxime / detail
209. implement opposite static AssetLink — didier.vojtisek / detail
210. fix contract name localization — maxime / detail
211. fix validation short-circuiting when collecting diagnostics — maxime / detail
212. cache for ResourceBundleLocator — maxime / detail
213. weak reference to modules — maxime / detail
214. fix(abs2json): add Requirement management — william / detail
215. fix the decoding from gal — maxime / detail
216. fix doc + add precision — maxime / detail
217. add procedure and script to update versions (for releases) — didier.vojtisek / detail
218. renma job name to clearly see that is for master only — didier.vojtisek / detail
219. change the console name and message group of k3dsa — maxime / detail
220. automation to publish eclipse artefacts and create gitlab release on tag — didier.vojtisek / detail
221. add ssh key for deployment — didier.vojtisek / detail
222. create intermediate folder as required — didier.vojtisek / detail
223. create release on gitlab ui in separate job/docker image — didier.vojtisek / detail
224. generation of goals from dynamic contracts — maxime / detail
225. add missing tag for job attribution — didier.vojtisek / detail
226. empty before_script for release job — didier.vojtisek / detail
227. abs transfos dependencies reorganized — maxime / detail
228. conversion of dynamic contract to invariants for abs2senarios — maxime / detail
229. added an option to disable dynamic contract evaluation during — maxime / detail
230. add an atsyra preference for dynamic contracts — maxime / detail
231. feat(validation): get contracts from requirements — william / detail
232. feat(validation): get contracts occurences from outside — william / detail
233. Fix the simplification of invariants from contracts — maxime / detail
234. Apply 1 suggestion(s) to 1 file(s) — william / detail
235. Apply 1 suggestion(s) to 1 file(s) — william / detail
236. feat(validation): fix duplicated contracts — william / detail
237. moved preference constants to preference plugin — maxime / detail
238. restored Preference constants for compatibility — maxime / detail
239. add dynamic contracts variables to useful variables — maxime / detail
240. test slicing with a dynamic contract — maxime / detail
241. validation error if a feature name is shadowing another one — maxime / detail
242. fix contracts group name — maxime / detail
243. add requirements to the test examples — maxime / detail
244. bump abs related components to 3.0.0-SNAPSHOT — didier.vojtisek / detail
245. align to 3.0.0-snapshot — didier.vojtisek / detail
246. ensure version in pomfirst for lip6.move.gal — didier.vojtisek / detail
247. ensure version in the pom of emf.transaction — didier.vojtisek / detail
248. allow for collections in AssetAttributeValue — maxime / detail
249. update k3dsa — maxime / detail
250. update abs2gal — maxime / detail
251. add LICENSE file — didier.vojtisek / detail
252. add license header to all java files — didier.vojtisek / detail
253. update license about box — didier.vojtisek / detail
254. update to sirius — maxime / detail
255. add license and copyrigth in feature.xml — didier.vojtisek / detail
256. fix wrong variable — maxime / detail
257. abs formatter — maxime / detail
258. fix xtext integration service — maxime / detail
259. bump version of tools in CI docker image — didier.vojtisek / detail
260. update maven too — didier.vojtisek / detail
261. fix statebuilder to ignore arrays that are not related to features — maxime / detail
262. implement containsAll for k3dsa — maxime / detail
263. add check for no duplicate AssetAttributeValue — maxime / detail
264. test for AssetAttibuteValue duplication check — maxime / detail
265. added collection attribute to AssetAttributeValue — maxime / detail
266. added an invariant on AssetAttributeValue — maxime / detail
267. validator for isCollection — maxime / detail
268. add anssi repo to metamodel example — william / detail
269. update sirius with isCollection — maxime / detail
270. fix bug with completion proposal — maxime / detail
271. add anssi repo en version — william / detail
272. fix completion for [ ] and , in AssetAttributeValue — maxime / detail
273. initialization of absreport diagram support — didier.vojtisek / detail
274. attempt with 2 kind of diagrams — didier.vojtisek / detail
275. validator for requirement: contracts should be static — maxime / detail
276. feat(metamodel): it grundschutz integration — william / detail
277. chore: change poms to 3.0.0 — william / detail
278. chore: preparing next release 3.1.0-SNAPSHOT — william / detail
279. some attempt about having a global diagram for goal scenarios — didier.vojtisek / detail
280. current state of the absreport diagram — didier.vojtisek / detail
281. absreport 2 dot — maxime / detail
282. use ELK layered layout — didier.vojtisek / detail
283. basic presentation using ELK Layered layout — didier.vojtisek / detail
284. use ordered tree layout — didier.vojtisek / detail
285. remove internal step container — didier.vojtisek / detail
286. added plantuml & scenario index — maxime / detail
287. add start and end node — didier.vojtisek / detail
288. use border to link to the end — didier.vojtisek / detail
289. add custom colors on each scenarios — didier.vojtisek / detail
290. add service methods — didier.vojtisek / detail
291. use colorscheme instead of manual color selection — maxime / detail
292. adding title in requirements — maxime / detail
293. support for title in locale generator — maxime / detail
294. updated example requirement files — maxime / detail
295. release 3.1.0 — william / detail
296. bump to 3.2.0-SNAPSHOT — william / detail
297. add CI info in readme — didier.vojtisek / detail
298. add link to release version on the web — didier.vojtisek / detail
299. build doc for any push on master — didier.vojtisek / detail
300. deploy pomfirst on every push to master — didier.vojtisek / detail
301. generate javadoc jars — didier.vojtisek / detail
302. remove javafx and gemoc Trace from atsyra base studio — didier.vojtisek / detail
303. improved label for report witness and report goal — didier.vojtisek / detail
304. improved outline showing steps and initial/final states section — didier.vojtisek / detail
305. escape description strings in generated locales files — maxime / detail
306. add different validators corresponding to the various case — didier.vojtisek / detail
307. filter domain contract from Requirement related contracts — didier.vojtisek / detail
308. add fix — didier.vojtisek / detail
309. add notion of security level that can be check by referential rules — didier.vojtisek / detail
310. use different parker for different static checks — didier.vojtisek / detail
311. add some more static contracts on mini — didier.vojtisek / detail
312. add missing odesign for absReport — didier.vojtisek / detail
313. build absreport design project — didier.vojtisek / detail
314. fix benchmark tests — didier.vojtisek / detail
315. fix(abs2json): npe when no description on Contract — william / detail
316. add automatic changelog in ci — didier.vojtisek / detail
317. fix CI on commit tag — didier.vojtisek / detail
318. prevent simultaneous access to atsyra web site — didier.vojtisek / detail
319. add  --fail-with-body — didier.vojtisek / detail
320. enable "ask marketplace" for unknown file association — didier.vojtisek / detail
321. initial version of a plantuml UI integration — didier.vojtisek / detail
322. add sources — didier.vojtisek / detail
323. use real semantic versionning for tag — didier.vojtisek / detail
324. Add changelog for version 3.2.0-SNAPSHOT [ci skip] — project_2707_bot_224c34566fe29e9dd551cefcdf3359a6 / detail
325. ✨ improve plantuml support for absreport — didier.vojtisek / detail
326. 🐛 avoid duplicate sources for plantuml diagram — didier.vojtisek / detail
327. 💚 add xtend-gen folder to build source — didier.vojtisek / detail
328. 💚 force to not fail is cache is empty — didier.vojtisek / detail
329. ✨direct support of plantuml diagram view for Asset in xtext editor — didier.vojtisek / detail
330. ✨direct support of plantuml diagram view for AssetTypê in xtext editor — didier.vojtisek / detail
331. ♻️remove redundant code — didier.vojtisek / detail
332. fix dot generator — maxime / detail
333. fix plantuml scenarios graph — maxime / detail
334. changes to getDomainContractsOccurences — maxime / detail
335. moved transitive imports resolution — maxime / detail
336. add grouped resolution of imports — maxime / detail
337. resolve transitive imports in domain contract validation — maxime / detail
338. importURI fix in abs2json — maxime / detail
339. restriction on error contracts moved to specialized method — maxime / detail

#592 (Feb 6, 2023, 3:13:54 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

#79 (Sep 3, 2019, 5:22:10 PM)

1. demoOuestValo — pinchina / detail