1 Pull request merged by 1 person

• Kwxm/conformance/improve filename check

  #6730 merged Dec 30, 2024

1 Pull request opened by 1 person

• Use ignoreTest instead of expectFail in conformance tests

  #6767 opened Dec 31, 2024

1 Issue closed by 1 person

• Conformance machinery can handle test names a bit misleadingly

  #6660 closed Dec 30, 2024

4 Issues opened by 2 people

• Cost specification of integerToByteString does not match implementation

  #6766 opened Dec 30, 2024

• Add array type and builtins to PLC specification

  #6765 opened Dec 28, 2024

• Add conformance tests for built-in array type and functions

  #6764 opened Dec 28, 2024

• Add new array type and builtins to Agda metatheory

  #6763 opened Dec 28, 2024

5 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• CIP-0138 Builtin Array

  #6727 commented on Dec 31, 2024 • 17 new comments

• CIP-0138 array

  #6749 commented on Dec 31, 2024 • 1 new comment

• Fix behaviour of failing conformance tests with `--accept`.

  #6714 commented on Dec 31, 2024 • 0 new comments

• documentation for costing changes in plutus v3

  #6319 commented on Dec 31, 2024 • 0 new comments

• Benchmarking experiments

  #6754 commented on Dec 28, 2024 • 0 new comments