User Activity

  • Posted a comment on discussion Help on ASMETA: a tool set for the ASM

    Hi, 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, Paolo

  • Posted a comment on discussion Help on ASMETA: a tool set for the ASM

    Hi, 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, Paolo

  • Committed [r871]
  • Committed [r870]
  • Committed [r869]
  • Committed [r868]
  • Committed [r867]
  • Committed [r866]
View All

Personal Data

Username:
parcaini
Joined:
2007-04-20 17:15:56

Projects

This is a list of open source software projects that is associated with:

Personal Tools