IntersectMBO/plutus

Issues

• Switch the agda implementation of `ConsBytestring` to BuiltinVersion=2

  #6055 opened 25 days ago by bezirg
  1

• Add builtin versioning infrastructure to metatheory

  #6054 opened 25 days ago by bezirg
  1

• Add conformance testing of older version of Plutus

  #6053 opened 25 days ago by bezirg
  0

• Experiment: replace builtin type Strict Bytestring -> ShortByteString

  #6052 opened 25 days ago by bezirg
  0

• Compact / shrink down the flat size of uplc

  #6051 opened 25 days ago by bezirg
  1

• Review & revise the exporting of PlutusIR library namespace

  #6050 opened 25 days ago by bezirg
  0

• Debugger working with multiple Tx modules

  #6049 opened 25 days ago by bezirg
  0

• Use type-level Nats for `safeEncodeBits`

  #6048 opened 25 days ago by bezirg
  0

• Implement a DAP debugger frontend

  #6047 opened 25 days ago by bezirg
  0

• Editing ScriptContext (Data) inside debugger

  #6046 opened 25 days ago by bezirg
  0

• Aiken script integration with the Plutus debugger

  #6044 opened 25 days ago by bezirg
  0

• Marlowe script integration to the debugger

  #6045 opened 25 days ago by bezirg
  0

• Static executables for other OSes & architectures

  #6042 opened 25 days ago by bezirg
  0

• Discuss with other plutus-based langs to target a Common IR

  #6041 opened 25 days ago by bezirg
  0

• Browser-runnable CEK evaluator

  #6040 opened 25 days ago by bezirg
  0

• Document debugger in RTD

  #6039 opened 25 days ago by bezirg
  0

• (DecodeU8 . EncodeU8) Rewrite Rule

  #6038 opened 25 days ago by bezirg
  0

• Move from asciidoc to Markdown

  #6023 opened a month ago by bezirg
  2

• Log the context and env. var. state in Debugger

  #6024 opened a month ago by bezirg
  0

• Improve Debugger's PlutusTx SourceSpans

  #6025 opened a month ago by bezirg
  0

• Add the infrastructure for running real world script dump against an evaluator.

  #6026 opened a month ago by bezirg
  0

• Improve the documentation of Agda files involving Algorithmic part 1

  #6028 opened a month ago by ramsay-t
  0

• Improve the documentation of Agda files involving Builtin definitions

  #6029 opened a month ago by ramsay-t
  0

• Improve the documentation of Agda files involving Declarative definitions

  #6027 opened a month ago by ramsay-t
  0

• Improve the documentation of Agda files involving Algorithmic part 2

  #6030 opened a month ago by ramsay-t
  0

• Improve the documentation of Agda files involving Scoped definitions

  #6032 opened a month ago by ramsay-t
  0

• Improve the documentation of Agda files involving Algorithmic part 3

  #6031 opened a month ago by ramsay-t
  0

• Unhardcode Plutus types from signatures of builtins

  #6035 opened a month ago by effectfully
  0

• Allow for returning application trees from builtins a.k.a. folding builtins

  #6034 opened a month ago by effectfully
  0

• Fix `isNormalType` and add a test

  #6033 opened a month ago by effectfully
  0

• Support for saving and restoring PIR as appropriate

  #6017 opened a month ago by bezirg
  0

• Review and improve error messages

  #6019 opened a month ago by bezirg
  1

• Support mutually recursive datatypes in PIR

  #6020 opened a month ago by bezirg
  1

• Write an executable that will produce the ledger cost models from our cost models

  #6022 opened a month ago by bezirg
  0

• Make a new release 1.28

  #6021 opened a month ago by Unisay
  0

• Improve the documentation of Agda files involving basic Normal Type definitions

  #6011 opened a month ago by ramsay-t
  0

• Tests for canonicity of field elements in compressed BLS12-381 points

  #6008 opened a month ago by kwxm
  0

• Accumulate compiler errors rather than reporting the first one

  #6018 opened a month ago by bezirg
  0

• PLC.eraseTerm is overly constrained to non-debruijn Terms

  #6014 opened a month ago by bezirg
  2

• Improve Haddock for plutus-tx and plutus-tx-plugin

  #6016 opened a month ago by bezirg
  0

• Add test that costing functions are lazy

  #6013 opened a month ago by kwxm
  0

• Rationalise generators for builtin benchmarks

  #6012 opened a month ago by kwxm
  0

• Generate piecewise builtin cost models entirely automatically.

  #6010 opened a month ago by kwxm
  0

• Specify PIR and/or TPLC

  #6009 opened a month ago by kwxm
  0

• Update discussion of serialisation vs compression in CIP-0381

  #6006 opened a month ago by kwxm
  0

• Experiment with machine settings for benchmark consistency

  #6007 opened a month ago by kwxm
  0

• Auto-published PDFs not being updated.

  #6005 opened a month ago by kwxm
  0

• Write a CIP for builtin Map/Array

  #6003 opened a month ago by zliu41
  0

• Migrate closed Jira tickets

  #6002 opened a month ago by zliu41
  0

• Add `tasty-papi` benchmarks

  #6004 opened a month ago by effectfully
  0