search

elsoroka / Satisfiability.jl

Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
https://elsoroka.github.io/Satisfiability.jl/
MIT License
28 stars 4 forks source link

Increment version number and add line in documentation for new release #64

Closed elsoroka closed 4 weeks ago

elsoroka commented 4 weeks ago

per JOSS publication checklist.

codecov[bot] commented 4 weeks ago

Codecov Report

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

Project coverage is 90.72%. Comparing base (d3a516f) to head (6b4f73f). Report is 21 commits behind head on main.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #64 +/- ## ========================================== - Coverage 90.75% 90.72% -0.04% ========================================== Files 12 12 Lines 1006 1013 +7 ========================================== + Hits 913 919 +6 - Misses 93 94 +1 ```

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