search

vanrein / perpetuum

Generating event-triggered code from Petri nets [C and Erlang]
Other
5 stars 1 forks source link

Get the proper number of bits in the when clause for GenMod:transmap( N ). #14

Closed vanrein closed 6 years ago

vanrein commented 6 years ago

Error for kxover_server:transmap (58) is unexplained, apparently a problem with the "when" condition.

vanrein commented 6 years ago

Will be solved in new checking towards 1.0. The problem was rounding down to 64-bit portions, rather than rounding up.

vanrein commented 6 years ago

Solved in 36994537395a6f344d6a0fa1f52fe236b8b5250f or, more popularly put, version 1.0.0.