Skip to content

Pull requests: DeepSpec/InteractionTrees

New pull request New
Clear current search query, filters, and sorts
7 Open 178 Closed
7 Open 178 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Release 5.2.1
#274 by Lysxia was merged Feb 28, 2025 Loading…
Restore compatibility with paco 4.2.2
#273 by Lysxia was merged Jan 30, 2025 Loading…
Updates for Paco v4.2.3
#272 by gilhur was merged Jan 30, 2025 Loading…
1
Updates for Paco v4.2.1
#271 by gilhur was merged Oct 9, 2024 Loading…
1
Release version 5.2.0
#266 by Lysxia was merged Apr 2, 2024 Loading…
Clean up
#265 by Lysxia was merged Feb 21, 2024 Loading…
Use dune 3.14
#264 by Lysxia was merged Feb 21, 2024 Loading…
Add Hint Mode on MonadIter
#262 by Lysxia was merged Feb 21, 2024 Loading…
Adapt to https://github.com/coq/coq/pull/18590
#261 by proux01 was merged Feb 20, 2024 Loading…
1
Adapt to Coq/Coq#18164
#260 by Villetaneuse was merged Oct 21, 2023 Loading…
3
Fix FailFacts for coq-dev
#257 by Lysxia was merged May 18, 2023 Loading…
ci: Add Coq 8.16 and 8.17
#256 by Lysxia was merged Mar 17, 2023 Loading…
Cleanup duplicated instances
#255 by liyishuai was merged Mar 14, 2023 Loading…
1
Adapt to alpha-renaming in coq-paco dev
#253 by Lysxia was merged Mar 5, 2023 Loading…
3
Fixing a couple of warnings
#252 by YaZko was merged Mar 5, 2023 Loading…
3
CI: Fix make build
#250 by Lysxia was merged Dec 9, 2022 Loading…
More interaction lemmas and inversion principles
#249 by lephe was merged Nov 29, 2022 Loading…
1
added mrec_rutt reasoning principle
#248 by lag47 was merged Nov 29, 2022 Loading…
1
added mrec_rutt reasoning principle
#247 by lag47 was closed Nov 22, 2022 Loading…
@Chobbes
Add RuttFacts.v to _CoqProject.itree.
#246 by Chobbes was merged Nov 21, 2022 Loading…
1
Basic theory of rutt
#245 by lephe was merged Nov 20, 2022 Loading…
6
Prune and simplify proofs in extra/IForest.v
#244 by Lysxia was merged Oct 8, 2022 Loading…
1
Add Props.Cofinite
#241 by Lysxia was merged May 26, 2022 Loading…
Rename may_diverge, must_diverge, BoxFinite, DiamondFinite to (all|any)_(in|)finite and EuttDiv -> EuttNoRet
#239 by Lysxia was merged May 26, 2022 Loading…
Extra package
#238 by Lysxia was merged May 25, 2022 Loading…
ProTip! Add no:assignee to see everything that’s not assigned.