global environment, instantiation for trivial false-returning policy

runtimeverification / plutus-core-semantics

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

27 stars 5 forks source link

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 CompiledPolicyFalseNames.uplc example
Extending verification.md with core of CompiledPolicyFalse

SchmErik commented 2 years ago

@PetarMax You mentioned that you're extending verification.md but I don't see any changes for this file