Dataset implementation; revamp term set and some codecs. #25

Merged
scossu merged 12 commits from dataset into master 2026-07-03 17:50:51 +00:00
Owner

Fixes #20.

Fixes #20.
scossu merged commit e7a858f41e into master 2026-07-03 17:50:51 +00:00
Author
Owner

Note that this PR, among many other things, removes the pre-compiled codec artifacts (grammar_*.c, parser_*.c, tokens_*.h). This removes 20K LoC from version control. re2c becomes mandatory to compile the codec from git.

Note that this PR, among many other things, removes the pre-compiled codec artifacts (`grammar_*.c`, `parser_*.c`, `tokens_*.h`). This removes 20K LoC from version control. re2c becomes mandatory to compile the codec from git.
scossu deleted branch dataset 2026-07-03 17:53:32 +00:00
Sign in to join this conversation.
No description provided.