issues
search
melt-umn
/
silver
An attribute grammar-based programming language for composable language extensions
http://melt.cs.umn.edu/silver/
GNU Lesser General Public License v3.0
58
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add unary undecoration operator '^'
#851
krame505
opened
2 weeks ago
0
Support referencing forwardParent
#850
krame505
opened
3 weeks ago
0
Require explicit new for undecoration
#849
krame505
opened
3 weeks ago
0
Bump braces from 3.0.2 to 3.0.3 in /support/vs-code/silverlsp
#848
dependabot[bot]
closed
3 weeks ago
0
Fix bugs with occurs-on constraints
#847
krame505
closed
1 month ago
0
Crashing function with type constraints
#846
RandomActsOfGrammar
closed
1 month ago
9
Invalid tuple selector error hides others
#845
RandomActsOfGrammar
opened
1 month ago
0
Tuple selector sections
#844
RandomActsOfGrammar
opened
2 months ago
1
Unary operator for new
#843
krame505
opened
2 months ago
3
Permit accessing the forward parent in implementation productions
#842
krame505
opened
2 months ago
0
Fix spelling of file name ConvertablePrim -> ConvertiblePrim
#841
krame505
closed
2 months ago
0
Feature/agnosis pull request
#840
matthew-a-feraru
opened
2 months ago
0
Add support for non-decorated local/production attributes
#839
krame505
closed
1 month ago
1
Fix a few bugs with reflection-based unparse mechanism
#838
krame505
closed
2 months ago
0
Implement flow analysis for dispatch sharing, and use it in the Silver compiler
#837
krame505
closed
1 month ago
1
Bad error message for attribute sections with indeterminate nonterminal type
#836
RandomActsOfGrammar
opened
3 months ago
0
Fix bug with constructing equation locations
#835
krame505
closed
3 months ago
0
Add missing error message for concise function return type mismatch
#834
krame505
closed
3 months ago
0
Feature/agnosis-utils
#833
krame505
closed
4 months ago
0
Support getting the names of children for a production
#832
krame505
closed
4 months ago
0
Initial support for signature sharing and dispatch productions
#831
krame505
closed
1 month ago
0
Feature/main concisefunction
#830
unironically
closed
4 months ago
0
Minor cleanup, removing instanceNum
#829
krame505
closed
4 months ago
0
Make PatternVarProjection a data nonterminal
#828
krame505
closed
5 months ago
0
Make concise functions a modification
#827
krame505
closed
6 months ago
0
Fix/concisefunction docs
#826
unironically
closed
7 months ago
0
Undefined types in lambda parameters do not give type errors
#825
RandomActsOfGrammar
opened
7 months ago
0
Add utilities for use in debugger, to check whether a child/local is decorable
#824
krame505
closed
7 months ago
0
Allow doc comments on concise functions
#823
krame505
closed
5 months ago
0
Automated refactor to use concise function syntax
#822
krame505
closed
6 months ago
2
Implement layout-preserving unparse and AST-based refactoring mechanism
#821
krame505
closed
7 months ago
0
Dependencies from default productions aren't included in flow type inference
#820
krame505
opened
8 months ago
0
Addition of concise function syntax
#819
unironically
closed
8 months ago
0
Add genericShow function in silver:core
#818
krame505
closed
8 months ago
0
Change over remaining built-in operators to use algebra type classes
#817
krame505
closed
8 months ago
0
FIx bug with location of terminals in metatranslated ASTs
#816
krame505
closed
8 months ago
0
Disallow multiple annotations with the same short name occuring on the same nonterminal
#815
krame505
opened
8 months ago
0
Misc refactoring saved from feature/explicit-dec
#814
krame505
closed
8 months ago
0
Making type signatures on lambda parameters optional
#813
unironically
closed
9 months ago
2
Dispatch productions and tree sharing
#812
krame505
closed
1 month ago
6
Avoid reading and deserializing interface files twice
#811
krame505
closed
9 months ago
0
Flow edges for tree sharing sites miss inherited attributes not in the env
#810
krame505
closed
1 month ago
0
Javascript backend
#809
krame505
opened
9 months ago
0
Don't print hashCodes, print labels
#808
remexre
opened
9 months ago
0
Add tree-sharing-demo to Jenkins
#807
krame505
closed
9 months ago
0
Tweaks to import scoping and name resolution
#806
krame505
closed
9 months ago
0
Silver 0.5.0 release candidate
#805
krame505
closed
9 months ago
1
Revert change to ignore trackedness/dataness in unification
#804
krame505
opened
9 months ago
0
Change the Silver compiler to use origin tracking
#803
krame505
closed
9 months ago
1
Using type class methods for arithmetic operators
#802
krame505
closed
8 months ago
4
Next