Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Restrict toHex to `bytes`. | chriseth | 2018-12-06 | 1 | -1/+1 |
| | |||||
* | Merge pull request #5537 from ethereum/cp-SourceLocation-related-refactoring | chriseth | 2018-12-01 | 1 | -6/+6 |
|\ | | | | | [1/3] SourceLocation related refactoring. | ||||
| * | liblangutil: Scanner: remove superfluous sourceName field (it's in ↵ | Christian Parpart | 2018-12-01 | 1 | -2/+2 |
| | | | | | | | | | | | | | | CharStream already) Also, ParserBase::sourceName() was dead code. Eliminating it should increase test coverage (how sneaky) :-) | ||||
| * | liblangutil: SourceLocation: adds (shared) pointer to underlying CharStream ↵ | Christian Parpart | 2018-12-01 | 1 | -4/+4 |
| | | | | | | | | | | | | source, eliminating sourceName Also, adapted affecting code to those changes. | ||||
| * | liblangutil: extends CharStream to know about the respective (file-)name ↵ | Christian Parpart | 2018-11-29 | 1 | -2/+2 |
| | | | | | | | | (and adapt codebase to it) | ||||
* | | Add skeleton for contract level checker. | chriseth | 2018-11-30 | 1 | -2/+16 |
|/ | |||||
* | Merge pull request #5491 from ethereum/libyul-as-library | chriseth | 2018-11-24 | 1 | -3/+4 |
|\ | | | | | Libyul as static library (version 3 ;( ) | ||||
| * | Reorder some include files and group <libyul/>'s together (as much as possible) | Christian Parpart | 2018-11-23 | 1 | -3/+4 |
| | | |||||
* | | Inject SMTLIB2 queries and responses via standard-json-io. | chriseth | 2018-11-23 | 1 | -1/+4 |
|/ | |||||
* | Introduce namespace `langutil` in liblangutil directory. | Christian Parpart | 2018-11-22 | 1 | -0/+1 |
| | | | | | | | Also: - Use {}-style list initialisation for SourceLocation construction - Introduce new system includes - Changes the API of the Scanner to take source as value (with move) as opposed to as a reference | ||||
* | Isolating files shared between Yul- and Solidity language frontend. | Christian Parpart | 2018-11-22 | 1 | -1/+1 |
| | |||||
* | Add CompilerStack state assertions in internal methods | Alex Beregszaszi | 2018-11-14 | 1 | -6/+12 |
| | |||||
* | Move lastContractName closer to contractNames | Alex Beregszaszi | 2018-11-14 | 1 | -13/+13 |
| | |||||
* | Do not crash on filesystemFriendlyName if no contracts were compiled | Alex Beregszaszi | 2018-11-14 | 1 | -0/+3 |
| | |||||
* | Add Scanner function that prints source based on SourceLocation | Leonardo Alt | 2018-11-13 | 1 | -1/+1 |
| | |||||
* | Deterministic YulStringRepository using string hashes. | Daniel Kirchner | 2018-11-13 | 1 | -1/+0 |
| | |||||
* | Reset yul string repository. | chriseth | 2018-11-09 | 1 | -0/+3 |
| | |||||
* | Change find to use a single character | Alex Beregszaszi | 2018-10-10 | 1 | -1/+1 |
| | |||||
* | Use GasEstimator::dataGas in CompilerStack | Alex Beregszaszi | 2018-09-28 | 1 | -2/+1 |
| | |||||
* | fix some format typos | liangdzou | 2018-09-17 | 1 | -1/+1 |
| | |||||
* | Disallow remappings with empty prefix. | Daniel Kirchner | 2018-08-11 | 1 | -14/+23 |
| | |||||
* | Merge pull request #4753 from mattaereal/boost-to-string-patch | Alex Beregszaszi | 2018-08-08 | 1 | -3/+3 |
|\ | | | | | Replace boost:lexical_cast<std::string> for std::to_string. | ||||
| * | Removing std:: from std::to_string and include for boost/lexical_cast | Matías Aereal Aeón | 2018-08-08 | 1 | -3/+3 |
| | | |||||
* | | Merge pull request #4692 from ethereum/devcore-path | chriseth | 2018-08-07 | 1 | -21/+4 |
|\ \ | | | | | | | Move absolutePath/sanitizePath helpers from CompilerStack to libdevcore | ||||
| * | | Move absolutePath/sanitizePath helpers from CompilerStack to libdevcore | Alex Beregszaszi | 2018-08-06 | 1 | -21/+4 |
| |/ | |||||
* / | Remove clone feature. | chriseth | 2018-08-07 | 1 | -23/+0 |
|/ | |||||
* | Properly explain all the analsys steps in CompilerStack | Alex Beregszaszi | 2018-07-31 | 1 | -1/+13 |
| | |||||
* | Pull out createCBORMetadata helper | Alex Beregszaszi | 2018-06-26 | 1 | -21/+29 |
| | |||||
* | Properly catch optimizer/assembly exception in CompilerStack | Alex Beregszaszi | 2018-06-21 | 1 | -9/+10 |
| | |||||
* | CompilerStack absolutePath/sanitizePath can be made static | Alex Beregszaszi | 2018-06-20 | 1 | -1/+1 |
| | |||||
* | Reorder some of the flow in CompilerStack::compileContract for readability | Alex Beregszaszi | 2018-06-20 | 1 | -3/+9 |
| | |||||
* | Add control flow analyzer and test for uninitialized storage returns. | Daniel Kirchner | 2018-05-15 | 1 | -0/+9 |
| | |||||
* | Add control flow graph. | Daniel Kirchner | 2018-05-15 | 1 | -0/+9 |
| | |||||
* | reindent | Alex Beregszaszi | 2018-04-06 | 1 | -70/+69 |
| | |||||
* | Catch FatalError in CompilerStack::analysis to cover all the analysis tests | Alex Beregszaszi | 2018-04-06 | 1 | -0/+10 |
| | |||||
* | Use EVM version in gas meter and optimizer. | chriseth | 2018-03-05 | 1 | -4/+5 |
| | |||||
* | Use EVM version in type checker. | chriseth | 2018-03-02 | 1 | -1/+1 |
| | |||||
* | Provide target EVM version in CompilerContext. | chriseth | 2018-03-02 | 1 | -2/+2 |
| | |||||
* | Store EVM version in settings. | chriseth | 2018-03-02 | 1 | -0/+1 |
| | |||||
* | Add ability to set the target EVM version. | chriseth | 2018-03-02 | 1 | -0/+7 |
| | |||||
* | Prevent libraries from being called. | chriseth | 2018-01-19 | 1 | -3/+6 |
| | |||||
* | Simplify contract lookup in CompileStack | Alex Beregszaszi | 2017-10-19 | 1 | -5/+10 |
| | |||||
* | Implement CompilerStack.lastContractName() | Alex Beregszaszi | 2017-10-19 | 1 | -10/+16 |
| | |||||
* | Provide optional list of contract names to CompilerStack.compile | Alex Beregszaszi | 2017-10-05 | 1 | -1/+10 |
| | |||||
* | Merge pull request #2848 from ethereum/checkViewPure | chriseth | 2017-09-14 | 1 | -0/+11 |
|\ | | | | | Enforce view and pure. | ||||
| * | View-pure checker. | chriseth | 2017-09-06 | 1 | -0/+11 |
| | | |||||
* | | Introduce assemblyString | Alex Beregszaszi | 2017-09-11 | 1 | -5/+4 |
| | | |||||
* | | Do not return the stream in asssemblyStream | Alex Beregszaszi | 2017-09-11 | 1 | -3/+2 |
| | | |||||
* | | Split out the JSON functionality from assembly.stream() | Alex Beregszaszi | 2017-09-11 | 1 | -3/+13 |
|/ | |||||
* | Removed unused natspec members of ContractDefinition | Alex Beregszaszi | 2017-08-26 | 1 | -3/+0 |
| | |||||
* | Do not create a new TypeChecker instance for every contract | Alex Beregszaszi | 2017-08-25 | 1 | -3/+1 |
| | |||||
* | Attach natspec before type checking | Alex Beregszaszi | 2017-08-25 | 1 | -6/+4 |
| | |||||
* | Remove duplicate work from CompilerStack.analyze() | Alex Beregszaszi | 2017-08-25 | 1 | -10/+0 |
| | |||||
* | Rename read file callback. | chriseth | 2017-08-23 | 1 | -4/+4 |
| | |||||
* | Cleanup. | chriseth | 2017-08-23 | 1 | -1/+1 |
| | |||||
* | z3 conditions | chriseth | 2017-08-23 | 1 | -0/+8 |
| | |||||
* | Merge pull request #2771 from ethereum/unused-includes | Alex Beregszaszi | 2017-08-21 | 1 | -2/+0 |
|\ | | | | | Remove some unused includes | ||||
| * | Remove some unused includes | Alex Beregszaszi | 2017-08-21 | 1 | -2/+0 |
| | | |||||
* | | Remove DocumentationType from natspec | Alex Beregszaszi | 2017-08-16 | 1 | -25/+28 |
|/ | |||||
* | Output experimental flag in metadata only for risky features | Alex Beregszaszi | 2017-08-11 | 1 | -9/+27 |
| | |||||
* | Store experimental flag in metadata CBOR | Alex Beregszaszi | 2017-08-11 | 1 | -0/+6 |
| | |||||
* | Replace isFullyImplemented with unimplementedFunctions in ASTAnnotations | Alex Beregszaszi | 2017-08-04 | 1 | -1/+1 |
| | |||||
* | Add isFallback() helper | Alex Beregszaszi | 2017-07-28 | 1 | -1/+3 |
| | |||||
* | Merge pull request #2645 from ethereum/asserts | Alex Beregszaszi | 2017-07-27 | 1 | -5/+5 |
|\ | | | | | Use solAssert where possible | ||||
| * | Use solAssert instead of boost throw where possible | Alex Beregszaszi | 2017-07-27 | 1 | -5/+5 |
| | | |||||
* | | Merge pull request #2643 from ethereum/compilerstack | Yoichi Hirai | 2017-07-27 | 1 | -10/+10 |
|\ \ | | | | | | | Reorder CompilerStack to be in logical order | ||||
| * | | Reorder CompilerStack to be in logical order | Alex Beregszaszi | 2017-07-27 | 1 | -10/+10 |
| |/ | |||||
* | | Merge pull request #2566 from ethereum/metadata-only-relevant | chriseth | 2017-07-27 | 1 | -0/+9 |
|\ \ | |/ |/| | Metadata: only include relevant files in the source list | ||||
| * | Only include files usde in metadata | Alex Beregszaszi | 2017-07-19 | 1 | -0/+9 |
| | | |||||
* | | Add CompilerStack::setOptimiserSettings | Alex Beregszaszi | 2017-07-26 | 1 | -4/+1 |
| | | |||||
* | | Add CompilerStack::setLibraries | Alex Beregszaszi | 2017-07-26 | 1 | -3/+2 |
| | | |||||
* | | Remove unused interfaces from CompilerStack | Alex Beregszaszi | 2017-07-26 | 1 | -23/+0 |
|/ | |||||
* | Merge pull request #2589 from ethereum/rename-onchainmetadata | Yoichi Hirai | 2017-07-19 | 1 | -7/+7 |
|\ | | | | | Rename onChainMetadata to metadata | ||||
| * | Rename onChainMetadata to metadata | Alex Beregszaszi | 2017-07-19 | 1 | -7/+7 |
| | | |||||
* | | Remove unneccesary interface from Natspec | Alex Beregszaszi | 2017-07-19 | 1 | -4/+6 |
|/ | |||||
* | Remove Why3 generator | Alex Beregszaszi | 2017-06-25 | 1 | -15/+0 |
| | |||||
* | Rework functionHashes into methodIdentifiers | Alex Beregszaszi | 2017-06-22 | 1 | -5/+5 |
| | |||||
* | Reverted functionHashes output to use method signature as keys | Edward Ruchevits | 2017-06-14 | 1 | -1/+1 |
| | |||||
* | Allow including hashes of method signatures in --combined-json output | Edward Ruchevits | 2017-06-14 | 1 | -0/+8 |
| | |||||
* | Fix state after CompilerStack.reset() | Alex Beregszaszi | 2017-06-01 | 1 | -1/+19 |
| | |||||
* | Remove unused functions from CompilerStack | Alex Beregszaszi | 2017-06-01 | 1 | -35/+0 |
| | |||||
* | Refactor error reporting | Rhett Aultman | 2017-05-30 | 1 | -28/+20 |
| | | | | | | | | | This commit introduces ErrorReporter, a utility class which consolidates all of the error logging functionality into a common set of functions. It also replaces all direct interactions with an ErrorList with calls to an ErrorReporter. This commit resolves issue #2209 | ||||
* | Also change error message. | chriseth | 2017-05-26 | 1 | -1/+1 |
| | |||||
* | Scanner requires only the SourcesSet state | Alex Beregszaszi | 2017-05-25 | 1 | -1/+1 |
| | |||||
* | Rename CompilerStack.metadata to CompilerStack.natspec | Alex Beregszaszi | 2017-05-19 | 1 | -5/+5 |
| | |||||
* | Rename InterfaceHandler to Natspec | Alex Beregszaszi | 2017-05-19 | 1 | -4/+4 |
| | |||||
* | Split ABI out of InterfaceHandler | Alex Beregszaszi | 2017-05-19 | 1 | -5/+12 |
| | |||||
* | Use CompilerStack.contractABI directly | Alex Beregszaszi | 2017-05-19 | 1 | -1/+6 |
| | |||||
* | Rename CompilerStack.interface to CompilerStack.contractABI | Alex Beregszaszi | 2017-05-19 | 1 | -1/+1 |
| | |||||
* | Ensure proper checks are in CompilerStack | Alex Beregszaszi | 2017-05-11 | 1 | -4/+10 |
| | |||||
* | Do not crash on AST if parsing failed | Alex Beregszaszi | 2017-05-11 | 1 | -0/+3 |
| | |||||
* | conditional reset of compilerState-Enum | djuju | 2017-04-29 | 1 | -1/+4 |
| | |||||
* | Merge pull request #2171 from ethereum/splitParseAndAnalyze | chriseth | 2017-04-28 | 1 | -16/+45 |
|\ | | | | | refactoring parse() into two separate functions | ||||
| * | error fixed | djuju | 2017-04-28 | 1 | -8/+7 |
| | | |||||
| * | enumchecks not working | djuju | 2017-04-28 | 1 | -14/+28 |
| | | |||||
| * | documentation, checks and renaming | djuju | 2017-04-27 | 1 | -12/+11 |
| | | |||||
| * | refactoring parse() into two separate functions | djuju | 2017-04-27 | 1 | -7/+24 |
| | | |||||
* | | Make assembler errors fatal | Alex Beregszaszi | 2017-04-27 | 1 | -12/+4 |
| | | |||||
* | | Catch assembler exceptions and throw readable Solidity exceptions | Alex Beregszaszi | 2017-04-27 | 1 | -2/+35 |
|/ | |||||
* | Fix source index allocation in CompilerStack. Depending on ↵ | Alex Beregszaszi | 2017-04-21 | 1 | -1/+2 |
| | | | | compiler(optimisations) this could be off-by-one. | ||||
* | Keep gas values as a string in CompilerStack::gasEstimate | Alex Beregszaszi | 2017-04-13 | 1 | -3/+3 |
| | |||||
* | Exclude fallback function from the internal functions in estimateGas | Alex Beregszaszi | 2017-04-13 | 1 | -1/+2 |
| | |||||
* | Move gasEstimate into CompilerStack | Alex Beregszaszi | 2017-04-13 | 1 | -0/+85 |
| | |||||
* | Pull out ReadFile from CompilerStack | Alex Beregszaszi | 2017-04-10 | 1 | -2/+2 |
| | |||||
* | Rename ErrorMesage to ErrorMessage | Alex Beregszaszi | 2017-03-17 | 1 | -2/+2 |
| | |||||
* | Merge pull request #1747 from ethereum/fixICEInternalConstructor | Yoichi Hirai | 2017-03-09 | 1 | -1/+1 |
|\ | | | | | Move privateness of constructor into AST itself. | ||||
| * | Move public constructor property into AST itself. | chriseth | 2017-03-06 | 1 | -1/+1 |
| | | |||||
* | | Check for circular references in constant variables. | chriseth | 2017-03-06 | 1 | -0/+9 |
|/ | |||||
* | Extract scopes into compiler stack. | chriseth | 2017-02-14 | 1 | -1/+2 |
| | |||||
* | Add option to store literal sources in metadata | Alex Beregszaszi | 2017-01-26 | 1 | -4/+9 |
| | |||||
* | Check if constructor is public or not. | chriseth | 2017-01-21 | 1 | -1/+5 |
| | |||||
* | Reset AST node IDs between compilation runs. | chriseth | 2017-01-20 | 1 | -0/+1 |
| | |||||
* | Merge pull request #1397 from roadriverrail/contract_collision | chriseth | 2017-01-18 | 1 | -39/+57 |
|\ | | | | | Error out when contracts collide on name | ||||
| * | Provide fall-back method for contract lookup | Rhett Aultman | 2017-01-17 | 1 | -1/+18 |
| | | | | | | | | | | | | | | | | Properly, contracts are now looked up via <source>:<contract> identifiers called "fully qualified names." As a modicum of backward-compatibility, failure on a lookup is now backed up by seeing if the ":" exists at all, and if it doesn't, then the known contracts are scanned for any matching contract name. | ||||
| * | Remove checkLibraryNameClashes() | Rhett Aultman | 2017-01-17 | 1 | -34/+0 |
| | | | | | | | | | | | | | | | | The library name clash checker throws errors when two libraries of the same name are spotted. In a previous commit, this function was rewritten to use fully-qualified names instead, which makes it redundant to the checker for multiply-declared identifiers. Since it no longer serves a clear purpose, the function is being dropped. | ||||
| * | Remove unique error for contract collision | Rhett Aultman | 2017-01-17 | 1 | -39/+10 |
| | | | | | | | | | | | | Because contracts are uniquely identified by their source unit, there is no need for a unique error for this; it's actually covered by the checker for double-declaration of identifiers. | ||||
| * | Stylistic corrections | Rhett Aultman | 2017-01-17 | 1 | -8/+4 |
| | | |||||
| * | Push the error instead of throwing it | Rhett Aultman | 2017-01-17 | 1 | -10/+34 |
| | | | | | | | | | | | | | | Throwing a CompilerError on multiple contract definition violates the expectations of the test suite, which thinks that compile() will return false if the code can't compile. This brings contract collision reporting in line with most of the other errors. | ||||
| * | Only avoid collision if it's the same file | Rhett Aultman | 2017-01-17 | 1 | -12/+36 |
| | | | | | | | | | | | | | | | | | | @chriseth had suggested that it would be better if contracts were referenced in a file:contract notation, and that we output .bin files that prepend original path names if necessary to avoid a collision. This commit is mostly a draft; it still needs to be run through the test suite. | ||||
| * | Tab whitespace cleanup (again) | Rhett Aultman | 2017-01-17 | 1 | -1/+2 |
| | | |||||
| * | Tidy up the error message | Rhett Aultman | 2017-01-17 | 1 | -3/+3 |
| | | |||||
| * | Fix tab, drop stupid '!!!', change error message. | Rhett Aultman | 2017-01-17 | 1 | -3/+3 |
| | | |||||
| * | Error out when contracts collide on name | Rhett Aultman | 2017-01-17 | 1 | -0/+19 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | The previous behaviour, courtesy of the [] operator in std::map, would uncritically store a new ContractDefinition in m_contracts even when a ContractDefinition already existed. This "resolved" collissions on contract names by clobbering the original one with the new one, and could lead to scenarios where the clobber would only be discovered when the original ContractDefinition could not be found or referred to, which was an unhelpful InternalCompilerError. This change checks the m_contracts map for a collision first and will not let the ContractDefinition be changed to a new one once it's set, throwing a CompilerError with information about the conflict. | ||||
* | | Store strict version number in metadata (exclude the platform) | Alex Beregszaszi | 2017-01-17 | 1 | -1/+1 |
|/ | |||||
* | fixed | VoR0220 | 2017-01-12 | 1 | -2/+2 |
| | | | | Signed-off-by: VoR0220 <rj@erisindustries.com> | ||||
* | added fix and a test for order independence of nested prefixing | VoR0220 | 2017-01-12 | 1 | -2/+2 |
| | | | | Signed-off-by: VoR0220 <rj@erisindustries.com> | ||||
* | cleanup | VoR0220 | 2017-01-12 | 1 | -12/+12 |
| | | | | | | | | Signed-off-by: VoR0220 <rj@erisindustries.com> fixup Signed-off-by: VoR0220 <rj@erisindustries.com> | ||||
* | fixed unused filepath bug | VoR0220 | 2017-01-11 | 1 | -2/+1 |
| | | | | Signed-off-by: VoR0220 <rj@erisindustries.com> | ||||
* | much smaller helper function | VoR0220 | 2017-01-10 | 1 | -4/+2 |
| | | | | Signed-off-by: VoR0220 <rj@erisindustries.com> | ||||
* | can do this purely on length. Also made prefix filesystem string for more ↵ | VoR0220 | 2017-01-09 | 1 | -27/+16 |
| | | | | | | accurate readings. Signed-off-by: VoR0220 <rj@erisindustries.com> | ||||
* | fixed test and added solution | VoR0220 | 2017-01-09 | 1 | -3/+26 |
| | | | | Signed-off-by: VoR0220 <rj@erisindustries.com> | ||||
* | interface: change absolutePath() so that ".dir" is considered as an absolute ↵ | Yoichi Hirai | 2017-01-04 | 1 | -3/+3 |
| | | | | | | path fixes #1534 | ||||
* | Use multiple URLs for metadata. | chriseth | 2016-12-13 | 1 | -2/+4 |
| | |||||
* | Merge pull request #1491 from ameten/refactoring | chriseth | 2016-12-13 | 1 | -1/+1 |
|\ | | | | | Just refactored some code | ||||
| * | - fixed a misprint. | Danil Nemirovsky | 2016-12-09 | 1 | -1/+1 |
| | | |||||
* | | Warn about using msg.value in non-payable function | Federico Bond | 2016-12-09 | 1 | -0/+10 |
|/ | |||||
* | Add the `_runs` parameter. | chriseth | 2016-12-01 | 1 | -2/+2 |
| | |||||
* | Use CBOR encoding. | chriseth | 2016-12-01 | 1 | -1/+8 |
| | |||||
* | Add swarm hash to the end of the bytecode. | chriseth | 2016-12-01 | 1 | -0/+1 |
| | |||||
* | Make sure some keys are present. | chriseth | 2016-12-01 | 1 | -0/+3 |
| | |||||
* | Incorporate comments. | chriseth | 2016-12-01 | 1 | -10/+10 |
| | |||||
* | Metadata stamp. | chriseth | 2016-12-01 | 1 | -18/+80 |
| | |||||
* | Fix licensing headers | VoR0220 | 2016-11-23 | 1 | -4/+4 |
| | | | | Signed-off-by: VoR0220 <rj@erisindustries.com> | ||||
* | Change encoding to address-funid and add "function" as ABI type. | chriseth | 2016-11-16 | 1 | -1/+1 |
| | |||||
* | Stored combined creation and runtime tags. | chriseth | 2016-11-16 | 1 | -3/+14 |
| | | | | | | | Includes a change to Assembly to allow tags from sub-assemblies to be used. Sorry, this get a bit bigger than I thought. | ||||
* | Move InterfaceHandler from string to JSON | Alex Beregszaszi | 2016-11-15 | 1 | -4/+4 |
| | |||||
* | Suggest correct version for pragma and complain about pre-release version. | chriseth | 2016-10-25 | 1 | -3/+15 |
| | |||||
* | Rename dev::sha3 to dev::keccak256 | Alex Beregszaszi | 2016-10-06 | 1 | -1/+1 |
| | |||||
* | fix CompilerStack::absolutePath | Dimitry | 2016-09-01 | 1 | -1/+1 |
| | |||||
* | Remove standard contracts | Denton Liu | 2016-08-19 | 1 | -27/+6 |
| | |||||
* | remove solidity --interface | Dimitry | 2016-08-17 | 1 | -8/+0 |
| | |||||
* | Source location as part of AST. | chriseth | 2016-07-21 | 1 | -0/+111 |
| | |||||
* | Provide formal version in json output. | chriseth | 2016-07-19 | 1 | -2/+4 |
| | |||||
* | Allow remappings to change depending on the context. | chriseth | 2016-06-09 | 1 | -13/+66 |
| | |||||
* | Merge pull request #356 from guanqun/break-not-in-loop | chriseth | 2016-01-21 | 1 | -0/+6 |
|\ | | | | | check whether break/continue is in the loop | ||||
| * | code changes according to Chris's comments | Lu Guanqun | 2016-01-19 | 1 | -1/+1 |
| | | |||||
| * | check whether break/continue is in the loop | Lu Guanqun | 2016-01-15 | 1 | -0/+6 |
| | | |||||
* | | Merge pull request #351 from chriseth/autoload | chriseth | 2016-01-19 | 1 | -29/+62 |
|\ \ | | | | | | | Automatically load imported files in solc. | ||||
| * | | Build fix for MacOS. | chriseth | 2016-01-14 | 1 | -1/+1 |
| | | | |||||
| * | | Autoload files in solc. | chriseth | 2016-01-12 | 1 | -29/+62 |
| |/ | |||||
* | | Set error flag to true. | chriseth | 2016-01-14 | 1 | -0/+1 |
| | | |||||
* | | Detect library name clashes. | chriseth | 2016-01-14 | 1 | -0/+33 |
|/ | |||||
* | Simple aliasing during import. | chriseth | 2015-12-18 | 1 | -0/+3 |
| | |||||
* | Parse complex import directives. | chriseth | 2015-12-18 | 1 | -1/+1 |
| | |||||
* | Relative paths in import directives. | chriseth | 2015-12-10 | 1 | -5/+24 |
| | |||||
* | Source units are independent scopes. | chriseth | 2015-12-10 | 1 | -0/+6 |
| | |||||
* | Preliminary why3 code output. | chriseth | 2015-10-27 | 1 | -0/+13 |
| | |||||
* | Store docstrings in AST annotations. | chriseth | 2015-10-26 | 1 | -10/+12 |
| | |||||
* | File reorganisation. | chriseth | 2015-10-21 | 1 | -0/+435 |