[go: nahoru, domu]
Skip to content

Pull requests: UniMath/largecatmodules

New pull request New
Clear current search query, filters, and sorts
0 Open 140 Closed
0 Open 140 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

two adaptations to ArToSig now being defined through foldr1_map
#155 by rmatthes was merged Jun 12, 2024 Loading…
1
should restore compilation after merging UniMath PR #1844
#154 by rmatthes was merged Mar 1, 2024 Loading…
GitHub action v3 -> v4, Dune language 3.5 -> 3.8, Coq language 0.6 -> 0.8
#153 by rmatthes was merged Mar 1, 2024 Loading…
Update references to category packages
#152 by arnoudvanderleer was merged Feb 7, 2024 Loading…
2
restores compilation after UniMath PR1829
#151 by rmatthes was merged Jan 30, 2024 Loading…
makes this satellite compile again after merging UniMath PR1739
#150 by rmatthes was merged Jul 21, 2023 Loading…
makes this satellite compile again after merging UniMath PR #1728
#149 by rmatthes was merged Jun 28, 2023 Loading…
3
Change CI to compositional build with Dune.
#148 by m-lindgren was merged Mar 4, 2023 Loading…
simplification thanks to upstream change
#146 by rmatthes was merged Mar 4, 2023 Loading…
12
Dune support
#145 by m-lindgren was merged Nov 5, 2022 Loading…
1
Changed [mk] -> [make] in imports, to follow #1573 upstream
#144 by peterlefanulumsdaine was merged Oct 26, 2022 Loading…
4
update CI
#143 by benediktahrens was merged Oct 11, 2022 Loading…
makes this file compile again after merging UniMath PR1549
#142 by rmatthes was merged Oct 12, 2022 Loading…
1
Remove Bicategories from CI
#141 by benediktahrens was closed Mar 12, 2023 Loading…
makes the repo compile again
#140 by rmatthes was merged May 27, 2022 Loading…
adapt to latest UniMath
#139 by benediktahrens was merged Feb 22, 2022 Loading…
adapts the repo to compile with UniMath PR 1455
#138 by rmatthes was merged Feb 12, 2022 Loading…
1
remove duplicate entry in file list
#137 by benediktahrens was merged Feb 7, 2022 Loading…
Update Github Action
#136 by benediktahrens was merged Feb 3, 2022 Loading…
Update to changes made in UniMath/DisplayedCats.
#135 by benediktahrens was merged Feb 3, 2022 Loading…
restores compilation on base of current UniMath master (commit 89cc6d6)
#134 by rmatthes was merged Jan 6, 2022 Loading…
2
adapt to UniMath/UniMath after refactoring categories
#133 by benediktahrens was merged Nov 16, 2021 Loading…
tries to unfold then normalize the new upstream def. horcomp_data
#132 by rmatthes was merged Oct 23, 2021 Loading…
5
follows the upstream identifier changes concerning monoidal isos
#131 by rmatthes was merged Aug 31, 2021 Loading…
2
fixes a problem with missing projections coming from UniMath
#130 by rmatthes was merged Jul 30, 2021 Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.