Skip to content

Issues: yoshinao-isobe/CSP-Prover

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

19 Open 3 Closed
19 Open 3 Closed
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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

TimeStopFree (TSF) Package enhancement New feature or request
#23 opened Sep 12, 2022 by jbjj
2 of 3 tasks
tockCSP DFP enhancement New feature or request
#22 opened Sep 12, 2022 by jbjj
tockCSP stable failures model enhancement New feature or request
#21 opened Sep 12, 2022 by jbjj
tockCSP traces model enhancement New feature or request
#20 opened Sep 12, 2022 by jbjj
tockCSP in CSP-Prover enhancement New feature or request
#19 opened Sep 12, 2022 by jbjj
3 tasks done
The process DFkev
#16 opened Sep 18, 2021 by jbjj
2 of 3 tasks
The process DFnonTick
#15 opened Sep 18, 2021 by jbjj
2 of 3 tasks
Migrate CSP-Prover to Isabelle 2021 enhancement New feature or request
#14 opened Aug 29, 2021 by jbjj
6 tasks done
@jbjj
AFP submission MUST contain an abstract to be displayed on the web site documentation Improvements or additions to documentation
#13 opened Mar 29, 2021 by jbjj
1 task
AFP style rule: MUST NOT use the commands sorry or back. enhancement New feature or request
#12 opened Mar 29, 2021 by jbjj
1 task
AFP style rule: instantiations MUST NOT use Isabelle-generated names enhancement New feature or request
#11 opened Mar 29, 2021 by jbjj
1 task
AFP style rule: MUST NOT use of the command smt_oracle enhancement New feature or request
#10 opened Mar 29, 2021 by jbjj
1 task
AFP style rule: MUST include the expect parameters when calling nitpick, quickcheck, or nunchaku enhancement New feature or request
#9 opened Mar 29, 2021 by jbjj
1 task
AFP style rule: apply scripts SHOULD be indented by subgoal enhancement New feature or request
#8 opened Mar 29, 2021 by jbjj
1 task
AFP Style rule: unnamed lemmas MUST NOT carry attributes enhancement New feature or request
#7 opened Mar 29, 2021 by jbjj
1 task
AFP Style rule: SHOULD use structured Isar proofs over apply style enhancement New feature or request
#6 opened Mar 29, 2021 by jbjj
1 task
AFP Style rule: MUST provide comments for proof steps longer than 1 min documentation Improvements or additions to documentation
#5 opened Mar 29, 2021 by jbjj
1 task
AFP Style rule: MUST contain ROOT file with one session documentation Improvements or additions to documentation
#4 opened Mar 29, 2021 by jbjj
1 task
AFP Style rule: MUST cite all sources documentation Improvements or additions to documentation
#3 opened Mar 29, 2021 by jbjj
1 task
ProTip! Mix and match filters to narrow down what you’re looking for.