search

VeriFIT / mata

A fast and simple automata library
MIT License
20 stars 13 forks source link

Readme Update #376

Closed vhavlena closed 8 months ago

vhavlena commented 8 months ago

Fixing README.md to be more up-to-date.

codecov[bot] commented 8 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (efadb56) 72.05% compared to head (864a697) 72.05%. Report is 1 commits behind head on devel.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## devel #376 +/- ## ======================================= Coverage 72.05% 72.05% ======================================= Files 30 30 Lines 3686 3686 Branches 839 839 ======================================= Hits 2656 2656 Misses 735 735 Partials 295 295 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

vhavlena commented 8 months ago

LGTM. Do you plan to resolve the remaining tasks in #319 in this PR?

I was not aware of this Issue. Maybe I include something that makes sense to me.

Adda0 commented 8 months ago

Sounds good to me. Let me know when you have finished working on this PR, and the PR is ready for final review.

vhavlena commented 8 months ago

Ok, it is ready now. Please look at it.

vhavlena commented 8 months ago

I think we can merge it.