GitLab

New implementation of [LowIntegerPriorityQueue], based on resizable arrays instead of [InfiniteArray] and lists. This allows saving some space and a little time.

This saves a little decoding activity. This should not make any
difference in space usage, yet it does in some cases (200M more
in framac-cparser, 40M less in why-cparser...).

Introduced a ## marker for auto-generated comments.

Moved coverage.sh to bench/good and updated it.

Count and display the number of reachable states.

This implies that we remove [#] from consideration, as desired.
This means fewer facts are considered and a little time is saved.
Also, announced (in comments and assertions) that [any] is implemented as [#],
but not yet committed.