Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Prevent Cryptol names from overwriting Python built-in names #12

Closed
acfoltzer opened this issue Oct 15, 2015 · 0 comments
Closed

Prevent Cryptol names from overwriting Python built-in names #12

acfoltzer opened this issue Oct 15, 2015 · 0 comments
Labels
bug
Milestone
1.0.0a2

Comments

@acfoltzer
Copy link
Contributor

Add a filter for names to assign to new CryptolModules so that things like the class hierarchy and built-in methods don't get overwritten.
@acfoltzer acfoltzer added the bug label Oct 15, 2015
@acfoltzer acfoltzer modified the milestone: 1.0.0a2 Oct 26, 2015
acfoltzer pushed a commit that referenced this issue Nov 6, 2015
filter out bad identifiers in load_module
8c87d7e 
Also adds a method for referring to any top-level declaration by
name. This was possible before with `eval`, but that required
re-evaluation every time.

Closes #1, #12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug
Projects
None yet
Milestone
1.0.0a2
Development

No branches or pull requests
1 participant
@acfoltzer