Skip to content

Issues: appleseedlab/superc

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

80 Open 52 Closed
80 Open 52 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

SuperP4: Generic ControlDeclarations
#175 opened May 3, 2022 by kaarthikalagappan
SuperP4: Handling cases where variables are of the same name as built in functions
#174 opened May 3, 2022 by kaarthikalagappan
SuperP4: Looking up values under parent name spacing
#173 opened May 3, 2022 by kaarthikalagappan
z3 error when using more recent version of z3 low priority
#167 opened Mar 1, 2022 by paulgazz
1
Use bison's support for java to generate parse tables enhancement New feature or request
#163 opened Jan 30, 2022 by paulgazz
Remove dependency on desugarer from core/ForkMergeParser.java
#162 opened Dec 19, 2021 by paulgazz
Improve AST structure by increasing the opportunities for merging
#159 opened Sep 10, 2021 by paulgazz
More optimal merging of list semantic values
#158 opened Sep 10, 2021 by paulgazz
@kaarthikalagappan
Look into the least common ancestor algorithm when merging subparsers
#157 opened Sep 10, 2021 by paulgazz
Syntax.copy() throws UnsupportedOperationException
#156 opened Aug 31, 2021 by necipfazil
Potential Fork Error
#145 opened Apr 26, 2021 by pattersonz
Invalid parameter access
#142 opened Apr 9, 2021 by pattersonz
Duplicating Function Names
#141 opened Apr 8, 2021 by pattersonz
Improve the PresenceConditionManager design to support both BDDs and Z3 variations enhancement New feature or request
#139 opened Feb 4, 2021 by paulgazz
conditional static def leads to wrong number of arguments
#134 opened Nov 15, 2020 by pattersonz
issue assigning type when accessing struct value
#133 opened Nov 15, 2020 by pattersonz
Check and lift type errors inside of array indices
#132 opened Nov 15, 2020 by paulgazz
__typeof__ unimplemented
#131 opened Nov 15, 2020 by pattersonz
Header guards can cause spurious type errors
#130 opened Nov 14, 2020 by julianbraha
@paulgazz
Labels need to be renamed
#126 opened Nov 11, 2020 by pattersonz
1
Struct declarations must be defined before non pointer use
#124 opened Nov 11, 2020 by pattersonz
1
Finish the Identifier semantic action
#123 opened Nov 6, 2020 by julianbraha
@paulgazz
5
Spurious type error for a configurably declared and configurably used function
#122 opened Oct 31, 2020 by julianbraha
@paulgazz
Rename struct field when desugaring initializers
#118 opened Oct 11, 2020 by paulgazz
@paulgazz
Rename struct field when desugaring offsetof
#117 opened Oct 11, 2020 by paulgazz
@paulgazz
ProTip! Type g i on any issue or pull request to go back to the issue listing page.