Skip to content

Pull requests: AlgebraicJulia/GATlab.jl

New pull request New
16 Open 77 Closed
16 Open 77 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

Wrapper struct for models of a theory enhancement New feature or request
#180 opened Dec 9, 2024 by kris-brown Loading…
1
@kris-brown
1
Explicit Dispatch model type and @default_model macro enhancement New feature or request
#177 opened Dec 9, 2024 by kris-brown Loading…
1
@kris-brown
1
Allow checking if a model does NOT implement a given theory bug Something isn't working
#175 opened Dec 9, 2024 by kris-brown Loading…
1
@kris-brown
1
Remove the Model abstract type, simplify model migration code. enhancement New feature or request
#172 opened Dec 8, 2024 by kris-brown Loading…
1
@kris-brown
5
Fix docstring error bug Something isn't working
#171 opened Dec 8, 2024 by kris-brown Loading…
1
@kris-brown
1
Allow WithModel dispatch to accept subtypes enhancement New feature or request
#170 opened Dec 7, 2024 by kris-brown Loading…
1
@kris-brown
1
Fix logic of @import bug Something isn't working
#168 opened Dec 7, 2024 by kris-brown Loading…
1
@kris-brown
1
Roe cleanup
#161 opened Jul 23, 2024 by quffaro Loading…
38
Compute graphs
#160 opened Jul 8, 2024 by olynch Loading…
1
Refactor of AlgTerm/AlgType to use good sumtypes
#158 opened Jul 5, 2024 by olynch Loading…
1
Good sumtypes enhancement New feature or request
#157 opened Jul 3, 2024 by olynch Loading…
1
Directories and Symbolic Resource Sharers enhancement New feature or request
#156 opened Jul 3, 2024 by olynch Loading…
1
Forester autogeneration documentation Improvements or additions to documentation
#149 opened Mar 30, 2024 by kris-brown Loading…
1
Simple theory maps and simple pushouts enhancement New feature or request
#146 opened Mar 16, 2024 by kris-brown • Draft
3
AlgDot and AlgStruct fields use symbols enhancement New feature or request
#140 opened Feb 16, 2024 by kris-brown Loading…
@kris-brown
1
Initial work on combinatorial models of GATs
#135 opened Dec 23, 2023 by kris-brown • Draft
@kris-brown
1
ProTip! Exclude everything labeled bug with -label:bug.