https://sourceforge.net/p/asmeta/activity/Recent activity for ASMETA: a tool set for the ASMenWed, 09 Sep 2020 08:24:48 -0000https://sourceforge.net/p/asmeta/discussion/523366/thread/55dc641e29/?limit=25#de0d/8436Hi, parentheses are mandatory in the let term. So, you should write let ($x=input) in tmp:=$x +$x endlet BTW, we moved Asmeta to github: https://github.com/asmeta/asmeta You may want to use the new repository. Best, PaoloparcainiWed, 09 Sep 2020 08:24:48 -0000https://sourceforge.net/p/asmeta/discussion/523366/thread/55dc641e29/?limit=25#de0d/8436https://sourceforge.net/p/asmeta/discussion/523366/thread/55dc641e29/?limit=25#de0dHi Team I am trying to get the use of the let construct to leverage in some of the use cases I am working on. According to the documentation the syntax is " let(v1=t1,...,vn=tn)in tv1,...,vn endlet " where vi are variables and t1,...,tn, tv1,..,vn are terms. i am trying to run a basic example to confirm how it works however the ASMEE console returns an "encountered " "let "" at line xx column xx. Was expecting one of: .... It seems like the construct is not recognized? what am I missing? asm TestLet...Andrea FoppianiWed, 09 Sep 2020 06:57:03 -0000https://sourceforge.net/p/asmeta/discussion/523366/thread/55dc641e29/?limit=25#de0dhttps://sourceforge.net/p/asmeta/discussion/523366/thread/43578fd738/?limit=25#b6c3Hi thank you very much, it worked out Regards AndreaAndrea FoppianiTue, 11 Aug 2020 09:20:03 -0000https://sourceforge.net/p/asmeta/discussion/523366/thread/43578fd738/?limit=25#b6c3https://sourceforge.net/p/asmeta/discussion/523366/thread/43578fd738/?limit=25#2ce4Hi, if you are using a Sequence, you can get i-th element using the "at" function of the standard library: static at: Prod(Seq(D),Natural) -> D See this ASM model as an example: https://github.com/asmeta/asmeta/blob/master/asm_examples/examples/simple_example/swapSortOnSeq.asm Best, PaoloparcainiTue, 11 Aug 2020 00:22:32 -0000https://sourceforge.net/p/asmeta/discussion/523366/thread/43578fd738/?limit=25#2ce4https://sourceforge.net/p/asmeta/discussion/523366/thread/43578fd738/?limit=25#002fHello Everyone I am trying to use a static list of integers e.g: list = [1,2,3,4] like an array of integers where at each machine step I pickup the next integer in the list. I cannot figure out what's the syntax to get the an alement based on its position within the array/list Is there any documentation available? thanks and Regards AndreaAndrea FoppianiSun, 09 Aug 2020 16:14:40 -0000https://sourceforge.net/p/asmeta/discussion/523366/thread/43578fd738/?limit=25#002f