Skip to content

Issues: AlgebraicJulia/GATlab.jl

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

48 Open 43 Closed
48 Open 43 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

initial and terminal models of theories enhancement New feature or request
#184 opened Dec 18, 2024 by kris-brown
@kris-brown
Model-parameterized equality enhancement New feature or request
#183 opened Dec 18, 2024 by kris-brown
@kris-brown
Can't use empty type in models wontfix This will not be worked on
#182 opened Dec 11, 2024 by kris-brown
Global constants that get modified during precompilation don't work bug Something isn't working
#181 opened Dec 10, 2024 by kris-brown
Wrapper structs for models of a particular theory enhancement New feature or request
#178 opened Dec 9, 2024 by kris-brown
1
@kris-brown
Explicit models which just use type dispatch enhancement New feature or request
#176 opened Dec 9, 2024 by kris-brown
1
@kris-brown
Checking if a model implements a theory leads to MethodNotFound error bug Something isn't working
#174 opened Dec 8, 2024 by kris-brown
1
@kris-brown
1
Using the same struct as a model for multiple theories enhancement New feature or request
#173 opened Dec 8, 2024 by kris-brown
1
@kris-brown
WithModel dispatch is too strict, ought accept subtypes enhancement New feature or request
#169 opened Dec 7, 2024 by kris-brown
1
@kris-brown
Adding a method with a theory extension breaks @instance bug Something isn't working
#167 opened Dec 6, 2024 by kris-brown
1
@kris-brown
1
Sugar for models with union types enhancement New feature or request
#164 opened Oct 15, 2024 by kris-brown
@kris-brown
1
Bad docstrings on theories in Julia v1.11 bug Something isn't working
#163 opened Oct 11, 2024 by epatters
1
@kris-brown
2
Precompile Errors on Julia 1.11.0 bug Something isn't working
#162 opened Oct 10, 2024 by lukem12345
2
Use TypeCheck.jl to sort-check instances
#159 opened Jul 5, 2024 by olynch
3
Improve coverage of rename/retag/reident or delete them
#155 opened Jul 2, 2024 by olynch
Make renaming not generate as many new scopetags enhancement New feature or request
#148 opened Mar 20, 2024 by kris-brown
Repr replaces macros with LineNumberNodes documentation Improvements or additions to documentation
#144 opened Mar 15, 2024 by quffaro
@quffaro
Blog post on basic use of GATlab
#129 opened Nov 6, 2023 by olynch
1
Multiple Inheritance Design
#128 opened Nov 6, 2023 by olynch
"dispatch on return type" overload resolution
#127 opened Nov 6, 2023 by olynch
Symbolic ODEs
#122 opened Oct 19, 2023 by jpfairbanks
@olynch
typecons() and termcons() output type
#103 opened Sep 18, 2023 by kris-brown
Runtime check for valid models
#91 opened Sep 8, 2023 by kris-brown
Implement algebraic hierarchy, including R-algebras
#87 opened Sep 8, 2023 by olynch
Provenance and metadata for variables in a Scope infrastructure
#85 opened Sep 7, 2023 by olynch
ProTip! Add no:assignee to see everything that’s not assigned.