It is my pleasure to announce a new release of Menhir. The main change is improved parser construction time in --table mode. The table back-end uses a new table compression algorithm. This algorithm is significantly faster than the previous algorithm: in our tests, it can be up to 8 times faster. This results in observably faster compilation: for example, the time required to compile the OCaml parser drops from 1.2 seconds to 0.6 seconds. Compared with the previous algorithm, the new algorith...
