KaSim v 1.07

[Jean Krivine]

Dear all

The sources of KaSim v 1.07 are now available online for testing, together with the updated manual.
I will upload binaries after some more tests are done.

In this release:
- bug fixes (issues #25 #26)
- saving and loading KaSim initialization as simulation packages (see documentation)
- some refactoring that should speed up a little bit some simulations

For developers:
I started implementing causality analysis (see causal.ml module in cflow/).
I have also uploaded the sources of the manual if you want to fix bugs there too !

Feedbacks are welcome and please use the issue page to report bugs and ask for improvements. We should set up a bugzilla page for KaSim at some point though.

Best,

Jean Krivine



 

[Vincent Danos]

On Fri, Jun 24, 2011 at 16:34, Jean Krivine <jean.k...@gmail.com> wrote:

I have also uploaded the sources of the manual if you want to fix bugs there too !

Can you upload the style and image files as well maybe? I'd love to correct typos when I see some.

[Vincent Danos]

On Fri, Jun 24, 2011 at 22:31, Vincent Danos <vincen...@gmail.com> wrote:

I have also uploaded the sources of the manual if you want to fix bugs there too !

Can you upload the style and image files as well maybe? I'd love to correct typos when I see some.

I would like to incorporate a few examples/exercises to the manual along the ones you already have - do you think this is a good idea
or should we have a separate booklet of examples detached from the manual?

[Russ Harmer]

I think we should have a separate collection of examples/exercises. The question is, should it be a pdf or a wiki?

r.

-- 

Sent with Sparrow