- 11 Dec, 2014 14 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
No more deprecation warnings.
-
POTTIER Francois authored
Modified [PreFront.read_whole_file] to use [IO.exhaust].
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
-
POTTIER Francois authored
This removes two eta-redexes. The speed difference is barely measurable, maybe 0-5%.
-
POTTIER Francois authored
-
- 10 Dec, 2014 10 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
when --table and --external-tokens were used.
-
POTTIER Francois authored
Menhir even if it has not been installed.
-
POTTIER Francois authored
IncrementalEngine, so as to reduce confusion and allow including this file in the documentation.
-
POTTIER Francois authored
-
POTTIER Francois authored
and the incremental API.
-
POTTIER Francois authored
-
POTTIER Francois authored
even Menhir has not been installed yet.
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 09 Dec, 2014 14 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
This costs one more field in the [env] record. The speed difference is actually not measureable. Maybe it would be measureable in an application where the [env] records are stored and move to the major heap. Never mind.
-
POTTIER Francois authored
-
POTTIER Francois authored
the incremental entry points in the generated [.mli] file.
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 08 Dec, 2014 2 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
version of [start] for each starting state. This should give the user a safe API for invoking the incremental parsing functions.
-