issues
search
Wasm-DSL
/
spectec
Wasm SpecTec specification tools
https://wasm-dsl.github.io/spectec/
Other
27
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Elim il notation
#84
rossberg
closed
8 months ago
0
Annotate IL atoms with type ids, too
#83
rossberg
closed
8 months ago
0
Unify syntax of Case and Notation
#82
rossberg
closed
8 months ago
0
Typechecking nat and num_(nt)
#81
HoseongLee
closed
5 months ago
1
Iteration variable not set properly
#80
702fbtngus
closed
8 months ago
2
Enable "refinement" types
#79
rossberg
closed
8 months ago
0
Add consttype
#78
ShinWonho
closed
8 months ago
0
[al] Stack overflow in translation to AL
#77
rossberg
closed
9 months ago
3
Replacement for CONVERT_SAT
#76
HoseongLee
closed
9 months ago
1
Unbounded nats
#75
rossberg
closed
9 months ago
2
[backend-prose] Roundtrip atoms
#74
rossberg
closed
7 months ago
5
[backend-prose/interpreter] Error messages from backends
#73
rossberg
opened
9 months ago
4
Implement type indexing and adapt spec
#72
rossberg
closed
9 months ago
3
[spec-2.0/3.0] Add binary format for SIMD instructions
#71
rossberg
closed
8 months ago
0
[spec-2.0/3.0] Add missing SIMD instructions
#70
rossberg
closed
9 months ago
3
Removing duplicate prose
#69
jaehyun1ee
closed
8 months ago
1
Notify
#68
rossberg
opened
9 months ago
0
Spec conversion burndown list
#67
rossberg
opened
9 months ago
0
Hook up up spec build with SpecTec
#66
rossberg
closed
9 months ago
0
Support expression splices with type annotation
#65
rossberg
closed
9 months ago
0
Unify anchors
#64
rossberg
closed
9 months ago
0
[backend-prose] Duplicate prose definitions
#63
rossberg
opened
9 months ago
1
Add note with type id to EL atoms
#62
rossberg
closed
9 months ago
0
Using Latex backend for rendering AL expressions
#61
jaehyun1ee
closed
9 months ago
3
Generalizing some vector operations
#60
ShinWonho
closed
9 months ago
2
[backend-prose] Separate text and math rendering (and use Latex backend for the latter)
#59
rossberg
closed
7 months ago
3
[backend-prose] Missing interface files
#58
rossberg
opened
9 months ago
1
[backend-prose] Sphinx warnings
#57
rossberg
closed
9 months ago
5
Parameterized relations
#56
tlively
closed
10 months ago
2
Minor syntax refactoring in EL
#55
rossberg
closed
10 months ago
0
Fix bound variables for premises
#54
rossberg
closed
10 months ago
0
Add algorithmic backend
#53
f52985
closed
10 months ago
3
Add type indices
#52
rossberg
closed
11 months ago
0
Add a more operator atoms and simplify/generalise EL variant syntax
#51
rossberg
closed
11 months ago
0
Fix spec
#50
f52985
closed
11 months ago
0
Parse error for nested brackets
#49
702fbtngus
closed
11 months ago
3
Fix Wasm-1.0/2.0 spec
#48
f52985
closed
12 months ago
1
Fix trivial errors/typos in spec
#47
f52985
closed
1 year ago
0
Fix dimension mismatch in reduction of `ARRAY.NEW_DATA`
#46
jaehyun1ee
closed
1 year ago
2
Fix reduction rules of `CALL` and `RETURN_CALL`
#45
jaehyun1ee
closed
1 year ago
0
Check that variables in rules and defs are bound
#44
rossberg
closed
1 year ago
1
Add OOB cases for array.get/set
#43
rossberg
closed
1 year ago
0
Fix minor typo
#42
ShinWonho
closed
1 year ago
0
Fix reduction rule of `CALL`
#41
jaehyun1ee
closed
1 year ago
5
Add missing $alloctypes function
#40
rossberg
closed
1 year ago
0
Add signature for alloctypes
#39
ShinWonho
closed
1 year ago
2
Implement grammar definitions
#38
rossberg
closed
1 year ago
0
Update spec for Wasm 3
#37
f52985
closed
1 year ago
0
sideconditions: fix nested iteration
#36
nomeata
closed
1 year ago
0
Fix typing rules for labels
#35
rossberg
closed
1 year ago
0
Previous
Next