Dataset implementation; revamp term set and some codecs. #25
No reviewers
Labels
No labels
area/api
area/codec
area/framework
area/integrity
area/performance
area/store
area/tools
p
critical
p
high
p
low
p
normal
t
bug
t
documentation
t
enhancement
t
feature
t
test
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
ktx/volksdata!25
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "dataset"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Fixes #20.
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.