search

tomgr / libcspm

The library FDR3 uses for parsing, type checking and evaluating machine CSP.
https://www.cs.ox.ac.uk/projects/fdr/
Other
30 stars 6 forks source link

Add determinism to libcspm #3

Closed PhilArmstrong closed 11 years ago

PhilArmstrong commented 11 years ago

Needed for the Algebraic law tests.

tomgr commented 11 years ago

Actually, do we want this to be transparent? It's not semantics preserving so really it ought to be external.

I've just changed it to be, but please let me know if you can think of a reason why this should be external.

PhilArmstrong commented 11 years ago

deter() should probably be external, but fdr2 defines it as transparent :(

I'd be happy to break backwards compatibility here personally. I doubt many people use deter.

tomgr commented 11 years ago

Lets break here - as you say it's unlikely to be used as a transparent and its not!