issues
search
BlockstreamResearch
/
simfony
Rust-like high-level language that compiles down to Simplicity bytecode. Work in progress.
19
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add debug symbols
#87
uncomputable
closed
8 hours ago
2
Reconstruct value
#86
uncomputable
closed
3 days ago
6
QoL
#85
uncomputable
closed
5 days ago
7
Fix bitcoind tests
#84
uncomputable
closed
2 weeks ago
0
Update examples
#83
uncomputable
closed
2 weeks ago
0
Update simplicity
#82
uncomputable
closed
2 weeks ago
0
Fix asymptotics of BasePattern
#81
uncomputable
closed
2 weeks ago
4
Update simplicity
#80
uncomputable
closed
3 weeks ago
4
Parsing is slow
#79
uncomputable
opened
3 weeks ago
0
Add fuzzing + CI
#78
uncomputable
closed
3 weeks ago
2
Update parse tree
#77
uncomputable
closed
3 weeks ago
1
Update jet docs
#76
uncomputable
closed
3 weeks ago
0
Add for-while loops
#75
uncomputable
closed
1 month ago
4
Fuzz fixes
#74
uncomputable
closed
1 month ago
2
lockfile: reduce dependency versions to ones that MSRV can handle
#73
apoelstra
closed
1 month ago
0
Fuzz compiler
#72
uncomputable
closed
3 weeks ago
1
Infallible pairs
#71
uncomputable
closed
1 month ago
6
Add list folds
#70
uncomputable
closed
1 month ago
7
More functions
#69
uncomputable
closed
1 month ago
3
Bug fixes
#68
uncomputable
closed
1 month ago
2
Hotfix docs
#67
uncomputable
closed
1 month ago
0
Do not directly expose check_sig_verify jet
#66
roconnor-blockstream
closed
1 month ago
1
Add type casts
#65
uncomputable
closed
1 month ago
2
Add functions
#64
uncomputable
closed
1 month ago
1
Add new witness parser
#63
uncomputable
closed
2 months ago
6
Update jet documentation
#62
uncomputable
closed
2 months ago
1
Document remaining transaction jets
#61
roconnor-blockstream
closed
2 months ago
1
Examples: Write Ctx8
#60
uncomputable
closed
2 months ago
0
Remove old witness parser
#59
uncomputable
closed
2 months ago
6
Introduce type casts
#58
uncomputable
closed
1 month ago
1
Make parser more accepting
#57
uncomputable
opened
2 months ago
1
AST + compiler
#56
uncomputable
closed
2 months ago
2
Codegen
#55
uncomputable
closed
2 months ago
4
Jets
#54
uncomputable
closed
2 months ago
2
AST cleanup
#53
uncomputable
closed
2 months ago
0
Tuple values
#52
uncomputable
closed
2 months ago
1
Empty arrays
#51
uncomputable
closed
2 months ago
0
Add tuples
#50
uncomputable
closed
2 months ago
1
Parse cleanup
#49
uncomputable
closed
2 months ago
0
Add values
#48
uncomputable
closed
2 months ago
2
Value cleanup
#47
uncomputable
closed
3 months ago
0
Implement fmt::Display for U256
#46
uncomputable
closed
3 months ago
2
Decimal literals
#45
uncomputable
closed
3 months ago
1
Type alias
#44
uncomputable
closed
3 months ago
1
Update byte strings
#43
uncomputable
closed
3 months ago
3
Type module
#42
uncomputable
closed
3 months ago
0
Explicit types
#41
uncomputable
closed
3 months ago
0
O(n^2) contains_all method
#40
uncomputable
closed
2 weeks ago
0
O(n^2) get method
#39
uncomputable
closed
2 weeks ago
0
Generalize Scope
#38
uncomputable
closed
3 months ago
0
Next