adt2amas issueshttps://depot.lipn.univ-paris13.fr/parties/tools/adt2amas/-/issues2019-10-06T14:19:21Zhttps://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 Arias