issues
search
Plutonomicon
/
pluto
An untyped Plutus Core assembler
32
stars
8
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
removing codeowners
#43
DarthPJB
closed
2 years ago
0
flake: Allow default systems
#42
srid
opened
2 years ago
1
updating codeowners to include myself
#41
DarthPJB
closed
2 years ago
0
this commit implements CI-integration
#40
DarthPJB
closed
2 years ago
0
updating branch with CODEOWNERS file
#39
DarthPJB
closed
2 years ago
0
Add Pluto guide
#38
TotallyNotChase
closed
2 years ago
0
Shrinker integration and unused dependency removal
#37
Geometer1729
closed
2 years ago
2
remove playground and pab depends
#36
Geometer1729
closed
2 years ago
0
make sure the parser consumes all the input
#35
morganthomas
closed
2 years ago
0
UPLC Shrinking
#34
Geometer1729
closed
2 years ago
4
Update Cachix in README.md
#33
MatthewCroughan
closed
2 years ago
0
upgraded cachix capacity and repo link
#32
nixinator
closed
2 years ago
0
Make 'cabal sdist' to work
#31
srid
closed
2 years ago
0
add badges
#30
nixinator
closed
2 years ago
0
Sample Contract: use ScriptContext
#29
srid
closed
2 years ago
0
Add sample contract using Pluto (and Haskell) including model state tests
#28
srid
closed
2 years ago
0
Access ScriptContext in Pluto validator
#27
srid
closed
2 years ago
1
Run tests in CI
#26
srid
closed
2 years ago
0
Write a contract in Pluto, and property test it
#25
srid
closed
2 years ago
0
Implement generator for prime fields
#24
ursi
opened
2 years ago
1
Working with Plutus Data (lists)
#23
srid
closed
2 years ago
9
"pluto/nixpkgs follows a non-existent input 'haskellNix/nixpkgs-unstable'" error upon adding pluto as flake input
#22
TotallyNotChase
closed
2 years ago
2
`FromUPLC` (and preferably `ToPluto`) instance for `BuiltinData`
#21
TotallyNotChase
closed
2 years ago
0
`pluto run`: accept script arguments as Plutus `Data`
#20
srid
closed
2 years ago
0
Grammer for `Map` and `List` is incorrect
#19
TotallyNotChase
opened
2 years ago
0
Get the rationals example working
#18
ursi
closed
2 years ago
1
Create a function for running the CI commands specified in the README
#17
ursi
closed
2 years ago
0
Fix if...then (Remove incDeBruijn)
#16
ursi
closed
2 years ago
0
do not use self hosted runner
#15
morganthomas
closed
2 years ago
0
Enable starting identifiers with _
#14
ursi
closed
2 years ago
2
Fix if statements and make them evaluate the branches lazily
#13
ursi
closed
2 years ago
0
if...then doesn't work
#12
ursi
closed
2 years ago
0
`field-of-rationals.pluto` doesn't terminate
#11
srid
closed
2 years ago
2
Fix let bindings being not being able to reference other let bindings
#10
ursi
closed
2 years ago
1
Using operators without parens fails silently
#9
ursi
opened
2 years ago
0
TH for exposing Pluto functions to Haskell
#8
srid
closed
2 years ago
0
Unit test `hello.pluto` in Haskell
#7
srid
closed
2 years ago
0
Add a disassembler from UPLC to Pluto
#6
blamario
opened
2 years ago
0
More examples please
#5
blamario
opened
2 years ago
3
Pluto typechecker (opinion)
#4
cstml
opened
2 years ago
2
Add `pluto eval` to evaluate a top-level let binding
#3
srid
closed
2 years ago
0
Add link to IOHK blog post explaining UPLC, etc.
#2
srid
closed
2 years ago
0
Configurable binary output formats
#1
morganthomas
opened
2 years ago
0