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.

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

Feature request: Namespaces #11

Closed
LianaHus opened this issue Aug 20, 2015 · 1 comment
Closed

Feature request: Namespaces #11

LianaHus opened this issue Aug 20, 2015 · 1 comment

Comments

@LianaHus
Copy link
Contributor

(moved) see original issue here: ethereum/aleth#2448

@chriseth
Copy link
Contributor

chriseth commented Aug 5, 2016

We are going the javascript way and use imports. Also you can use remappings of import paths to get an even better system that does not need to have globally unique namespaces.

@chriseth chriseth closed this as completed Aug 5, 2016
erak added a commit to erak/solidity that referenced this issue Apr 25, 2018
wuestholz pushed a commit to wuestholz/solidity that referenced this issue Jan 20, 2020
* Build target for KLEE (undone)

* Update the target for KLEE.

* update the targets for klee_driver and klee

* add the KLEE_PATH.
yanghang8612 pushed a commit to yanghang8612/solidity that referenced this issue May 31, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants