Pierre Boutillier
Pierre Boutillier
Right "multi lines" are indeed forbidden... I've fixed the perturbation generated for counters...
You're right, that's why it is already implemented! ``` %agent: A(x!x.B) %agent: B(x) ``` fails though as you don't say that B.X can binds A.x ``` %agent: A(x!x.B) %agent: B(x!x.A)...
Agent déclaration is not compositionnable: - As soon as you declare 1 agent, you have to declare them all and - As soon as you give the "contact map" of...
@jkrivine: Alors, qu'est qu'on fait ?
All the pieces to do it are now there. It would be boring but straightforward. I don't see the point enough to get the motivation. Help yourself :-)
We will not provide that directly in the very near futur but we are clearly going in the direction of making easier for other to right a program to do...
There are 2 levels of answers: - can you submit kappapp to home-brew-cash ? Do I agree with your MR? Yes that looks great and yes, I don't see any...
So... there is an (hidden) attempt of documentation at https://tools.kappalanguage.org/kappa-trace-checker/trace-format-description.html but yes it need to be improved join a visible place!
The serialization library for reading and writing the trace used in Kappa software does not generate automatically the format of the trace. We have control on the scheme of the...
- I've just pushed the second item. - Third item is "easy". - First one is probably doable. - Append to the trace would very painful. - the seed part...