issues
search
runtimeverification
/
plutus-core-semantics
BSD 3-Clause "New" or "Revised" License
27
stars
5
forks
source link
Removing global environment from concrete execution
#301
Closed
PetarMax
closed
2 years ago
PetarMax
commented
2 years ago
The global environment is no longer used for concrete execution.
The global environment is no longer used for concrete execution.