Update Plutus Core version from 1.0.0 to 1.1.0 in validator programs

[Copilot]

The AuctionValidator and AuctionMintingPolicy were using outdated Plutus Core version 1.0.0. This update brings both validator programs to use the more recent Plutus Core version 1.1.0.

Changes Made

Updated in both src/AuctionValidator.hs and src/AuctionMintingPolicy.hs:

• Updated GHC plugin target version pragma: target-version=1.0.0 → target-version=1.1.0
• Updated PlutusCore.Version import: plcVersion100 → plcVersion110
• Updated compiled code generation: plcVersion100 → plcVersion110

The changes are minimal and surgical, updating only the specific version references while maintaining all existing functionality. The updated version 1.1.0 is compatible with the project's existing plutus-core ^>=1.51.0.0 dependency constraint.

Example of Changes

-- Before
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:target-version=1.0.0 #-}
import PlutusCore.Version (plcVersion100)
-- ...
`PlutusTx.unsafeApplyCode` PlutusTx.liftCode plcVersion100 params

-- After  
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:target-version=1.1.0 #-}
import PlutusCore.Version (plcVersion110)
-- ...
`PlutusTx.unsafeApplyCode` PlutusTx.liftCode plcVersion110 params

Fixes #54.

Warning

Firewall rules blocked me from connecting to one or more addresses

I tried to connect to the following addresses, but was blocked by firewall rules:

• chap.intersectmbo.org
  • Triggering command: /usr/bin/curl REDACTED --output /tmp/transportAdapterGet3318-5 --location --write-out %{http_code} --user-agent cabal-install/3.16.0.0 (linux; x86_64) --silent --show-error --dump-header /tmp/curl-headers3318-6.txt (dns block)
  • Triggering command: /usr/bin/curl REDACTED --output /tmp/transportAdapterGet3329-3 --location --write-out %{http_code} --user-agent cabal-install/3.16.0.0 (linux; x86_64) --silent --show-error --dump-header /tmp/curl-headers3329-4.txt (dns block)

If you need me to access, download, or install something from one of these locations, you can either:

• Configure Actions setup steps to set up my environment, which run before the firewall is enabled
• Add the appropriate URLs or hosts to the custom allowlist in this repository's Copilot coding agent settings (admins only)

---

💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

[Copilot]

@Unisay 👋 This repository doesn't have Copilot instructions. With Copilot instructions, I can understand the repository better, work faster and produce higher quality PRs.

I can generate a .github/copilot-instructions.md file for you automatically. Click here to open a pre-filled issue and assign it to me. I'll write the instructions, and then tag you for review.

[Unisay]

This was an experiment: closing this PR in favor of this one