Search results

Todo's for dumping PIR

Status: Open.

#102 In basetunnel/plutus-cert;

· basetunnel opened on Sep 2, 2025

Investigate alpha-conversion rule in type system

Status: Open.

#101 In basetunnel/plutus-cert;

· basetunnel opened on Jul 28, 2025

Removing DefaultUniApply from DefaultUni

Status: Open.

#99 In basetunnel/plutus-cert;

· basetunnel opened on May 28, 2025

Correct types for more builtin functions

Status: Open.

#98 In basetunnel/plutus-cert;

· TheCodingWombat opened on May 27, 2025

Refactor Util.List

Status: Open.

#97 In basetunnel/plutus-cert;

· basetunnel opened on May 26, 2025

Support built-in type array

Status: Open.

#94 In basetunnel/plutus-cert;

· basetunnel opened on May 19, 2025

Prove weakening lemma over logical relation

typing

Status: Open.

#91 In basetunnel/plutus-cert;

· basetunnel opened on May 11, 2025

Annotation substitution only preserves typing up to alpha equivalence

Status: Open.

#90 In basetunnel/plutus-cert;

· basetunnel opened on May 7, 2025

Error and relational model

Status: Open.

#88 In basetunnel/plutus-cert;

· TheCodingWombat opened on Apr 30, 2025

Add substitutions to TypeBind Lets to allow more programs

Status: Open.

#78 In basetunnel/plutus-cert;

· TheCodingWombat opened on Apr 28, 2025

Relational model for types with higher kinds

Status: Open.

#75 In basetunnel/plutus-cert;

· basetunnel opened on Apr 22, 2025

Faulty shadowing possible in typing of TypeBind and DatatypeBind

Status: Open.

#73 In basetunnel/plutus-cert;

· TheCodingWombat opened on Apr 17, 2025