issues
search
ssm-lang
/
sslang
A language built atop the Sparse Synchronous Model
BSD 3-Clause "New" or "Revised" License
18
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add list syntax
#117
anjalismith
closed
2 years ago
0
add tuple tests and add tuple syntax in the frontend.
#116
xiaoqiangheye
closed
1 year ago
3
Add lists and tuples
#115
EmilySillars
closed
2 years ago
2
add type system learning resources documentation
#114
leoqiao18
closed
2 years ago
0
add switch for spaghetti, update old comment
#113
EmilySillars
closed
2 years ago
0
Document the InsertRefCounting pass
#112
sedwards-lab
closed
2 years ago
0
Lambda lift breaks recursive let definitions
#111
gschare
closed
1 year ago
11
Blink 3 test case hangs
#110
j-hui
opened
2 years ago
0
Generalization bugs with type annotations
#109
j-hui
closed
1 year ago
1
Constraint-based type inference
#108
leoqiao18
closed
1 year ago
6
Support all pattern type annotations and check kinds
#107
j-hui
closed
2 years ago
4
Non-invasive Nix + Nix Flake dev shell support
#106
leoqiao18
closed
2 years ago
1
newnew1 test case is broken
#105
j-hui
opened
2 years ago
0
Fix dup/drop inference pass
#104
j-hui
closed
2 years ago
1
Simplify type system and inference
#103
j-hui
closed
2 years ago
1
Add more robust FFI that supports return values
#102
j-hui
closed
2 years ago
0
Support quoted inline C syntax
#101
j-hui
closed
2 years ago
0
Fix gc for effectful lets
#100
yiming-fang
closed
2 years ago
0
Fix if-else parsing and introduce better tests for blocks
#99
j-hui
closed
2 years ago
0
Match on unmarshalled value for literal matches
#98
j-hui
closed
2 years ago
0
Desugar recursive pattern matching
#97
leoqiao18
closed
2 years ago
2
Fix type inference for new PrimOps
#96
j-hui
closed
2 years ago
0
Setup CI environment with test dependencies for faster CI
#95
j-hui
closed
1 year ago
2
Add support for more binary arithmetic operators
#94
j-hui
closed
2 years ago
0
Platform builds
#93
j-hui
closed
2 years ago
0
Pretty print
#92
EmilySillars
closed
2 years ago
4
Improve partially applied adt test case
#91
EmilySillars
closed
2 years ago
0
Add nestable block comments
#90
j-hui
closed
2 years ago
3
Support stray || inserted due to leading comments
#89
j-hui
closed
2 years ago
0
Substitute primitives
#88
j-hui
closed
2 years ago
1
Support codegen for closure bindings
#87
j-hui
closed
2 years ago
4
Support codegen for closures
#86
j-hui
closed
2 years ago
1
Turn unapplied and partially applied adts into regular function application
#85
EmilySillars
closed
2 years ago
1
Pattern match anomaly checker
#84
leoqiao18
closed
2 years ago
2
multiple argument functions fail on AST lowering pass
#83
EmilySillars
opened
2 years ago
0
Add support for recursion in type inference
#82
XijiaoLi
closed
2 years ago
1
Optimize ADT structs for reuse
#81
EmilySillars
opened
2 years ago
0
match indentation error
#80
EmilySillars
closed
1 year ago
0
blank line or comment at top of .ssl file fails
#79
EmilySillars
closed
2 years ago
0
Add dup/drop inference
#78
j-hui
closed
2 years ago
2
Codegen might not know when to yield
#77
j-hui
closed
2 years ago
2
Fix doc build CI
#76
j-hui
closed
2 years ago
2
Upstream runtime and support ADTs
#75
j-hui
closed
2 years ago
0
Generate code for ADTs
#74
j-hui
closed
2 years ago
7
Automatically deploy Haddock documentation
#73
j-hui
closed
2 years ago
3
Haddock fix
#72
j-hui
closed
2 years ago
1
Mangle identifiers for testing equivalence
#71
j-hui
closed
2 years ago
0
Use scope trace to name lifted lambdas
#70
hmontero1205
closed
2 years ago
2
Cache Haskell setup
#69
j-hui
closed
2 years ago
2
Add tuple literal syntax
#68
j-hui
closed
1 year ago
3
Previous
Next