issues
search
Minres
/
CoreDSL
Xtext project to parse CoreDSL files
Apache License 2.0
16
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Intrinsic load / store functions
#65
AtomCrafty
opened
2 years ago
5
Intrinsic sign_extend / zero_extend / truncate functions
#64
AtomCrafty
opened
2 years ago
7
Scope provider fixes
#63
AtomCrafty
closed
2 years ago
1
Bit vector type
#62
AtomCrafty
closed
2 years ago
10
CoreDslScopeProvider Rewrite
#61
AtomCrafty
closed
2 years ago
2
Feature/manual emf model
#60
eyck
closed
2 years ago
7
Basic Analysis Framework + Elaboration
#59
AtomCrafty
closed
2 years ago
11
Clarify sign-extension
#58
wysiwyng
closed
2 years ago
5
Make bit range operator more versatile
#57
jopperm
closed
1 year ago
3
Add a sizeof(encoding) operator
#56
wysiwyng
closed
1 year ago
7
Add a try ... catch construct
#55
wysiwyng
opened
2 years ago
0
PC increment
#54
wysiwyng
closed
1 year ago
5
Flesh out semantics for spawns with atomic updates
#53
jopperm
closed
2 years ago
8
Add a ranged index operator for address spaces
#52
jopperm
closed
1 year ago
9
Fix function declaration syntax
#51
AtomCrafty
closed
2 years ago
0
2.0.3 grammar does requires body for extern functions
#50
eyck
closed
2 years ago
1
Basic analysis framework
#49
AtomCrafty
closed
2 years ago
0
Missing Constraint: Import-Package: javax.xml.stream
#48
AtomCrafty
closed
2 years ago
6
Specify handling of duplicate type declarations during elaboration
#47
jopperm
closed
2 years ago
1
Elaboration
#46
AtomCrafty
closed
2 years ago
28
CoreDslOutlineTreeProvider can't handle cyclic dependencies
#45
AtomCrafty
closed
2 years ago
2
[Grammar] Types
#44
AtomCrafty
closed
2 years ago
0
[Grammar] Expressions
#43
AtomCrafty
closed
2 years ago
7
[Grammar] Statements and Declarations
#42
AtomCrafty
closed
2 years ago
0
[Grammar] Flow Control Statements
#41
AtomCrafty
closed
2 years ago
0
Decide strategy for grammar design
#40
jopperm
closed
2 years ago
3
More Grammar Updates [4]
#39
AtomCrafty
closed
2 years ago
7
More Grammar Updates [3]
#38
AtomCrafty
closed
2 years ago
13
More Grammar Updates [2]
#37
AtomCrafty
closed
2 years ago
4
Type validation of instruction sets
#36
AtomCrafty
closed
2 years ago
2
More Grammar Updates
#35
AtomCrafty
closed
2 years ago
0
More Grammar Updates [1]
#34
AtomCrafty
closed
2 years ago
14
Lift JVM version requirements in Maven build
#33
jopperm
closed
2 years ago
1
Replace defunct .core_desc files with examples from the wiki.
#32
jopperm
closed
2 years ago
0
Inconsistencies in Programmer's Manual
#31
wysiwyng
closed
2 years ago
5
Syntax tests
#30
AtomCrafty
closed
2 years ago
3
Type of constant expressions
#29
AtomCrafty
closed
2 years ago
5
Should we allow zero-bit types?
#28
jopperm
closed
2 years ago
2
Allow signedness casts
#27
AtomCrafty
closed
2 years ago
0
Rework ISA module grammar
#26
AtomCrafty
closed
2 years ago
0
Specify semantics for the modulus (%) operator
#25
jopperm
closed
1 year ago
1
Should we fix the order of sections?
#24
jopperm
closed
2 years ago
2
Attributes for functions without body
#23
wysiwyng
closed
2 years ago
2
Rename Identifier --> NamedEntity
#22
AtomCrafty
closed
2 years ago
11
[Proposal] Rename args_disass to assembly
#21
AtomCrafty
closed
2 years ago
4
Declarations and declarators
#20
AtomCrafty
closed
2 years ago
0
PrimaryExpression grammar rules
#19
AtomCrafty
closed
2 years ago
0
Grammar type specifiers
#18
AtomCrafty
closed
2 years ago
0
PostfixExpression grammar rule
#17
AtomCrafty
closed
2 years ago
1
PostfixExpression grammar rule
#16
AtomCrafty
closed
2 years ago
1
Previous
Next