BlockstreamResearch rust-simplicity issues

BlockstreamResearch / rust-simplicity

Creative Commons Zero v1.0 Universal

58 stars 12 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Update libsim to 3daad68dc9e995fefcd5287fa5b15a7bfb13462a

#243 uncomputable closed 3 days ago
0
update libsimplicity to 121b2951d8cca3d73dccd6fcbe721f2195025067

#242 apoelstra closed 2 weeks ago
0
simplicity-sys: stop referring to non-exported mkJetCMR function

#241 apoelstra closed 3 weeks ago
0
Value fixup

#240 uncomputable closed 4 weeks ago
0
benchmarks: updates and cleanups

#239 apoelstra closed 1 month ago
0
Cannot derive conversion traits for Value

#238 uncomputable opened 1 month ago
3
Value refactor

#237 uncomputable closed 1 month ago
8
update libsimplicity to 714b44dafd66ab5d164c9247a0f793c320272162

#236 apoelstra closed 1 month ago
1
Windows build is broken

#235 uncomputable closed 1 month ago
1
update staging branch

#234 apoelstra closed 1 month ago
5
types: introduce `TypeInner` making `Type` the only public "incomplete Simplicity type" type

#233 apoelstra closed 1 month ago
1
Would it make sense to introduce a `ShallowClone` trait with `Clone` as a subtrait? `ShallowClone` would be almost like a marker trait and it would provide the method `shallow_clone` which may call `clone` by default. If people see that both `ShallowClone` and `Clone` is implemented for a type, then they can infer that the type is cheaply cloneable

#232 apoelstra opened 1 month ago
1
types: use slab allocator for type bounds

#231 apoelstra closed 1 month ago
3
`Witness` node constructor does not use provided witness value for typing

#230 apoelstra opened 1 month ago
0
Drop on `Node` should not be recursive

#229 apoelstra opened 1 month ago
4
[mega pr, do not merge] types: rewrite inference API to use a slab allocator for type bounds

#228 apoelstra closed 1 month ago
1
Some type inference cleanups

#227 apoelstra closed 1 month ago
0
Failed type inference should not pollute type bounds

#226 apoelstra opened 1 month ago
0
types: avoid accessing BoundMutex::inner in derived Debug

#225 apoelstra closed 1 month ago
0
Deadlock in type inference

#224 apoelstra closed 1 month ago
3
minor fixes for recent rustcs

#223 apoelstra closed 2 months ago
0
occurs check: replace exponential-time algorithm with linear-time one

#222 apoelstra closed 2 months ago
3
Cap maximum depth of incomplete type display

#221 apoelstra closed 2 months ago
1
Export u2

#220 uncomputable closed 2 months ago
2
u2 type is not exported

#219 apoelstra closed 2 months ago
3
Convert Types

#218 uncomputable closed 2 months ago
0
Construct Types

#217 uncomputable closed 3 months ago
0
Display expression

#216 uncomputable closed 3 months ago
0
Fix jets

#215 uncomputable closed 2 months ago
6
Fix AMR

#214 uncomputable closed 4 months ago
1
Expressive human

#213 uncomputable closed 3 months ago
0
Typed value

#212 uncomputable closed 5 months ago
4
Unpinned nightly rust toolchain

#211 uncomputable opened 5 months ago
1
Locked CI

#210 uncomputable closed 5 months ago
0
Better human

#209 uncomputable closed 5 months ago
2
Jet wrappers

#208 uncomputable closed 6 months ago
1
Refactor exec_jec

#207 uncomputable closed 6 months ago
2
Reading / writing values from / to frames is broken

#206 uncomputable opened 6 months ago
1
WASM FFI 2

#205 uncomputable closed 5 months ago
10
WASM FFI

#204 uncomputable closed 6 months ago
4
Update jets script

#203 uncomputable closed 6 months ago
3
Generalize TypeName

#202 uncomputable closed 6 months ago
1
Enable PRODUCTION flag

#201 uncomputable closed 7 months ago
0
Enable _FORTIFY_SOURCE

#200 uncomputable closed 7 months ago
0
Update license

#199 uncomputable closed 7 months ago
0
Update cargo

#198 uncomputable closed 7 months ago
3
Compiler warning on NixOS

#197 uncomputable closed 7 months ago
4
Release 0.2.0

#196 uncomputable closed 7 months ago
11
ci: switch to dtolnay/rust-toolchain action

#195 delta1 closed 7 months ago
2
test: compilation error "the trait bound `hashes::sha256::Hash: ThirtyTwoByteHash` is not satisfied"

#194 delta1 closed 7 months ago
4