Changelog for cleveland-0.2.0
0.2.0
- !1172
Add
withChainId
andwithMinBlockTime
functions to set emulator constants. - !1123 Remove deprecated exports
- !1161
Remove support for
AliasHint
- !1169
Support MIN_BLOCK_TIME instruction
- Add
getMinBlockTime
utility to get minimal block delay in seconds asNatural
- Add
- !1164
Add
now
andlevel
params to the/run_code
- !1162 Implement instruction to batch-create accounts
- !1114 Update to ghc-9.0.2
- !1108 Remove support for the deprecated morley extensions
- !1127
Create tempdir in Cleveland if datadir is unspecified
- Instead of mangling user's default tezos-client data directory, when a Cleveland test-suite invocation doesn't specify a datadir, use a new temporary directory by default.
0.1.2
- !1050 Modify resolveAddress to accept AliasHints
- !1039
Parameterize generators with a Range
minTimestamp
,maxTimestamp
andmidTimestamp
are moved toHedgehog.Range.Tezos.Core.Timestamp
.
- !1017 Resolve some TODOs and link TODOs without issue id to the corresponding gitlab tickets.
- !1082 Fix/drop/comment noncanonical Show instances
0.1.1
- !1113
Remove uses of
Parser LetEnv
due to redundant constraint. - !1094
Deprecate morley language extensions
- Functions for importing and testing Morley contracts are added:
Test.Cleveland.Michelson.Import.testTreesWithUntypedContractExt
,Test.Cleveland.Michelson.Import.testTreesWithTypedContractExt
,Test.Cleveland.Lorentz.Import.importContractExt
. All these functions are considered deprecated.
- Functions for importing and testing Morley contracts are added:
- !965
Use Morley's fixed-size lists
- Add Hedgehog generators for sized lists.
- Introduce
enumAliasHints
for generating a sized list of similarly named alias hints.
- !1072
Add
runCode
to Cleveland - !1070
Simplify cleveland's internals & public api
- Relaced the
NiceUnpackedValue (AsRPC st)
constraint ingetStorage
- Removed the
NicePackedValue k
constraint fromgetAllBigMapValuesMaybe
,getAllBigMapValues
,getBigMapSizeMaybe
, andgetBigMapSize
.
- Relaced the
- !1025
Reduce the number of unsafe functions at the call site
- Remove
unsafeFromHex
converter that is used as counter-part of safefromHex
and replaced withunsafe . fromHex
. - Refactor
fromHex
to returnEither
instead ofMaybe
. - Add
parseAddressFromHex
helper to get rid of duplicated usages ofparseAddressRaw . unsafe . fromHex
.
- Remove
- !978
Make it difficult to misuse 'Show'
- Use
Buildable
andpretty
preferrentially. - Add
Buildable
instances forFaluireReason
,Either a b
. - Add
PrettyShow
instances forTypeSpec
(in lorentz-test) andTime _
(in cleveland itself)./ - Avoid using
(+||)
and(||+)
. - Use
Debug.show
when definingShow
instances.
- Use
- !1058
Add
Buildable
instances for Unit, tuples up to 8 elements & bytestrings - !1057
Test
Show
andRenderDoc
instances ofAnnotation t
,AnnotationSet
,Notes t
,InstrAbstract op
- !997
Check necessity in initial
cast
automatically in Lorentz contracts - !1044
Fix
getRunMode
andwhenEmulated
getRunMode
is replaced byifEmulation
helper.- A new helper
whenNetwork
is added. - One caveat is that functions passed to
ifEmulation
are universally quantified over the outer monad, so if additional constraints are required beyondMonadCleveland
orMonadEmulated
, those constraints have to go on the base monad, e.g.(MonadCleveland caps m, MonadFail (ClevelandBaseMonad caps)) => m ()
. ifEmulation.
- !1043 Extract actual + expected pattern into a datatype and show diff in type mismatch
- !1037
Add synonyms for
SomeConstrainedValue
- Reimplement
SomeConstant
,SomeValue
,SomeStorage
viaSomeConstrainedValue
.
- Reimplement
0.1.0
Initial release extracted from the morley and lorentz packages. Tezos testing framework for contract developed with Michelson, Morley or Lorentz.