index
:
dexon-solidity
develop
release
DEXON fork of Solidity (https://github.com/dexon-foundation/dsolidity)
LAN-TW
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
libsolidity
/
interface
Commit message (
Expand
)
Author
Age
Files
Lines
*
Use a secondary location for function override errors
Federico Bond
2017-08-12
1
-2
/
+2
*
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
*
Show unimplemented function if trying to instantiate an abstract class
Alex Beregszaszi
2017-08-04
2
-0
/
+16
*
Replace isFullyImplemented with unimplementedFunctions in ASTAnnotations
Alex Beregszaszi
2017-08-04
1
-1
/
+1
*
Consistent format for secondary location in sourceformatter
Alex Beregszaszi
2017-08-02
1
-2
/
+1
*
Consistent new line in sourceformatter
Alex Beregszaszi
2017-08-02
1
-0
/
+2
*
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 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
2
-39
/
+55
|
\
\
|
*
|
Reorder CompilerStack to be in logical order
Alex Beregszaszi
2017-07-27
2
-39
/
+55
|
|
/
*
|
Merge pull request #2646 from ethereum/standardcompiler
Yoichi Hirai
2017-07-27
1
-18
/
+23
|
\
\
|
*
|
DocstringParsingError is not thrown anymore in StandardCompiler
Alex Beregszaszi
2017-07-27
1
-16
/
+8
|
*
|
Catch FatalError in StandardCompiler
Alex Beregszaszi
2017-07-27
1
-3
/
+16
|
|
/
*
|
Merge pull request #2566 from ethereum/metadata-only-relevant
chriseth
2017-07-27
1
-0
/
+9
|
\
\
|
|
/
|
/
|
|
*
Only include files usde in metadata
Alex Beregszaszi
2017-07-19
1
-0
/
+9
*
|
Merge pull request #1637 from ethereum/warn-shadowing-globals
chriseth
2017-07-26
2
-12
/
+24
|
\
\
|
*
|
Warn about shadowing variables.
Alex Beregszaszi
2017-07-25
2
-12
/
+24
|
|
/
*
|
Add CompilerStack::setOptimiserSettings
Alex Beregszaszi
2017-07-26
3
-9
/
+12
*
|
Add CompilerStack::setLibraries
Alex Beregszaszi
2017-07-26
3
-6
/
+12
*
|
Remove unused interfaces from CompilerStack
Alex Beregszaszi
2017-07-26
2
-38
/
+4
|
/
*
Merge pull request #2589 from ethereum/rename-onchainmetadata
Yoichi Hirai
2017-07-19
3
-11
/
+11
|
\
|
*
Rename onChainMetadata to metadata
Alex Beregszaszi
2017-07-19
3
-11
/
+11
*
|
Remove unneccesary interface from Natspec
Alex Beregszaszi
2017-07-19
3
-31
/
+6
|
/
*
Mark const variables
Alex Beregszaszi
2017-07-18
1
-4
/
+4
*
Reorder code for readability
Alex Beregszaszi
2017-07-18
1
-9
/
+9
*
Refactor exceptions and provide comment function.
chriseth
2017-07-13
1
-13
/
+0
*
Merge pull request #2527 from ethereum/onlyASTIfAnalysisSuccessful
chriseth
2017-07-06
1
-2
/
+2
|
\
|
*
Only output AST if the analysis was successful.
chriseth
2017-07-06
1
-2
/
+2
*
|
Do not omit error type.
chriseth
2017-07-06
1
-4
/
+4
|
/
*
Merge pull request #2507 from ethereum/jsonio-safe
chriseth
2017-07-03
2
-14
/
+17
|
\
|
*
Use more refined states in StandardCompiler
Alex Beregszaszi
2017-07-03
1
-6
/
+7
|
*
Export CompilerStack state
Alex Beregszaszi
2017-07-03
1
-8
/
+10
*
|
Add Julia mode as an option to EVMCodeTransform
Alex Beregszaszi
2017-07-03
1
-1
/
+1
*
|
Run analyzer in Julia mode if requested in AssemblyStack
Alex Beregszaszi
2017-07-02
1
-1
/
+1
|
/
*
Remove Why3 error class
Alex Beregszaszi
2017-07-01
4
-27
/
+0
*
Remove Why3 generator
Alex Beregszaszi
2017-06-25
2
-22
/
+0
*
Merge pull request #2404 from ethereum/methodidentifiers
Alex Beregszaszi
2017-06-22
3
-18
/
+12
|
\
|
*
Make compiler.contractDefinition private
Alex Beregszaszi
2017-06-22
1
-3
/
+4
|
*
Rework functionHashes into methodIdentifiers
Alex Beregszaszi
2017-06-22
3
-7
/
+8
|
*
Use compilerStack.functionHashes in StandardCompiler
Alex Beregszaszi
2017-06-22
1
-9
/
+1
*
|
Merge interface/Exceptions and interface/Utils
Alex Beregszaszi
2017-06-22
4
-47
/
+12
|
/
*
Split block code generation into main and finalize.
chriseth
2017-06-16
1
-1
/
+1
*
Merge pull request #2382 from ruchevits/combined-json-hashes
chriseth
2017-06-15
2
-0
/
+11
|
\
|
*
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
2
-0
/
+11
*
|
Supply text representation of assembly
Alex Beregszaszi
2017-06-09
1
-1
/
+3
*
|
Introduce MachineAssemblyObject
Alex Beregszaszi
2017-06-09
2
-5
/
+17
|
/
*
Remove excess includes
Alex Beregszaszi
2017-06-09
2
-1
/
+1
*
Simplify CodeGenerator by remove seldom used case
Alex Beregszaszi
2017-06-09
1
-1
/
+2
*
Remove error reporter from code generation phase.
chriseth
2017-06-08
2
-6
/
+6
*
Initial EVM1.5 assembly implementation.
chriseth
2017-06-08
1
-1
/
+8
*
Refactor AssemblyStack
Alex Beregszaszi
2017-06-07
2
-4
/
+7
*
Add analyze(block) to AssemblyStack
Alex Beregszaszi
2017-06-07
2
-0
/
+18
*
Reset error list in parseAndAnalyze
Alex Beregszaszi
2017-06-07
1
-0
/
+1
*
Fix state after CompilerStack.reset()
Alex Beregszaszi
2017-06-01
2
-1
/
+26
*
Remove unused functions from CompilerStack
Alex Beregszaszi
2017-06-01
2
-48
/
+0
*
Refactor error reporting
Rhett Aultman
2017-05-30
6
-39
/
+328
*
More comments for assembly
chriseth
2017-05-26
1
-0
/
+2
*
Adapt EVM codegen to new namespace.
chriseth
2017-05-26
2
-16
/
+14
*
Support multiple assembly front and backends.
chriseth
2017-05-26
2
-0
/
+170
*
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
*
Merge pull request #1810 from ethereum/compactJson
chriseth
2017-05-22
1
-1
/
+2
|
\
|
*
Support the new AST in StandardCompiler
Alex Beregszaszi
2017-05-17
1
-0
/
+1
|
*
Compact format for AST-Json with backwards compatibility
chriseth
2017-05-17
1
-1
/
+1
*
|
Rename CompilerStack.metadata to CompilerStack.natspec
Alex Beregszaszi
2017-05-19
3
-9
/
+9
*
|
Rename InterfaceHandler to Natspec
Alex Beregszaszi
2017-05-19
4
-11
/
+11
*
|
Split ABI out of InterfaceHandler
Alex Beregszaszi
2017-05-19
6
-105
/
+212
*
|
Use CompilerStack.contractABI directly
Alex Beregszaszi
2017-05-19
2
-2
/
+7
*
|
Rename CompilerStack.interface to CompilerStack.contractABI
Alex Beregszaszi
2017-05-19
2
-3
/
+3
|
/
*
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
*
Merge pull request #2211 from ethereum/jsonio-fixes
Alex Beregszaszi
2017-05-02
1
-3
/
+3
|
\
|
*
Follow the JSON I/O spec closely
Alex Beregszaszi
2017-05-02
1
-3
/
+3
*
|
Remove why3 from standard compiler
Alex Beregszaszi
2017-05-02
1
-24
/
+0
|
/
*
conditional reset of compilerState-Enum
djuju
2017-04-29
1
-1
/
+4
*
Merge pull request #2171 from ethereum/splitParseAndAnalyze
chriseth
2017-04-28
2
-17
/
+63
|
\
|
*
error fixed
djuju
2017-04-28
1
-8
/
+7
|
*
enumchecks not working
djuju
2017-04-28
2
-15
/
+36
|
*
documentation, checks and renaming
djuju
2017-04-27
2
-14
/
+13
|
*
refactoring parse() into two separate functions
djuju
2017-04-27
2
-7
/
+34
*
|
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
|
/
*
Catch jsoncpp exceptions
Alex Beregszaszi
2017-04-25
1
-0
/
+8
*
Do not crash on invalid JSON input
Alex Beregszaszi
2017-04-25
1
-0
/
+4
*
Merge pull request #2161 from ethereum/jsonio-cleanup
chriseth
2017-04-24
2
-8
/
+12
|
\
|
*
Do not fail if parsing failed in StandardCompiler
Alex Beregszaszi
2017-04-24
1
-1
/
+1
|
*
Change error type names to not include spaces
Alex Beregszaszi
2017-04-24
1
-6
/
+6
|
*
Be a bit more verbose and capture Boost exceptions in StandardCompiler
Alex Beregszaszi
2017-04-24
1
-1
/
+5
*
|
Merge pull request #2159 from ethereum/jsonio-source-verify
chriseth
2017-04-24
1
-4
/
+45
|
\
\
|
|
/
|
/
|
|
*
Verify supplied hash in JSON I/O
Alex Beregszaszi
2017-04-24
1
-4
/
+45
*
|
Document that the ReadFileCallback should not emit exceptions
Alex Beregszaszi
2017-04-22
2
-2
/
+4
|
/
*
Changed const reference to value.
chriseth
2017-04-22
1
-1
/
+1
*
Support URL sources in StandardCompiler
Alex Beregszaszi
2017-04-21
2
-3
/
+35
*
Rename ast to legacyAST in StandardCompiler
Alex Beregszaszi
2017-04-21
1
-1
/
+1
*
Ensure the language field is present in the JSON
Alex Beregszaszi
2017-04-21
1
-0
/
+6
*
Pull out collectEVMObject
Alex Beregszaszi
2017-04-21
1
-17
/
+19
*
Enclose local functions in a namespace
Alex Beregszaszi
2017-04-21
1
-0
/
+4
*
Support Why3 in StandardCompiler
Alex Beregszaszi
2017-04-21
1
-0
/
+24
*
Support gas estimates in StandardCompiler
Alex Beregszaszi
2017-04-21
1
-1
/
+1
*
Reject import URLs for now
Alex Beregszaszi
2017-04-21
1
-1
/
+6
*
Support the metadata.useLiteralContent setting
Alex Beregszaszi
2017-04-21
1
-0
/
+3
*
Properly split contract filename and name
Alex Beregszaszi
2017-04-21
1
-3
/
+10
*
Support linkReferences
Alex Beregszaszi
2017-04-21
1
-2
/
+29
*
Support new assembly output
Alex Beregszaszi
2017-04-21
1
-3
/
+4
*
Move opcodes inside the bytecode section
Alex Beregszaszi
2017-04-21
1
-1
/
+2
*
Support methodIdentifiers
Alex Beregszaszi
2017-04-21
1
-1
/
+9
*
Support proper error reporting in StandardCompiler
Alex Beregszaszi
2017-04-21
1
-18
/
+104
*
Refactor formatError
Alex Beregszaszi
2017-04-21
1
-6
/
+19
*
Fail if no sources are given
Alex Beregszaszi
2017-04-21
1
-4
/
+1
*
Support the AST output
Alex Beregszaszi
2017-04-21
1
-1
/
+2
*
Include source mapping identifier
Alex Beregszaszi
2017-04-21
1
-0
/
+10
*
Output legacyAssembly in StandardCompiler
Alex Beregszaszi
2017-04-21
1
-1
/
+12
*
Capture error messages from the JSON parser
Alex Beregszaszi
2017-04-21
1
-2
/
+8
*
Add formatFatalError() to StandardCompiler
Alex Beregszaszi
2017-04-21
1
-0
/
+15
*
Parse remappings in StandardCompiler
Alex Beregszaszi
2017-04-21
1
-0
/
+5
*
Parse libraries in StandardCompiler
Alex Beregszaszi
2017-04-21
1
-0
/
+8
*
Parse optimizer settings in StandardCompiler
Alex Beregszaszi
2017-04-21
1
-3
/
+6
*
Catch exceptions of StandardCompiler
Alex Beregszaszi
2017-04-21
2
-1
/
+15
*
Initial implementation of StandardCompiler
Alex Beregszaszi
2017-04-21
1
-0
/
+132
*
Add StandardCompiler skeleton
Alex Beregszaszi
2017-04-21
2
-0
/
+90
*
Fix source index allocation in CompilerStack. Depending on compiler(optimisat...
Alex Beregszaszi
2017-04-21
1
-1
/
+2
*
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
2
-0
/
+88
*
Merge pull request #2098 from ethereum/sourceformatter
Alex Beregszaszi
2017-04-10
1
-0
/
+11
|
\
|
*
Introduce formatExceptionInformation
Alex Beregszaszi
2017-04-10
1
-0
/
+11
*
|
Pull out ReadFile from CompilerStack
Alex Beregszaszi
2017-04-10
3
-13
/
+50
|
/
*
Rename ErrorMesage to ErrorMessage
Alex Beregszaszi
2017-03-17
2
-3
/
+3
*
Merge pull request #1747 from ethereum/fixICEInternalConstructor
Yoichi Hirai
2017-03-09
1
-1
/
+1
|
\
|
*
Move public constructor property into AST itself.
chriseth
2017-03-06
1
-1
/
+1
*
|
Merge pull request #1699 from ethereum/asmlabels
Yoichi Hirai
2017-03-08
2
-0
/
+10
|
\
\
|
*
|
Analysis refactoring.
chriseth
2017-03-03
2
-0
/
+10
|
|
/
*
|
Merge pull request #1733 from ethereum/selfReferentialConstant
chriseth
2017-03-07
1
-0
/
+9
|
\
\
|
*
|
Check for circular references in constant variables.
chriseth
2017-03-06
1
-0
/
+9
|
|
/
*
/
Error constructor.
chriseth
2017-03-06
2
-2
/
+12
|
/
*
Add line info to serious exceptions.
chriseth
2017-02-25
1
-0
/
+14
*
Extract scopes into compiler stack.
chriseth
2017-02-14
2
-1
/
+5
*
Refactor json return type generation.
chriseth
2017-01-27
2
-20
/
+38
*
Add option to store literal sources in metadata
Alex Beregszaszi
2017-01-26
2
-4
/
+11
*
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
2
-42
/
+61
|
\
|
*
Provide fall-back method for contract lookup
Rhett Aultman
2017-01-17
1
-1
/
+18
|
*
Remove checkLibraryNameClashes()
Rhett Aultman
2017-01-17
2
-37
/
+0
|
*
Remove unique error for contract collision
Rhett Aultman
2017-01-17
1
-39
/
+10
|
*
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
|
*
Only avoid collision if it's the same file
Rhett Aultman
2017-01-17
2
-12
/
+40
|
*
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
*
|
Include SOL_VERSION_COMMIT/SOL_VERSION_PLATFORM in buildinfo.h
Alex Beregszaszi
2017-01-17
1
-1
/
+2
*
|
Store strict version number in metadata (exclude the platform)
Alex Beregszaszi
2017-01-17
3
-1
/
+5
|
/
*
fixed
VoR0220
2017-01-12
1
-2
/
+2
*
added fix and a test for order independence of nested prefixing
VoR0220
2017-01-12
1
-2
/
+2
*
cleanup
VoR0220
2017-01-12
2
-14
/
+15
*
fixed unused filepath bug
VoR0220
2017-01-11
1
-2
/
+1
*
much smaller helper function
VoR0220
2017-01-10
2
-5
/
+5
*
can do this purely on length. Also made prefix filesystem string for more acc...
VoR0220
2017-01-09
1
-27
/
+16
*
fixed test and added solution
VoR0220
2017-01-09
1
-3
/
+26
*
interface: change absolutePath() so that ".dir" is considered as an absolute ...
Yoichi Hirai
2017-01-04
1
-3
/
+3
*
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
|
\
|
*
- 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
2
-3
/
+3
*
Fix type of optimizeRuns
Alex Beregszaszi
2016-12-01
1
-1
/
+1
*
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
2
-24
/
+94
*
Fix licensing headers
VoR0220
2016-11-23
12
-48
/
+48
*
Include payable for the constructor in the ABI
Alex Beregszaszi
2016-11-18
1
-0
/
+1
*
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
*
ABI: Use external function.
chriseth
2016-11-16
1
-2
/
+2
*
Move InterfaceHandler from string to JSON
Alex Beregszaszi
2016-11-15
4
-29
/
+26
*
Do not include a trailing new line in the ABI JSON output
Alex Beregszaszi
2016-11-15
1
-1
/
+4
*
Unimplemented features moved to their own exception (#1361)
Rhett Aultman
2016-11-15
2
-0
/
+7
*
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
2
-2
/
+2
*
Fix problem with release version string.
chriseth
2016-09-08
1
-3
/
+5
*
Reject constant modifier on the fallback function
Alex Beregszaszi
2016-09-06
1
-1
/
+0
*
Test and fixes for payable fallback in ABI.
chriseth
2016-09-06
1
-0
/
+1
*
Do not include the payable keyword for constructors
Alex Beregszaszi
2016-09-06
1
-1
/
+0
*
Support payable keyword for functions
Alex Beregszaszi
2016-09-06
1
-0
/
+2
*
Do not use internal types for event parameters.
chriseth
2016-09-02
1
-1
/
+2
*
fix CompilerStack::absolutePath
Dimitry
2016-09-01
1
-1
/
+1
*
Merge pull request #664 from axic/feature/interface-fallback
chriseth
2016-08-30
1
-1
/
+9
|
\
|
*
Introduce fallback entry in the ABI
Alex Beregszaszi
2016-08-27
1
-1
/
+9
*
|
Merge pull request #941 from chriseth/versionString
Bob Summerwill
2016-08-27
1
-4
/
+2
|
\
\
|
|
/
|
/
|
|
*
Make versioning semver compatible and force commit hash availability.
chriseth
2016-08-26
1
-4
/
+2
*
|
Remove standard contracts
Denton Liu
2016-08-19
2
-30
/
+8
|
/
*
remove solidity --interface
Dimitry
2016-08-17
4
-85
/
+1
*
Source location as part of AST.
chriseth
2016-07-21
2
-2
/
+127
*
Provide formal version in json output.
chriseth
2016-07-19
2
-3
/
+6
*
Allow remappings to change depending on the context.
chriseth
2016-06-09
2
-16
/
+88
*
Make solidity independent from ethcore.
chriseth
2016-04-07
1
-3
/
+1
*
reduce unnecessary solidity:: namespace
Dimitry
2016-04-04
1
-3
/
+3
*
rename namespace for instruction.h/cpp in libevmasm
Dimitry
2016-04-02
1
-3
/
+3
*
Remove code duplication in source references formatter.
chriseth
2016-04-01
2
-32
/
+34
*
Do not use source reference if it is empty.
chriseth
2016-03-31
1
-3
/
+8
*
Parsing for inline assembly.
chriseth
2016-03-30
2
-6
/
+6
*
- inline and assembly keywords added
LianaHus
2016-03-12
2
-5
/
+5
*
BREAKING: Implement delegatecall and make default for library calls.
chriseth
2016-03-12
1
-1
/
+1
*
Merge pull request #356 from guanqun/break-not-in-loop
chriseth
2016-01-21
3
-0
/
+10
|
\
|
*
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
3
-0
/
+10
*
|
Merge pull request #351 from chriseth/autoload
chriseth
2016-01-19
2
-31
/
+76
|
\
\
|
*
|
Build fix for MacOS.
chriseth
2016-01-14
1
-1
/
+1
|
*
|
Autoload files in solc.
chriseth
2016-01-12
2
-31
/
+76
|
|
/
*
|
Set error flag to true.
chriseth
2016-01-14
1
-0
/
+1
*
|
Detect library name clashes.
chriseth
2016-01-14
2
-0
/
+36
|
/
*
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
2
-5
/
+26
*
Source units are independent scopes.
chriseth
2015-12-10
1
-0
/
+6
*
Make members context-sensitive.
chriseth
2015-11-26
1
-1
/
+1
*
Fix: Cope with non-existing commit hash.
chriseth
2015-11-03
1
-1
/
+4
*
Rename error type.
chriseth
2015-10-28
2
-3
/
+3
*
Preliminary why3 code output.
chriseth
2015-10-27
4
-19
/
+41
*
Store docstrings in AST annotations.
chriseth
2015-10-26
4
-334
/
+64
*
File reorganisation.
chriseth
2015-10-21
13
-0
/
+2029