search

pepper-project / pepper

A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.
Other
60 stars 16 forks source link

Bugfix with lexical scoping #5

Closed bjmnbraun closed 5 years ago

bjmnbraun commented 5 years ago

The string constant "LEXICAL_RESET_SEPARATOR" vs the string global constant LEXICAL_RESET_SEPARATOR (which has a value of "#".)

Fixes issues 53.