diff options
| author | Bruno Barras | 2014-11-27 17:00:48 +0100 |
|---|---|---|
| committer | Bruno Barras | 2015-01-06 15:32:12 +0100 |
| commit | 5b1e6e58235e8f3fdf6f49329adbd6e9b014fd78 (patch) | |
| tree | 1e949d789397bd530bce71ac924f320e46e5785b /plugins/syntax/string_syntax_plugin.mllib | |
| parent | 09193eeaf521c88e07a02d9088538f09561162ac (diff) | |
improve efficiency of the reduction interpreter of the checker
Conflicts:
checker/closure.ml
checker/closure.mli
checker/reduction.ml
Diffstat (limited to 'plugins/syntax/string_syntax_plugin.mllib')
0 files changed, 0 insertions, 0 deletions