Damian Nadales
Damian Nadales
> Always with the same issue? Yes. > What do you mean with independent? They might share the same socket number.... Yes, but this does not seem to be the...
Related to #250. Right @pjljvandelaar ?
I'm adding the `research` label, as this requires some experimentation, and an impact analysis of the changes required to instrument this.
The parser error of the first model: ``` STAUTDEF s [Input1, Input2 :: Int; Output :: Int] () ::= STATE s1,s2,s3,s4,s5 VAR x,y :: Int INIT s1 TRANS s1 ->...
@pjljvandelaar since it seems that we have three issues here. The first one should be fixed in #860. Would it makes sense to create two separate issues for the other...
> If so, then @dnadales should also be able to solve the second issue. Is the issue here the map that is being passed `compSubst` by the compiler then?
I would say: - Let's define standard precedences for predefined arithmetic operators (`+`, `-`, `*`, `/`, etc) and logical operators (`/\`, `\/`). - Left associativity (or right, depending on what...
> Please come with a proposal how users should express the associativity of their operators. Should it be like in Haskell? Do we need this? I would say, if users...
After discussing with @tretmans, we decided on giving predefined arithmetic operators and boolean operators the standard precedence these operators have in most programming language. Note that this precedence will be...
Note that these are two different logs! One are the logs that the SUT and TorXakis spit out, the others are the TorXakis logs.