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 a new evaluator #10

Closed tomgr closed 9 years ago

tomgr commented 9 years ago

This reduces evaluation time by a factor of 2, or more.