fix: remove not from equals data for loop
Signed-off-by: microproofs <[email protected]>
Home /
Blink Labs /
plutigo
May 06, 11-12 PM (0)
May 06, 12-1 PM (0)
May 06, 1-2 PM (0)
May 06, 2-3 PM (0)
May 06, 3-4 PM (0)
May 06, 4-5 PM (0)
May 06, 5-6 PM (0)
May 06, 6-7 PM (0)
May 06, 7-8 PM (0)
May 06, 8-9 PM (0)
May 06, 9-10 PM (1)
May 06, 10-11 PM (0)
May 06, 11-12 AM (2)
May 07, 12-1 AM (0)
May 07, 1-2 AM (1)
May 07, 2-3 AM (0)
May 07, 3-4 AM (0)
May 07, 4-5 AM (0)
May 07, 5-6 AM (0)
May 07, 6-7 AM (1)
May 07, 7-8 AM (0)
May 07, 8-9 AM (0)
May 07, 9-10 AM (0)
May 07, 10-11 AM (1)
May 07, 11-12 PM (0)
May 07, 12-1 PM (0)
May 07, 1-2 PM (0)
May 07, 2-3 PM (0)
May 07, 3-4 PM (0)
May 07, 4-5 PM (0)
May 07, 5-6 PM (0)
May 07, 6-7 PM (0)
May 07, 7-8 PM (0)
May 07, 8-9 PM (0)
May 07, 9-10 PM (0)
May 07, 10-11 PM (0)
May 07, 11-12 AM (0)
May 08, 12-1 AM (0)
May 08, 1-2 AM (0)
May 08, 2-3 AM (0)
May 08, 3-4 AM (0)
May 08, 4-5 AM (0)
May 08, 5-6 AM (0)
May 08, 6-7 AM (0)
May 08, 7-8 AM (0)
May 08, 8-9 AM (0)
May 08, 9-10 AM (0)
May 08, 10-11 AM (0)
May 08, 11-12 PM (0)
May 08, 12-1 PM (0)
May 08, 1-2 PM (1)
May 08, 2-3 PM (0)
May 08, 3-4 PM (0)
May 08, 4-5 PM (0)
May 08, 5-6 PM (0)
May 08, 6-7 PM (0)
May 08, 7-8 PM (0)
May 08, 8-9 PM (1)
May 08, 9-10 PM (0)
May 08, 10-11 PM (0)
May 08, 11-12 AM (0)
May 09, 12-1 AM (0)
May 09, 1-2 AM (0)
May 09, 2-3 AM (0)
May 09, 3-4 AM (0)
May 09, 4-5 AM (0)
May 09, 5-6 AM (0)
May 09, 6-7 AM (0)
May 09, 7-8 AM (0)
May 09, 8-9 AM (0)
May 09, 9-10 AM (4)
May 09, 10-11 AM (2)
May 09, 11-12 PM (0)
May 09, 12-1 PM (0)
May 09, 1-2 PM (0)
May 09, 2-3 PM (0)
May 09, 3-4 PM (0)
May 09, 4-5 PM (3)
May 09, 5-6 PM (2)
May 09, 6-7 PM (2)
May 09, 7-8 PM (0)
May 09, 8-9 PM (1)
May 09, 9-10 PM (0)
May 09, 10-11 PM (2)
May 09, 11-12 AM (3)
May 10, 12-1 AM (1)
May 10, 1-2 AM (1)
May 10, 2-3 AM (0)
May 10, 3-4 AM (1)
May 10, 4-5 AM (3)
May 10, 5-6 AM (0)
May 10, 6-7 AM (0)
May 10, 7-8 AM (0)
May 10, 8-9 AM (0)
May 10, 9-10 AM (0)
May 10, 10-11 AM (0)
May 10, 11-12 PM (0)
May 10, 12-1 PM (1)
May 10, 1-2 PM (0)
May 10, 2-3 PM (1)
May 10, 3-4 PM (0)
May 10, 4-5 PM (0)
May 10, 5-6 PM (0)
May 10, 6-7 PM (0)
May 10, 7-8 PM (0)
May 10, 8-9 PM (0)
May 10, 9-10 PM (0)
May 10, 10-11 PM (0)
May 10, 11-12 AM (0)
May 11, 12-1 AM (0)
May 11, 1-2 AM (0)
May 11, 2-3 AM (0)
May 11, 3-4 AM (0)
May 11, 4-5 AM (0)
May 11, 5-6 AM (0)
May 11, 6-7 AM (0)
May 11, 7-8 AM (0)
May 11, 8-9 AM (0)
May 11, 9-10 AM (0)
May 11, 10-11 AM (0)
May 11, 11-12 PM (0)
May 11, 12-1 PM (0)
May 11, 1-2 PM (2)
May 11, 2-3 PM (1)
May 11, 3-4 PM (1)
May 11, 4-5 PM (0)
May 11, 5-6 PM (0)
May 11, 6-7 PM (0)
May 11, 7-8 PM (0)
May 11, 8-9 PM (0)
May 11, 9-10 PM (2)
May 11, 10-11 PM (2)
May 11, 11-12 AM (0)
May 12, 12-1 AM (0)
May 12, 1-2 AM (2)
May 12, 2-3 AM (0)
May 12, 3-4 AM (0)
May 12, 4-5 AM (2)
May 12, 5-6 AM (0)
May 12, 6-7 AM (0)
May 12, 7-8 AM (0)
May 12, 8-9 AM (0)
May 12, 9-10 AM (0)
May 12, 10-11 AM (0)
May 12, 11-12 PM (0)
May 12, 12-1 PM (0)
May 12, 1-2 PM (2)
May 12, 2-3 PM (0)
May 12, 3-4 PM (0)
May 12, 4-5 PM (0)
May 12, 5-6 PM (0)
May 12, 6-7 PM (0)
May 12, 7-8 PM (0)
May 12, 8-9 PM (0)
May 12, 9-10 PM (0)
May 12, 10-11 PM (0)
May 12, 11-12 AM (4)
May 13, 12-1 AM (0)
May 13, 1-2 AM (0)
May 13, 2-3 AM (0)
May 13, 3-4 AM (0)
May 13, 4-5 AM (4)
May 13, 5-6 AM (0)
May 13, 6-7 AM (0)
May 13, 7-8 AM (0)
May 13, 8-9 AM (0)
May 13, 9-10 AM (1)
May 13, 10-11 AM (0)
May 13, 11-12 PM (0)
58 commits this week
May 06, 2025
-
May 13, 2025
chore: a little bit of clean up
Signed-off-by: microproofs <[email protected]>
fix: equals data exmem conversion was missing a few things
Signed-off-by: microproofs <[email protected]>
Adding a few more builtins and the costing for them (#54)
* Adding more builtins and costing Signed-off-by: microproofs <[email protected]> * Add choose list too Signed-off-by: microproofs <[email protected]> * feat: Implement mkcons and add list unwrapping Signed-off-by: microproofs <[email protected]> * chore: forgot costing in MkCons Signed-off-by: microproofs <[email protected]> * feat: add remaining list builtins Signed-off-by: microproofs <[email protected]> * Missing cost for each item of the list Signed-off-by: microproofs <[email protected]> * chore: create DefaultBuiltinCosts Signed-off-by: rvcas <[email protected]> * chore: satisfy linter Signed-off-by: rvcas <[email protected]> * chore: move around some of the code for costing Signed-off-by: rvcas <[email protected]> * feat: try using CostingFunc for real Signed-off-by: rvcas <[email protected]> * fix: guard against int overflows Signed-off-by: Chris Gianelloni <[email protected]> * fix: use Arguments directly Signed-off-by: rvcas <[email protected]> * feat: more default builtin costs Signed-off-by: rvcas <[email protected]> * chore: output json for make play Signed-off-by: rvcas <[email protected]> * chore: more log.Fatalf Signed-off-by: rvcas <[email protected]> * feat: more default builtin costs Signed-off-by: rvcas <[email protected]> * feat: remaining v3 cost builtin cost models Signed-off-by: rvcas <[email protected]> * fix: pretty printing on some function names Signed-off-by: rvcas <[email protected]> * chore: huge sample Signed-off-by: rvcas <[email protected]> * chore: flat encode/decode API Signed-off-by: rvcas <[email protected]> * feat: start flat encoding Signed-off-by: rvcas <[email protected]> * feat: fill in more flat encoding Signed-off-by: rvcas <[email protected]> * Start on encoding and decoding Signed-off-by: microproofs <[email protected]> * chore: Continue working on encoding and decoding Signed-off-by: microproofs <[email protected]> * fix: some lint errors Signed-off-by: rvcas <[email protected]> * chore: make command to run decoding manually on a real contract Signed-off-by: rvcas <[email protected]> * feat: fully implement binder on Name, NamedD, and D also use zero value on decode Signed-off-by: rvcas <[email protected]> * feat: flat encode and decode of utf8 bytes Signed-off-by: rvcas <[email protected]> * feat: decode builtins Signed-off-by: rvcas <[email protected]> * feat: decode case and constr Signed-off-by: rvcas <[email protected]> * feat: start decode constant Signed-off-by: rvcas <[email protected]> * feat: zigzag and integer encoding/decoding Signed-off-by: rvcas <[email protected]> * feat: cbor decode plutus data Signed-off-by: rvcas <[email protected]> * chore: remove println Signed-off-by: rvcas <[email protected]> * fix: stack overflow and decoding Lambda should return pointer Signed-off-by: microproofs <[email protected]> * feat: auction program now runs to completion Signed-off-by: microproofs <[email protected]> * fix: reduce loop usage Signed-off-by: Chris Gianelloni <[email protected]> * fix: update errors to appease golangci-lint Signed-off-by: Chris Gianelloni <[email protected]> * feat: use things of Value as a pointer Signed-off-by: rvcas <[email protected]> * feat: more pointers Signed-off-by: rvcas <[email protected]> * chore: line up some types to avoid casting Signed-off-by: rvcas <[email protected]> * chore: clean up debug print Signed-off-by: rvcas <[email protected]> * chore: add in equals data and name some constants in cost model Signed-off-by: microproofs <[email protected]> --------- Signed-off-by: microproofs <[email protected]> Signed-off-by: rvcas <[email protected]> Signed-off-by: Chris Gianelloni <[email protected]> Co-authored-by: rvcas <[email protected]> Co-authored-by: Chris Gianelloni <[email protected]>
chore: add in equals data and name some constants in cost model
Signed-off-by: microproofs <[email protected]>
chore: clean up debug print
Signed-off-by: rvcas <[email protected]>
chore: line up some types to avoid casting
Signed-off-by: rvcas <[email protected]>
feat: more pointers
Signed-off-by: rvcas <[email protected]>
feat: use things of Value as a pointer
Signed-off-by: rvcas <[email protected]>
fix: update errors to appease golangci-lint
Signed-off-by: Chris Gianelloni <[email protected]>
fix: reduce loop usage
Signed-off-by: Chris Gianelloni <[email protected]>
feat: auction program now runs to completion
Signed-off-by: microproofs <[email protected]>
fix: stack overflow and decoding Lambda should return pointer
Signed-off-by: microproofs <[email protected]>
chore: remove println
Signed-off-by: rvcas <[email protected]>
feat: cbor decode plutus data
Signed-off-by: rvcas <[email protected]>
feat: zigzag and integer encoding/decoding
Signed-off-by: rvcas <[email protected]>
feat: start decode constant
Signed-off-by: rvcas <[email protected]>
feat: decode case and constr
Signed-off-by: rvcas <[email protected]>
feat: decode builtins
Signed-off-by: rvcas <[email protected]>
feat: flat encode and decode of utf8 bytes
Signed-off-by: rvcas <[email protected]>
feat: fully implement binder on Name, NamedD, and D also use zero value on decode
Signed-off-by: rvcas <[email protected]>
chore: make command to run decoding manually on a real contract
Signed-off-by: rvcas <[email protected]>
fix: some lint errors
Signed-off-by: rvcas <[email protected]>
chore: Continue working on encoding and decoding
Signed-off-by: microproofs <[email protected]>
Start on encoding and decoding
Signed-off-by: microproofs <[email protected]>