issues
search
hexresearch
/
hschain-utxo
UTXO-based contracts for hschain
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update docs for utxo
#247
anton-k
closed
3 years ago
0
Revert "Update intro and quick lang guide docs"
#246
anton-k
closed
3 years ago
0
Update intro and quick lang guide docs
#245
anton-k
closed
3 years ago
0
Fail if unable to create proof for transaction
#244
Shimuuar
opened
3 years ago
0
Rework data types and verification
#243
Shimuuar
closed
3 years ago
0
Use SigmaE instead of Fix SigmaF
#242
Shimuuar
closed
3 years ago
0
Minimal cleanup of sigma expression
#241
Shimuuar
closed
3 years ago
0
Datatypes, parser and printer for module imports/exports
#240
anton-k
closed
3 years ago
0
Σ-refactoring part 3
#239
Shimuuar
closed
3 years ago
0
Refactor lang expr module, remove Build module
#238
anton-k
closed
3 years ago
0
Part 2 of refactoring of Σ expressions
#237
Shimuuar
closed
3 years ago
0
First round of refactoring of sigma expressions
#236
Shimuuar
closed
3 years ago
0
Ergo mix script
#235
anton-k
closed
3 years ago
0
Fix REPL auto-complete words after erasure of binds
#234
anton-k
closed
3 years ago
0
Check user type declaration
#233
anton-k
closed
3 years ago
0
Impove haddocks for Σ-expressions
#232
Shimuuar
closed
3 years ago
0
Repl data decl
#231
anton-k
closed
3 years ago
0
Repl let pattern bind
#230
anton-k
closed
3 years ago
0
Proof sigma tuple
#229
anton-k
closed
3 years ago
0
Put correct licences everywhere
#228
Shimuuar
closed
3 years ago
0
Unify two varians of Prim data type
#227
Shimuuar
closed
3 years ago
0
Bump hshcain dependency
#226
Shimuuar
closed
3 years ago
0
Implements pattern binds
#225
anton-k
closed
3 years ago
0
Remove dupliction in the InputEnv and return PublickKey to Prim
#224
Shimuuar
closed
3 years ago
0
Add lens for BoxInputRef & use lens for more compact newProofTx
#223
Shimuuar
closed
3 years ago
0
Start moving smart contract tests to pow-node
#222
Shimuuar
closed
3 years ago
0
Box Id cleanup
#221
Shimuuar
closed
3 years ago
0
Add light node
#220
Shimuuar
closed
3 years ago
0
Gen instances
#219
anton-k
closed
3 years ago
0
Evaluator can evaluate up to all terms, not only primitives and lists
#218
anton-k
closed
3 years ago
0
Complete compatibility with ergvein
#217
Shimuuar
closed
3 years ago
0
Compatibility with ergvein
#216
Shimuuar
closed
3 years ago
0
Unser types to primitive constructors
#215
anton-k
closed
3 years ago
0
Update utxo new new hshcain which allows light nodes
#214
Shimuuar
closed
3 years ago
0
Generate names for variables in pretty-printer
#213
Shimuuar
closed
3 years ago
0
Primitive constructors
#212
anton-k
closed
3 years ago
0
Refactor type check
#211
anton-k
closed
3 years ago
0
WIP Implementation of mock node
#210
Shimuuar
closed
3 years ago
1
Remove PrimOps for high level lang
#209
anton-k
closed
3 years ago
0
Implements missing prelude ops
#208
anton-k
closed
3 years ago
0
Type checker cryptic erro on foldl
#207
anton-k
opened
3 years ago
4
Problem with bytes representation: catenation of bytes is counterintuitive
#206
anton-k
opened
3 years ago
1
Wrong execution for boolean && ||
#205
anton-k
closed
3 years ago
1
Use new API for block mining
#204
Shimuuar
closed
3 years ago
0
Pretty-printer for ExprCore
#203
anton-k
closed
3 years ago
0
Last run-time error sticks in the interpreter and gets repeated
#202
anton-k
closed
3 years ago
0
Evaluation of empty lists produces error even if it's typed
#201
anton-k
closed
3 years ago
1
Inlines polymorphic funs
#200
anton-k
closed
3 years ago
0
Can not derive type for id id
#199
anton-k
closed
3 years ago
2
Simple programm with id hangs
#198
anton-k
closed
3 years ago
1
Next