Nft tests

Co-authored-by: Yuriy Pachin <yuriy@mlabs.city>

* update: separate API

* WIP: refactor the existing for uniqueness list

* WIP: REPL compiles

* update: added some more information in comments

* update: working initialisation

* update: added Proof token to head init

* update: wrapped CSymbol

* update: further fixed functions

* update: pre-merge

* wip: splitting Contract module

* redundant imports deleted

* wip: linked list minting
- minting off-chain logic
- Enbpoints -> Contract module structure renaming

* wip: linked list minting
- minting off-chain logic
- Enbpoints -> Contract module structure renaming

* NFT: Rewrite set-price contract

* NFT: Implement on-chain price-set

* NFT: Add off-chain checks in set-price contract

* update: add Init Trace

* update: Head token is empty

* NFT: Rewrite buy contract

* NFT: Implement on-chain buy

* NFT: Fix mint insert point lookup

* update: minting Contract

* update: Minting works

* update: fixed Head bug

* update: linting

* NFT: Implement on-chain minting

* update: merge proof and head nodes

* WIP: minitng Policy with todos

* WIP: updated Mint Contract to only use the one utxo that is updated

* NFT: Finish minting policy

* NFT: Fix on-chain checks

* NFT: Make `buy` and `set-price` work again

* update: solve cabal review

* linked list implementation - adapt tests (#205)

* Add a hacky minting test

* Add more tests, move some values to TestValues module

* Move minting tests to Minting module

* Move script tests to Script folder

* Fix mkTxPolicy name

* Add valid buy test for dealing (wip)

* wip

* wip

* Add todo for tasty options

* wip

* Use tasty options to set testTxId

* wip, passes validator

* wip

* new tests, wip

* Fix owner payment validator

* Formatting

* wip

* NFT: Fix shares calculations

* Update plutus-extra (for fixed tasty-plutus pretty-printing)

* Fix tests after staging nft moved to lovelace values

* Clarify todo

* Remove `addDatum`s

* Fix formatting

* Linting

* NFT: Implement legacy contract tests

* NFT: Implement query tests

* issue 171:
- removing record-dot-preprocessor
- minor refactoring

* Remove redundant Maybe's

* Use `Last QueryResponse` in a `QueryContract`

* Add testQueryPrice trace

* NFT: Add QuickCheck test for contract

* Format code

* NFT: Refactor quickcheck

* More clear test names

* Actually resolve merge conflict

* Bangify on-chain code (#190)

Co-authored-by: Yuriy Pachin <yuriy@mlabs.city>

* NFT: Enable script tests (wip)

* Fix minting Script tests

* Fix dealing Script tests

Co-authored-by: Kirill Boltaev <aske@fmap.me>
Co-authored-by: Maksymilian Brodowicz <87449555+zygomeb@users.noreply.github.com>
Co-authored-by: Mikhail Lazarev <mikhail@mlabs.city>
Co-authored-by: Iurii Pachin <45940305+iupii@users.noreply.github.com>
Co-authored-by: Yuriy Pachin <yuriy@mlabs.city>

* fix: removed build errors

* lint: hlint

* formatting

* bugfix: fix latent bugs

* Fix tests

* update: split legacy - re-organise

* update: bangify validation code

Co-authored-by: Mikhail Lazarev <mikhail@mlabs.city>
Co-authored-by: t4ccer <t4ccer@gmail.com>
Co-authored-by: Kirill Boltaev <aske@fmap.me>
Co-authored-by: Maksymilian Brodowicz <87449555+zygomeb@users.noreply.github.com>
Co-authored-by: Iurii Pachin <45940305+iupii@users.noreply.github.com>
Co-authored-by: Yuriy Pachin <yuriy@mlabs.city>

Also fix validator to allow minting multiple NFTs

Reimplement NFT QuickCheck

…ft-auction

NFT: check node order

Nft: List refactor - query rewrite (Closes #189)

NFT: Implement query for listing NFTs

…ary-tests

NFT: Additional necessary todos

…ft-auction

* Implement check for datum and NFT id mismatch

Validator Check - the Datum and the Token correspond to one another (#230)

* Implement tests for datum and NFT id mismatch

* Remove dead code

NFT: Add `getApplicationCurrencySymbol` contract

…ft-auction

Nft auction

Implement additional validation checks

Upgrade Plutus following mono-repo split

Pin recent versions of `plutus` and `plutus-apps`

Re-pin all Plutus-related dependencies

Fix code broken by various Plutus API changes

Remove redundant PAB modules (PAB client has been removed from recent `plutus-apps`)

Upgrade plutus-extra

* issue-206: NFT simulator endpoints
- NFT contracts hooked to PAB
- Simulator endpoints aded
- marketplace executable added with PAB config sample and readme

* formatting

* update: removed repetition in endpoints

* lint: removed redundant LANGUAGE extensions

Co-authored-by: cstml <cstmlcodes@gmail.com>

* queryContentStatus endpoint created and tested

* remove extra files

* cleaning files

* merging with staging

* tests for Query Content

* removing irrelevant files

* formatting fix

* minor change after plutus upgrade.

* update: generalise predicate for queries

Co-authored-by: radni <amirhossein_kh@ymail.com>

Add test for script size

…mlabs-haskell/plutus-use-cases into amirhossein/on-chain-init-admin

NFT: Auction tests

…-cases into amirhossein/on-chain-init-admin

� Conflicts:
�	mlabs/test/Test/NFT/Contract.hs
�	mlabs/test/Test/NFT/QuickCheck.hs

…admin

Amirhossein/on chain init admin

…heck

Remove auction owner check when closing auction

* Add API docs

* Create NFT spec document.

* Implement fees for `buy` contract

* Implement fees for `auction-close` contract

* Disable failing NFT tests

* Add missing `Inlineable` pragmas

* Add missing Haddock comments

* Rename pi'datum to pi'data

* Refactor `close-auction` contract

* swapping one-shot minting policy:
- use utxo from script to mint one-shot currency
- tests adjustments

* linting and formatting

* use `waitInit` as SSOT for tests

* Convert Nix setup to flakes

Start converting nix setup to flakes

WIP: flake conversion

WIP: Use sources.nix for sha256map for now

WIP: Compatibility shell.nix

Better compatibility shell.nix

Stop using sources.nix for sha256map

Use plutusPkgs for libsodium-vrf

Remove redundant let bind

Put shell config in right place

Use plutus for fourmolu

Newer version of fourmolu requires build

Compatibility default.nix

Remove redundant modules

Remove outdated info from readme

Add explanatory comment to haskell.nix module

Add flake-compat to flake inputs

Add all executables to checks output

Go back to using niv for sha256map

Fix/update nix readme

Also use plutusPkgs for niv

Add flakes transition notes to nix readme

Update CI

Add .envrc and .direnv/ to gitignore

Fix hoogle

Add experimental features flag to build CI

Add yet another flag to build CI

Fix path in CI

Use stack from plutus pkgs

Re-add update.nix

Temporarily disable tests in checks

Add experimental-features to extra_nix_config

* Fix cross-platform support

* Fix build CI

* Update nix readme

* Fix gitignore

* Implement fees for `buy` contract

* Implement fees for `auction-close` contract

* Disable failing NFT tests

* Add missing `Inlineable` pragmas

* Add missing Haddock comments

* Rename pi'datum to pi'data

* Refactor `close-auction` contract

* parametrisation: type-checks

* update:fix get token logic

* bugfix: removed corrupt head issues

* update: refactor validator logic for clarity

Co-authored-by: t4ccer <t4ccer@gmail.com>
Co-authored-by: Maksymilian Brodowicz <87449555+zygomeb@users.noreply.github.com>

* Fix Auction fees

Gov tokens were paid to user that called `auction-close`, not to the
one that won the auction

* Fix NFT list insertion

When inserting new NFT after a node with bid ADA, bid ADA wasn't
specified to be sent back, and  balancing caused bugs

* Add fees support to QuickCheck model

* Fix build

Increase strictness

Run QuickCheck tests in batches

Use nix for CI format/lint

WIP: fix Makefile and update-sha256map

Fix run-tests.sh

Add `check` to flake outputs

Simplify `checks`

Finish updating makefile

Add description to flake

Flakes fixes/improvements

* Add `burn-gov` contract

Off-chain only

* Implement tests with fees

* Implement QuickCheck test for no locked funds

* Remove burn endpoint

Add missing packages to shell

Limit Validator and Tests to cover only MVP