Pact 4.3.1

Changelog:

• Add validate-principal, is-principal, typeof-principal, and create-principal natives #998
• Allow module upgrades without enforcing namespace user guards #1008
• Export haskell primitives for working with Principal guards #1006
• Add describe-namespace native #1010
• Add support for with-capability repl docs #1016
• Re-enable repl line info #1005

Pact 4.3

• Interpreter improvements (#970)
• New create-principal and validate-principal natives (#969)
• Fixes to name resolution (#987)
• New nested defpacts + continue native (#980)

Pact 4.2.1

• Backport chainweb gasmodel (#978)
• Memory improvements (#964)
• Force eof in parseExprs (#963)
• Fix pact add-sig (#981)

Pact 4.2.0

• Language features:

  • Lambdas: let-bound function definitions (#915)
  • In-line lambdas @ application use sites: (#954)
  • Provide equality for modrefs (#951)

• Bug Fixes

  • Fixed formal verification for take/drop functions (#921)
  • Internal native fix (#945)
  • Fix schema unification on module upgrades (#948)
  • Docs expression evaluation fixed (#946)
  • Allow self modrefs (#950)

• New Natives

  • zip native (#922)
  • cond syntactic form (#938)
  • fold-db native (#941)

• Persistence improvements

  • Versoned PactValue persistence (#926)
  • Fix modref payload serialization, decouple from persistence backcompat (#949)
  • Run Repls with Sqlite backend (#934)

Pact 4.1.1

• Guard for recursion at runtime on user apps (#913)
• FV and TC give real errors (and warnings), improve model failure output (#904)
• Fix nested capability acquisition (#910)
• Add support for empty import lists when module hashes are present (#901)

Pact 4.1

• [Typechecking/FV] Support dynamic refs in TC/analyze (#894)
  • adds 'env-dynref' REPL builtin for mocking interfaces
  • improved/automatic shimming of natives in TC
• [Code Coverage] Write coverage/lcov.info relative to loaded file (#883)
• [Build Tooling]
  • Add build-tool flag to shrink library build (#882,#892,#891,#889)
  • Build-related (#895,#885,#877)
  • CI-related (#880,#890,#881,#884)

Pact 4.0

• Add "advice" plus LCOV code coverage (#861)
  • General advice mechanism for e.g. instrumenting performance bracketing
  • -c in pact tool outputs coverage to coverage/lcov.info relative to loaded file
• Emit synthetic cross-chain events (#875)
  • Emits X_YIELD on cross-chain initiation and X_RESUME on cross chain resumption
    for any defpact:
    • (pact.X_YIELD targetChain:string continuationName:string continuationArgs:[*])
    • (pact.X_RESUME sourceChain:string continuationName:string continuationArgs:[*])
  • Thus a cross-chain transfer send from 0 to 1 would be (pact.X_YIELD "1" "coin.transfer-crosschain" ["Bob" "Alice" 10.0])
    on chain 0 then (pact.X_RESUME "0" "coin.transfer-crosschain" ["Bob" "Alice" 10.0]) on chain 1.
• Support blessed modules and add source chain in crosschain (#862)
  • Blessed modules are now supported for resuming cross-chains initiated pre-upgrade.
  • Initiation of cross-chain captures/transmits source chain in output in field .continuation.yield.sourceChain
• New natives (#859,#874,#860,#862)
  • enumerate to build sequenced lists
  • str-to-list and concat to transform strings to arrays and back
  • distinct to de-dupe lists
  • emit-event to not fire event defcaps when emitting, and allowing arbitrary parameter values
• Miscellaneous
  • Elide info from Modref JSON (#856)
  • Move SigData and related types into library (#852)
  • More robust TH and avoid deprecated use of star (#870)
  • Enable benchmarks in nix ghc build (#869)
  • Remove thyme dependency (#867)
  • Remove swagger support (#866)
  • Add time benchmarks (#868)
  • Remove setup from gas results (#865)
  • Improve gas golden output (#864)
  • Conditional z3 and servant (#850)

Pact 3.7

Pact 3.7

• Module References (#817,#839)
• Pact Events:
  • Backward compatible JSON (#820)
  • @event tag for capabilities (#830)
  • env-events for testing (#827)
• Fix runtime typechecker for lists (#825)
• with-applied-env, expect-that testing tools

Pact 3.5.1

3.5.1

• NFData instances for common Pact Service types (#800)
• Analysis (#798):
  • Soft support for is-charset (analysis does not choke on this primitive)
  • Fix column delta calculation
  • Static Cap tracing
  • Upgraded to SBV 8.6
• Additional benchmarks for 10x operations/tx (#795)
• Fix bad commandline rendering from tool on load failure (#793)
• Better sanitization of sqlite db names (#787)
• Bugfix for base64 primitives (#788)

Pact 3.5.0

• Add the commands sign, add-sig, and combine-sigs for working with signatures (#759)
• Decode StackFrame in JSON output (#755)
• CommandResult golden coverage (#754)
• Use CFFI for aeson (upstreamed from chainweb) (#749)
• Add gas logs to eval result (#748)
• Add missing case in Eval (#764)
• Misc updates to docs
• Add "Literate Flags" in execution config (#722)
• Add flag to allow reads in local (#777)