adt2amas issueshttps://depot.lipn.univ-paris13.fr/parties/tools/adt2amas/-/issues2021-02-19T09:13:00Zhttps://depot.lipn.univ-paris13.fr/parties/tools/adt2amas/-/issues/14Parse to Imitator v32021-02-19T09:13:00ZJaime AriasParse to Imitator v3Currently, the ADT2AMAS parses the EAMAS model into imitator v2.Currently, the ADT2AMAS parses the EAMAS model into imitator v2.https://depot.lipn.univ-paris13.fr/parties/tools/adt2amas/-/issues/13Add updates to SAND gate2019-10-06T14:19:21ZJaime AriasAdd updates to SAND gateWe need to define the computation function for the `sand` gate in order to define on which transitions we will put updatesWe need to define the computation function for the `sand` gate in order to define on which transitions we will put updatesJaime AriasJaime Ariashttps://depot.lipn.univ-paris13.fr/parties/tools/adt2amas/-/issues/12Add conditions on counter attack gates2019-09-30T14:17:01ZJaime AriasAdd conditions on counter attack gatesIt's missing the conditions on the counter-attack gates. For example in the `TS` gate of the treasure hunters model.It's missing the conditions on the counter-attack gates. For example in the `TS` gate of the treasure hunters model.Jaime AriasJaime Ariashttps://depot.lipn.univ-paris13.fr/parties/tools/adt2amas/-/issues/11Add Updates to the NOR translation2019-09-30T14:15:02ZJaime AriasAdd Updates to the NOR translationWe need to add an example of the `nor` gate in order to define on which transitions we will put updatesWe need to add an example of the `nor` gate in order to define on which transitions we will put updatesJaime AriasJaime Ariashttps://depot.lipn.univ-paris13.fr/parties/tools/adt2amas/-/issues/10Add ADTree documentation2019-08-27T14:16:20ZJaime AriasAdd ADTree documentationhttps://depot.lipn.univ-paris13.fr/parties/tools/adt2amas/-/issues/9Verify naming in vector of Channel pointers (channels), vector of State point...2018-12-14T09:39:56ZGiann Karlo AGUIRRE SAMBONÍVerify naming in vector of Channel pointers (channels), vector of State pointers (vector_states) and vector of Transition pointers (vector_transitions)Giann Karlo AGUIRRE SAMBONÍGiann Karlo AGUIRRE SAMBONÍhttps://depot.lipn.univ-paris13.fr/parties/tools/adt2amas/-/issues/8Content in a set of ids must be the same as in vector of pointers in the clas...2018-12-14T09:31:24ZGiann Karlo AGUIRRE SAMBONÍContent in a set of ids must be the same as in vector of pointers in the classes which implement them. Verify it when setters are used.Giann Karlo AGUIRRE SAMBONÍGiann Karlo AGUIRRE SAMBONÍhttps://depot.lipn.univ-paris13.fr/parties/tools/adt2amas/-/issues/6Apply design patterns agreed to make gates and leaves2018-10-31T16:17:06ZGiann Karlo AGUIRRE SAMBONÍApply design patterns agreed to make gates and leavesGiann Karlo AGUIRRE SAMBONÍGiann Karlo AGUIRRE SAMBONÍhttps://depot.lipn.univ-paris13.fr/parties/tools/adt2amas/-/issues/5Make a constructor with new syntaxis eg. Class::Class(Type type): type_(type){}2018-10-31T16:12:00ZGiann Karlo AGUIRRE SAMBONÍMake a constructor with new syntaxis eg. Class::Class(Type type): type_(type){}Giann Karlo AGUIRRE SAMBONÍGiann Karlo AGUIRRE SAMBONÍ