Skip to content

Commit b94d0e0

Browse files
mjaskelioffmjaskelioff
authored
version 1.3.0.0 (#5198)
1 parent 1feb3e9 commit b94d0e0

File tree

16 files changed

+122
-106
lines changed

16 files changed

+122
-106
lines changed

‎doc/read-the-docs-site/plutus-doc.cabal‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -72,9 +72,9 @@ executable doc-doctests
7272
, containers
7373
, flat <0.5
7474
, lens
75-
, plutus-core ^>=1.2
76-
, plutus-ledger-api ^>=1.2
77-
, plutus-tx ^>=1.2
75+
, plutus-core ^>=1.3
76+
, plutus-ledger-api ^>=1.3
77+
, plutus-tx ^>=1.3
7878
, prettyprinter
7979
, random
8080
, serialise

‎plutus-benchmark/plutus-benchmark.cabal‎

Lines changed: 31 additions & 31 deletions
Original file line numberDiff line numberDiff line change
@@ -62,8 +62,8 @@ library plutus-benchmark-common
6262
, base >=4.9 && <5
6363
, criterion
6464
, filepath
65-
, plutus-core ^>=1.2
66-
, plutus-tx ^>=1.2
65+
, plutus-core ^>=1.3
66+
, plutus-tx ^>=1.3
6767

6868
---------------- nofib ----------------
6969

@@ -93,9 +93,9 @@ library nofib-internal
9393
, base >=4.9 && <5
9494
, deepseq
9595
, plutus-benchmark-common
96-
, plutus-core ^>=1.2
97-
, plutus-tx ^>=1.2
98-
, plutus-tx-plugin ^>=1.2
96+
, plutus-core ^>=1.3
97+
, plutus-tx ^>=1.3
98+
, plutus-tx-plugin ^>=1.3
9999

100100
executable nofib-exe
101101
import: lang
@@ -114,8 +114,8 @@ executable nofib-exe
114114
, nofib-internal
115115
, optparse-applicative
116116
, plutus-benchmark-common
117-
, plutus-core ^>=1.2
118-
, plutus-tx ^>=1.2
117+
, plutus-core ^>=1.3
118+
, plutus-tx ^>=1.3
119119
, transformers
120120

121121
benchmark nofib
@@ -163,8 +163,8 @@ test-suite plutus-benchmark-nofib-tests
163163
, base >=4.9 && <5
164164
, nofib-internal
165165
, plutus-benchmark-common
166-
, plutus-core:{plutus-core, plutus-core-testlib} ^>=1.2
167-
, plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.2
166+
, plutus-core:{plutus-core, plutus-core-testlib} ^>=1.3
167+
, plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.3
168168
, tasty
169169
, tasty-hunit
170170
, tasty-quickcheck
@@ -196,9 +196,9 @@ library lists-internal
196196
, base >=4.9 && <5
197197
, mtl
198198
, plutus-benchmark-common
199-
, plutus-core ^>=1.2
200-
, plutus-tx ^>=1.2
201-
, plutus-tx-plugin ^>=1.2
199+
, plutus-core ^>=1.3
200+
, plutus-tx ^>=1.3
201+
, plutus-tx-plugin ^>=1.3
202202

203203
executable list-sort-exe
204204
import: lang
@@ -213,7 +213,7 @@ executable list-sort-exe
213213
, lists-internal
214214
, monoidal-containers
215215
, plutus-benchmark-common
216-
, plutus-core ^>=1.2
216+
, plutus-core ^>=1.3
217217

218218
benchmark lists
219219
import: lang
@@ -247,8 +247,8 @@ test-suite plutus-benchmark-lists-tests
247247
, base >=4.9 && <5
248248
, lists-internal
249249
, plutus-benchmark-common
250-
, plutus-core:plutus-core-testlib ^>=1.2
251-
, plutus-tx:plutus-tx-testlib ^>=1.2
250+
, plutus-core:plutus-core-testlib ^>=1.3
251+
, plutus-tx:plutus-tx-testlib ^>=1.3
252252
, tasty
253253
, tasty-quickcheck
254254

@@ -270,7 +270,7 @@ benchmark validation
270270
, flat <0.5
271271
, optparse-applicative
272272
, plutus-benchmark-common
273-
, plutus-core ^>=1.2
273+
, plutus-core ^>=1.3
274274

275275
---------------- validation-decode ----------------
276276

@@ -289,8 +289,8 @@ benchmark validation-decode
289289
, flat <0.5
290290
, optparse-applicative
291291
, plutus-benchmark-common
292-
, plutus-core ^>=1.2
293-
, plutus-ledger-api ^>=1.2
292+
, plutus-core ^>=1.3
293+
, plutus-ledger-api ^>=1.3
294294

295295
---------------- validation-full ----------------
296296

@@ -309,8 +309,8 @@ benchmark validation-full
309309
, flat <0.5
310310
, optparse-applicative
311311
, plutus-benchmark-common
312-
, plutus-core ^>=1.2
313-
, plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.2
312+
, plutus-core ^>=1.3
313+
, plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.3
314314

315315
---------------- Cek cost model calibration ----------------
316316

@@ -332,9 +332,9 @@ benchmark cek-calibration
332332
, criterion >=1.5.9.0
333333
, lens
334334
, mtl
335-
, plutus-core ^>=1.2
336-
, plutus-tx ^>=1.2
337-
, plutus-tx-plugin ^>=1.2
335+
, plutus-core ^>=1.3
336+
, plutus-tx ^>=1.3
337+
, plutus-tx-plugin ^>=1.3
338338

339339
---------------- Signature verification throughput ----------------
340340

@@ -356,9 +356,9 @@ executable ed25519-throughput
356356
, cardano-crypto-class
357357
, flat <0.5
358358
, hedgehog
359-
, plutus-core ^>=1.2
360-
, plutus-tx ^>=1.2
361-
, plutus-tx-plugin ^>=1.2
359+
, plutus-core ^>=1.3
360+
, plutus-tx ^>=1.3
361+
, plutus-tx-plugin ^>=1.3
362362

363363
---------------- script contexts ----------------
364364

@@ -375,9 +375,9 @@ library script-contexts-internal
375375
exposed-modules: PlutusBenchmark.ScriptContexts
376376
build-depends:
377377
, base >=4.9 && <5
378-
, plutus-ledger-api ^>=1.2
379-
, plutus-tx ^>=1.2
380-
, plutus-tx-plugin ^>=1.2
378+
, plutus-ledger-api ^>=1.3
379+
, plutus-tx ^>=1.3
380+
, plutus-tx-plugin ^>=1.3
381381

382382
test-suite plutus-benchmark-script-contexts-tests
383383
import: lang
@@ -392,8 +392,8 @@ test-suite plutus-benchmark-script-contexts-tests
392392
build-depends:
393393
, base >=4.9 && <5
394394
, plutus-benchmark-common
395-
, plutus-core:{plutus-core, plutus-core-testlib} ^>=1.2
396-
, plutus-tx:plutus-tx-testlib ^>=1.2
395+
, plutus-core:{plutus-core, plutus-core-testlib} ^>=1.3
396+
, plutus-tx:plutus-tx-testlib ^>=1.3
397397
, script-contexts-internal
398398
, tasty
399399
, tasty-hunit

‎plutus-conformance/plutus-conformance.cabal‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -50,7 +50,7 @@ library
5050
, directory
5151
, filepath
5252
, lens
53-
, plutus-core ^>=1.2
53+
, plutus-core ^>=1.3
5454
, plutus-metatheory
5555
, tasty
5656
, tasty-expected-failure
@@ -68,7 +68,7 @@ executable test-utils
6868
, base >=4.9 && <5
6969
, optparse-applicative
7070
, plutus-conformance
71-
, plutus-core ^>=1.2
71+
, plutus-core ^>=1.3
7272
, tasty-golden
7373
, text
7474

@@ -104,6 +104,6 @@ test-suite agda-conformance
104104
build-depends:
105105
, base >=4.9 && <5
106106
, plutus-conformance
107-
, plutus-core ^>=1.2
107+
, plutus-core ^>=1.3
108108
, plutus-metatheory
109109
, transformers

‎plutus-core/CHANGELOG.md‎

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,16 @@
11

2+
<a id='changelog-1.3.0.0'></a>
3+
# 1.3.0.0 — 2023-03-08
4+
5+
## Added
6+
7+
- The debugger TUI updates live the currently spent CPU&MEM resources of the debugged program.
8+
- The debugger TUI accepts a `--budget` to limit the CPU&MEM resources of the debugged program.
9+
10+
## Changed
11+
12+
- The PIR readable prettyprinter was improved in a number of minor ways.
13+
214
<a id='changelog-1.2.0.0'></a>
315
# 1.2.0.0 — 2023-02-24
416

‎plutus-core/changelog.d/20230228_155335_michael.peyton-jones_better_readable_pp.md‎

Lines changed: 0 additions & 4 deletions
This file was deleted.

‎plutus-core/changelog.d/20230228_215517_bezirg_dbg_budget.md‎

Lines changed: 0 additions & 5 deletions
This file was deleted.

‎plutus-core/plutus-core.cabal‎

Lines changed: 19 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
cabal-version: 3.0
22
name: plutus-core
3-
version: 1.2.0.0
3+
version: 1.3.0.0
44
license: Apache-2.0
55
license-files:
66
LICENSE
@@ -334,7 +334,7 @@ test-suite plutus-core-test
334334
, hex-text
335335
, mmorph
336336
, mtl
337-
, plutus-core:{plutus-core, plutus-core-testlib} ^>=1.2
337+
, plutus-core:{plutus-core, plutus-core-testlib} ^>=1.3
338338
, prettyprinter
339339
, serialise
340340
, tasty
@@ -379,7 +379,7 @@ test-suite untyped-plutus-core-test
379379
, index-envs
380380
, lens
381381
, mtl
382-
, plutus-core:{plutus-core, plutus-core-testlib} ^>=1.2
382+
, plutus-core:{plutus-core, plutus-core-testlib} ^>=1.3
383383
, pretty-show
384384
, prettyprinter
385385
, split
@@ -398,8 +398,8 @@ executable plc
398398
, deepseq
399399
, lens
400400
, optparse-applicative
401-
, plutus-core ^>=1.2
402-
, plutus-core-execlib ^>=1.2
401+
, plutus-core ^>=1.3
402+
, plutus-core-execlib ^>=1.3
403403
, text
404404

405405
executable uplc
@@ -412,8 +412,8 @@ executable uplc
412412
, haskeline
413413
, mtl
414414
, optparse-applicative
415-
, plutus-core ^>=1.2
416-
, plutus-core-execlib ^>=1.2
415+
, plutus-core ^>=1.3
416+
, plutus-core-execlib ^>=1.3
417417
, prettyprinter
418418
, split
419419
, text
@@ -490,7 +490,7 @@ library plutus-ir
490490
, mtl
491491
, multiset
492492
, parser-combinators >=0.4.0
493-
, plutus-core ^>=1.2
493+
, plutus-core ^>=1.3
494494
, prettyprinter >=1.1.0.1
495495
, semigroupoids
496496
, semigroups >=0.19.1
@@ -525,8 +525,8 @@ test-suite plutus-ir-test
525525
, hedgehog
526526
, lens
527527
, mtl
528-
, plutus-core-testlib ^>=1.2
529-
, plutus-core:{plutus-core, plutus-ir} ^>=1.2
528+
, plutus-core-testlib ^>=1.3
529+
, plutus-core:{plutus-core, plutus-ir} ^>=1.3
530530
, QuickCheck
531531
, serialise
532532
, tasty
@@ -547,8 +547,8 @@ executable pir
547547
, lens
548548
, megaparsec
549549
, optparse-applicative
550-
, plutus-core-execlib ^>=1.2
551-
, plutus-core:{plutus-core, plutus-ir} ^>=1.2
550+
, plutus-core-execlib ^>=1.3
551+
, plutus-core:{plutus-core, plutus-ir} ^>=1.3
552552
, text
553553
, transformers
554554

@@ -575,7 +575,7 @@ library plutus-core-execlib
575575
, monoidal-containers
576576
, mtl
577577
, optparse-applicative
578-
, plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.2
578+
, plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.3
579579
, prettyprinter
580580
, text
581581

@@ -632,7 +632,7 @@ library plutus-core-testlib
632632
, mmorph
633633
, mtl
634634
, multiset
635-
, plutus-core:{plutus-core, plutus-ir} ^>=1.2
635+
, plutus-core:{plutus-core, plutus-ir} ^>=1.3
636636
, prettyprinter >=1.1.0.1
637637
, prettyprinter-configurable
638638
, QuickCheck
@@ -676,8 +676,8 @@ executable debugger
676676
, mono-traversable
677677
, mtl
678678
, optparse-applicative
679-
, plutus-core ^>=1.2
680-
, plutus-core-execlib ^>=1.2
679+
, plutus-core ^>=1.3
680+
, plutus-core-execlib ^>=1.3
681681
, prettyprinter
682682
, text
683683
, text-zipper
@@ -757,7 +757,7 @@ executable cost-model-budgeting-bench
757757
, hedgehog
758758
, mtl
759759
, optparse-applicative
760-
, plutus-core ^>=1.2
760+
, plutus-core ^>=1.3
761761
, QuickCheck
762762
, quickcheck-instances
763763
, random
@@ -788,7 +788,7 @@ executable generate-cost-model
788788
, extra
789789
, inline-r >=1.0.0.0
790790
, optparse-applicative
791-
, plutus-core ^>=1.2
791+
, plutus-core ^>=1.3
792792
, text
793793
, vector
794794

@@ -823,7 +823,7 @@ benchmark cost-model-test
823823
, hedgehog
824824
, inline-r >=1.0.0.0
825825
, mmorph
826-
, plutus-core ^>=1.2
826+
, plutus-core ^>=1.3
827827
, template-haskell
828828
, text
829829
, vector

‎plutus-ledger-api/CHANGELOG.md‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,11 @@
11

2+
<a id='changelog-1.3.0.0'></a>
3+
# 1.3.0.0 — 2023-03-08
4+
5+
## Fixed
6+
7+
- Fixed numerous bugs in the behaviour of `Interval`s with open endpoints.
8+
29
<a id='changelog-1.2.0.0'></a>
310
# 1.2.0.0 — 2023-02-24
411

‎plutus-ledger-api/changelog.d/20230302_163021_michael.peyton-jones_fix_interval.md‎

Lines changed: 0 additions & 3 deletions
This file was deleted.

0 commit comments

Comments
 (0)