Skip to content

Issues: CCR-project/CCR

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

30 Open 39 Closed
30 Open 39 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

Better bind rule?
#181 opened Dec 8, 2021 by alxest
Make steps smarter: unwarpU/N, ccallU, etc
#171 opened Oct 17, 2021 by alxest
add bound checking in pargs Refactor
#170 opened Oct 17, 2021 by alxest
1
Bad naming: ckcall Refactor
#130 opened Jun 19, 2021 by alxest
Extraction bug
#120 opened Jun 15, 2021 by minkiminki
"mDesAll" should remove upd modalities too Refactor
#107 opened Jun 6, 2021 by alxest
1
"alist" has too high universe Refactor
#106 opened Jun 6, 2021 by alxest
Pure calls does not need virtual arguments Refactor
#105 opened Jun 5, 2021 by alxest
Remove stb_incl and replace it with stb_weaker? Refactor
#104 opened Jun 3, 2021 by alxest
Give Structure on XMod/XModSem Difficulty: LOW Importance: LOW Refactor
#102 opened Jun 2, 2021 by alxest
TODO: remove Require Import Logic. in HoareDef for compile time Difficulty: LOW Importance: MID Refactor
#101 opened May 30, 2021 by alxest
mAssert should use existing name when the name is not specified? Importance: LOW Refactor
#100 opened May 30, 2021 by alxest
Can't use <<_: name>> notation on iProp? Refactor
#99 opened May 30, 2021 by alxest
1
Add "rewrite with / at" on DisableSsreflect? Importance: LOW Refactor
#98 opened May 30, 2021 by alxest
@minkiminki
1
Idea: define extensionality lemmas for possible speedup? Difficulty: LOW Importance: LOW
#90 opened May 11, 2021 by alxest
Make fspec_trivial2 as the default spec in HoareDef
#87 opened May 3, 2021 by alxest
Minor Refactorings Refactor
#74 opened Apr 17, 2021 by alxest
6 tasks
5
Use option/list monad in ExtLib Difficulty: MID Importance: LOW
#72 opened Apr 16, 2021 by alxest
Add eqvclass for ModL.t && prove commutativity of refinement Difficulty: LOW Importance: MID
#69 opened Apr 13, 2021 by alxest
Simulation Transitivity
#63 opened Apr 5, 2021 by minkiminki
Remove redundant dependency for better compilation time Difficulty: LOW Importance: MID
#51 opened Mar 23, 2021 by alxest
Refactor/revise Difficulty: LOW
#45 opened Mar 17, 2021 by alxest
7 of 8 tasks
2
Add CI Difficulty: LOW Importance: HIGH
#39 opened Mar 4, 2021 by alxest
Add support for quick compile Difficulty: LOW Importance: HIGH
#20 opened Feb 20, 2021 by alxest
1
Remove explicit annotation for PCM Difficulty: LOW Importance: LOW
#16 opened Feb 20, 2021 by alxest
ProTip! Type g i on any issue or pull request to go back to the issue listing page.