Update issue templates - Githubissues

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

29 stars 4 forks source link

Update issue templates #53

Closed elsoroka closed 3 months ago

elsoroka commented 4 months ago

Per JOSS review, adding issue templates I also fixed the Installation page to explain how Z3 is automatically installed

codecov[bot] commented 4 months ago

Codecov Report

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

Project coverage is 87.97%. Comparing base (ed3d38b) to head (4ab9ed8).

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #53 +/- ## ======================================= Coverage 87.97% 87.97% ======================================= Files 12 12 Lines 1006 1006 ======================================= Hits 885 885 Misses 121 121 ```

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

elsoroka commented 4 months ago

Let's get all of the documentation issues found by JOSS reviewers

[x] Fix documentation to refer to automatic installation of Z3
[x] Add CONTRIBUTING.md - done in the documentation docs/src
[ ] Link to CONTRIBUTING.md in the readme
[x] Add code of conduct - done by linking to Julia community standards
[ ] Organize the examples. Right now we have paper_examples which are leftover from the VMCAI submission, examples in the repo and examples in the docs. Some of the repo and docs examples overlap.