Skip to content
GitLab

worker: bump core version

Merged Tomáš Pecka requested to merge dev-bump into master

We are now building against core commit bd3eddd7cf1645d2d54113c5ffa2ecedffd4f0fe[1].

This brings several new overloads for unranked trees and Determinize NFA now does not create total DFA.

[1] automata-library@bd3eddd7

Merge request reports