Skip to content

Pull requests: VeriFIT/mata

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

docs: Improve benchmarking documentation
#570 opened Oct 22, 2025 by Adda0 Loading…
Optimize defragmentation
#552 opened Jul 10, 2025 by Adda0 Loading…
Apply small refactorizations
#551 opened Jul 10, 2025 by Adda0 Loading…
[WIP] Enum arguments for reduce()
#519 opened Apr 15, 2025 by jurajsic Draft
New remove_epsilon() for nfa
#497 opened Mar 23, 2025 by jurajsic Draft
Automata learning algorithms Status:stale The PR's progress has stalled.
#480 opened Feb 1, 2025 by deaddlyyy Loading…
Minimization
#476 opened Dec 2, 2024 by koniksedy Draft
Reduce: Simulation algorithm Status:unplanned Merging this PR is not planned.
#434 opened Aug 26, 2024 by samo538 Draft
Add reduction using SAT and QBF solvers Status:stale The PR's progress has stalled.
#407 opened May 28, 2024 by notValord Draft
raw prototype of new parser
#356 opened Oct 2, 2023 by martinhruska Draft
ProTip! Updated in the last three days: updated:>2025-10-31.