Commits

Branch selector

 master

User selector

Soupstraw

Datepicker

All time

Commit History

Commits on Jan 21, 2025

• Bumped spec

  Soupstraw

  committed
  85c9912

  Copy full SHA for 85c9912

Commits on Jan 14, 2025

• Removed hash size proofs

  Show description for 7683b73
  

  Soupstraw

  and

  lehins

  committed
  7683b73

  Copy full SHA for 7683b73

Commits on Jan 7, 2025

• Included the hash in plutus script translation

  Soupstraw

  committed
  5aed6e5

  Copy full SHA for 5aed6e5

Commits on Jan 3, 2025

• Included the hash in plutus script translation

  Soupstraw

  committed
  221eaa8

  Copy full SHA for 221eaa8

Commits on Dec 16, 2024

• Revert "Undid ImpredicativeTypes because of GHC8"

  Show description for 65ef348
  Soupstraw

  committed
  65ef348

  Copy full SHA for 65ef348

Commits on Dec 13, 2024

• OpaqueErrorString changes

  Soupstraw

  committed
  3bdb373

  Copy full SHA for 3bdb373

Commits on Dec 6, 2024

• Undid ImpredicativeTypes because of GHC8

  Soupstraw

  committed
  d99e0cd

  Copy full SHA for d99e0cd

• Fixed issues with Imp conformance testing

  Soupstraw

  committed
  e97a386

  Copy full SHA for e97a386

Commits on Nov 20, 2024

• Added documentation for RatifyState

  Show description for 9163cc4
  

  Soupstraw

  and

  lehins

  committed
  9163cc4

  Copy full SHA for 9163cc4

Commits on Nov 19, 2024

• Bumped spec

  Show description for 9070dbd
  

  Soupstraw

  and

  teodanciu

  committed
  9070dbd

  Copy full SHA for 9070dbd

Commits on Nov 14, 2024

• Fixed translation of StakeReference

  

  Soupstraw

  authored and

  lehins

  committed
  faacc9f

  Copy full SHA for faacc9f

Commits on Nov 13, 2024

• Added LEDGERS conformance

  Soupstraw

  committed
  72a16bb

  Copy full SHA for 72a16bb

Commits on Nov 12, 2024

• Bumped spec

  Soupstraw

  committed
  85a7379

  Copy full SHA for 85a7379

Commits on Nov 5, 2024

• Added an implementation for extIsSigned

  Soupstraw

  committed
  ddae517

  Copy full SHA for ddae517

Commits on Oct 29, 2024

• Added RewardUpdate spec translation

  

  Soupstraw

  authored and

  lehins

  committed
  df28ca8

  Copy full SHA for df28ca8

Commits on Oct 16, 2024

• Reorganize UTXO conformance tests

  Show description for c53879c
  

  Soupstraw

  authored and

  Lucsanszky

  committed
  c53879c

  Copy full SHA for c53879c

Commits on Oct 4, 2024

• fourmolu

  Soupstraw

  committed
  7ae403c

  Copy full SHA for 7ae403c

• UTXO passes

  Soupstraw

  committed
  f1bbdfa

  Copy full SHA for f1bbdfa

• Deposits map fix

  Soupstraw

  committed
  263131a

  Copy full SHA for 263131a

• Added UTXO conformance

  Soupstraw

  committed
  811c91c

  Copy full SHA for 811c91c

• Improved hashing in conformance testing

  Soupstraw

  committed
  91d8d95

  Copy full SHA for 91d8d95

Commits on Sep 30, 2024

• Updated conformance to work with new MAlonzo types

  Show description for 5e6ac89
  

  Soupstraw

  and

  lehins

  committed
  5e6ac89

  Copy full SHA for 5e6ac89

Commits on Sep 11, 2024

• Removed DRepAlreadyRegisteredForStakeKeyDELEG (#4609)

  Soupstraw

  authored
  e16743e

  Copy full SHA for e16743e

Commits on Sep 6, 2024

• Sort Proposals when translating to SpecRep

  

  Soupstraw

  authored and

  lehins

  committed
  56c7dd1

  Copy full SHA for 56c7dd1

Commits on Aug 30, 2024

• Print out the exception when an ImpTestM example fails

  

  Soupstraw

  authored and

  lehins

  committed
  64c5713

  Copy full SHA for 64c5713

• Added a conformance ImpTest to try to catch the ccminsize bug

  

  Soupstraw

  authored and

  lehins

  committed
  5298b98

  Copy full SHA for 5298b98

• Increased the probability of generating the same hash more than once

  

  Soupstraw

  authored and

  lehins

  committed
  62955ea

  Copy full SHA for 62955ea

Commits on Aug 29, 2024

• Added conformance testing for ENACT

  Soupstraw

  committed
  84683b9

  Copy full SHA for 84683b9

Commits on Aug 26, 2024

• Added DebugTools

  Show description for ac9d9d6
  

  Soupstraw

  and

  lehins

  committed
  ac9d9d6

  Copy full SHA for ac9d9d6

Commits on Aug 14, 2024

• Added translation for UnRegDRep deposit

  Soupstraw

  committed
  2459806

  Copy full SHA for 2459806

Commits on Aug 12, 2024

• Fixed a test failure

  Soupstraw

  committed
  adb63e0

  Copy full SHA for adb63e0

• Reorganized conformance

  Soupstraw

  committed
  5069c4a

  Copy full SHA for 5069c4a

• Added Coercible superclass to CoercibleLike

  Soupstraw

  committed
  24f8d4b

  Copy full SHA for 24f8d4b

• Bias ratify env generator to generate more valid votes

  Soupstraw

  committed
  cbe3e95

  Copy full SHA for cbe3e95

Commits on Aug 2, 2024

• Made conformsToImpl discard generator failures

  Soupstraw

  committed
  411054e

  Copy full SHA for 411054e

Pagination

Previous

Next