Skip to content

Pull requests: uwplse/verdi

New pull request New
Clear current search query, filters, and sorts
0 Open 122 Closed
0 Open 122 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

simplify proofs
#147 by gares was merged May 17, 2024 Loading…
1
update publication URLs
#146 by palmskog was merged Dec 8, 2023 Loading…
1
simplified conclude_using
#144 by palmskog was merged Nov 5, 2023 Loading…
reorganize files under standard theories directory
#143 by palmskog was merged Oct 21, 2023 Loading…
consistently use From-Require
#142 by palmskog was merged Oct 20, 2023 Loading…
purge NPeano in favor of PeanoNat
#141 by palmskog was merged Oct 15, 2023 Loading…
Fix deprecations
#140 by palmskog was merged Oct 15, 2023 Loading…
Adapt w.r.t. coq/coq#17564.
#139 by ppedrot was merged May 3, 2023 Loading…
1
8.17 drop configure
#136 by palmskog was merged Jan 7, 2023 Loading…
fix deprecations on 8.16 and later
#135 by palmskog was merged Nov 25, 2022 Loading…
add meta.yml, generate boilerplate
#134 by palmskog was merged Nov 14, 2022 Loading…
Adapt w.r.t. coq/coq#16004.
#133 by ppedrot was merged Jun 28, 2022 Loading…
Adapt w.r.t coq/coq#16004
#132 by Alizter was closed May 10, 2022 Loading…
GhostSimulations:Be more robust to generated names
#131 by JasonGross was merged Oct 26, 2021 Loading…
1
1
Adapt to coq/coq#13837 ("apply with" does not rename arguments)
#129 by SkySkimmer was merged Oct 1, 2021 Loading…
Remove the only call to the Regular Subst Tactic option.
#128 by ppedrot was merged May 24, 2021 Loading…
1
Replace use of omega with lia for Coq 8.14 #13741
#127 by jfehrle was merged Mar 28, 2021 Loading…
1
Adapt w.r.t. coq/coq#12512.
#126 by ppedrot was merged Jun 15, 2020 Loading…
port to Coq master
#121 by palmskog was merged Jan 3, 2019 Loading…
avoid using soon-to-be-deprecated automatic instance refinement
#120 by palmskog was merged Jan 2, 2019 Loading…
Use Docker to run Travis tests
#119 by mernst was merged Jan 5, 2018 Loading…
1
compatibility with both 8.6.1 and 8.7.0
#118 by palmskog was merged Oct 23, 2017 Loading…
Disk log transformer and serialized message transformer
#117 by palmskog was merged Sep 24, 2017 Loading…
Replace unmaintained finite map code with FMap from stdlib
#116 by palmskog was closed Sep 1, 2017 Loading…
do all Travis build tasks via OPAM
#115 by palmskog was merged May 24, 2017 Loading…
ProTip! Add no:assignee to see everything that’s not assigned.