-
Notifications
You must be signed in to change notification settings - Fork 17
Issues: jpfairbanks/SemanticModels.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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Integrate modeling and composition of open games
MIR
Modeling Intermediate Representations
reasoning
model reasoning
wip
#208
opened Jul 17, 2019 by
crherlihy
Type reflection vs Type inference
extraction
Information extraction
#198
opened Jun 10, 2019 by
jpfairbanks
PetriNets and Wiring Diagrams
enhancement
New feature or request
#195
opened Jun 6, 2019 by
jpfairbanks
Formalize how our IR is represented and constructed
MIR
Modeling Intermediate Representations
#191
opened May 22, 2019 by
crherlihy
Semantic Constraints for Stats Modeling
enhancement
New feature or request
reasoning
model reasoning
validation
validation of models
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.