issues
search
ssm-lang
/
Scoria
This is an embedding of the Sparse Synchronous Model, in Haskell!
BSD 3-Clause "New" or "Revised" License
4
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[RFC] Output handlers
#91
Rewbert
opened
2 years ago
1
New backend reference counted svs [not done, don't review or merge yet]
#90
Rewbert
opened
2 years ago
0
Parameterise over backend (ready to merge after review)
#89
Rewbert
opened
2 years ago
1
Time refactor
#88
Rewbert
closed
2 years ago
0
Basic ble support
#87
Rewbert
closed
2 years ago
0
Wrote FreqGen and FreqCount examples
#86
j-hui
closed
2 years ago
2
Upstream ssm
#85
j-hui
opened
2 years ago
0
Integer overflow in interpreter might be UB
#84
j-hui
opened
2 years ago
1
Fix runtime lib path
#83
j-hui
closed
2 years ago
0
IO handlers
#82
Rewbert
closed
2 years ago
2
Issue #72 -- more fine grained syntax
#81
Rewbert
opened
2 years ago
0
Add "escape hatch" in EDSL
#80
j-hui
opened
2 years ago
2
Don't assume long == 64-bit
#79
j-hui
opened
2 years ago
0
Use unsigned integers
#78
j-hui
closed
2 years ago
2
Examples wishlist
#77
j-hui
closed
2 years ago
2
Monomorphisation [do not merge yet]
#76
Rewbert
opened
2 years ago
5
Remove main arguments from EDSL
#75
Rewbert
closed
2 years ago
0
Tried to remove any reference to arguments to a main function
#74
Rewbert
closed
2 years ago
2
Issue 59 transpilation bug
#73
Rewbert
closed
2 years ago
1
Make core syntax more fine grained
#72
Rewbert
opened
2 years ago
0
Fix for Issue #63, compiling expressions to normal C types, not scheduled variables
#71
Rewbert
closed
2 years ago
1
Propagate parse errors from trace parsers to testing framework
#70
Rewbert
opened
2 years ago
0
Megaparsec parser instead of using the `Read` instance
#69
Rewbert
closed
2 years ago
0
moved deref from statement level to expression level
#68
Rewbert
closed
2 years ago
1
Expression deref [do not merge yet]
#67
Rewbert
closed
2 years ago
0
Inefficient distribution of priorities
#66
j-hui
opened
2 years ago
1
Remove arguments to the entry point
#65
Rewbert
closed
2 years ago
1
Rebase global references runtime refactor
#64
Rewbert
closed
2 years ago
1
Make expressions compile to ordinary types in C, not scheduled variables
#63
Rewbert
closed
2 years ago
1
Connect standard streams to global references
#62
Rewbert
opened
2 years ago
1
Refactor interpreter
#61
Rewbert
opened
2 years ago
0
Ask Zephyr people about 64bit timers
#60
Rewbert
opened
2 years ago
0
Transpilation bug - names are duplicated
#59
Rewbert
closed
2 years ago
4
Profile interpreter to see if it's the culprit that makes the tests take longer than previously
#58
Rewbert
closed
2 years ago
3
Lower deref from statement level to expression level
#57
Rewbert
closed
2 years ago
1
Rebase common ident runtime refactor
#56
Rewbert
closed
2 years ago
3
Rebase commond ident test
#55
Rewbert
closed
2 years ago
1
Require time unit in after statements
#54
hmontero1205
closed
2 years ago
4
Typechecker
#53
yc2454
opened
2 years ago
1
Common identifier type
#52
Rewbert
closed
2 years ago
1
SSM time types for frontend
#51
hmontero1205
closed
2 years ago
9
Global references
#50
Rewbert
closed
2 years ago
3
Can't use references in operators
#49
hmontero1205
closed
2 years ago
6
Implement event type and a regression-high test suite
#48
hmontero1205
closed
2 years ago
2
Even better shrinker!
#47
j-hui
opened
2 years ago
2
Use sedwards-lab/ssm library directly
#46
j-hui
closed
2 years ago
5
Implement unit type as SSMType
#45
j-hui
closed
2 years ago
4
Empty traces lead to misleadingly successful test cases
#44
j-hui
closed
2 years ago
2
Change test framework to use exit codes rather than inspecting stderr
#43
Rewbert
opened
2 years ago
1
Queue size
#42
yc2454
closed
2 years ago
1
Next