Global environment, Trivial policies - Githubissues

runtimeverification / plutus-core-semantics

BSD 3-Clause "New" or "Revised" License

27 stars 5 forks source link

Global environment, Trivial policies #294

Closed PetarMax closed 2 years ago

PetarMax commented 2 years ago

Extending the uplc semantics with a global environment and appropriate rules
Instantiating the global environment for the trivial policies
Extending verification.md with the trivial policies
Establishing and proving claims about the trivial policies