index
:
dexon-solidity
develop
release
DEXON fork of Solidity (https://github.com/dexon-foundation/dsolidity)
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
*
[cond-expr] add one doc about conditional expression
Lu Guanqun
2016-01-23
1
-1
/
+1
*
[cond-expr] don't allow conditional as left value for the first stage
Lu Guanqun
2016-01-23
3
-61
/
+29
*
[cond-expr] fixup according to code review
Lu Guanqun
2016-01-23
4
-6
/
+24
*
[cond-expr] change endVisit() to visit()
Lu Guanqun
2016-01-23
2
-30
/
+41
*
[cond-expr] make the codegen one instruction less
Lu Guanqun
2016-01-23
1
-5
/
+4
*
comment out one un-supported test case
Lu Guanqun
2016-01-23
1
-0
/
+2
*
[cond-expr] fix the crash in ExpressionStatement
Lu Guanqun
2016-01-23
1
-0
/
+5
*
fixup end to end test
Lu Guanqun
2016-01-23
1
-1
/
+1
*
[cond-expr] add another parser expression
Lu Guanqun
2016-01-23
1
-0
/
+1
*
[cond-expr] support conditional expression as lvalue
Lu Guanqun
2016-01-23
1
-0
/
+8
*
[cond-expr] add test cases for type resolution
Lu Guanqun
2016-01-23
1
-0
/
+24
*
[cond-expr] add end to end test
Lu Guanqun
2016-01-23
1
-0
/
+58
*
[cond-expr] generate assembly for _ ? _ : _
Lu Guanqun
2016-01-23
2
-0
/
+16
*
[cond-expr] add type checker
Lu Guanqun
2016-01-23
2
-0
/
+28
*
[cond-expr] add parser test cases
Lu Guanqun
2016-01-23
1
-0
/
+80
*
[cond-expr] parse _ ? _ : _ into conditional AST node
Lu Guanqun
2016-01-23
1
-6
/
+19
*
[cond-expr] add visitor related functions
Lu Guanqun
2016-01-23
5
-0
/
+32
*
[cond-expr] add an AST node
Lu Guanqun
2016-01-23
3
-0
/
+50
*
Merge pull request #356 from guanqun/break-not-in-loop
chriseth
2016-01-21
7
-12
/
+197
|
\
|
*
remove the unused line
Lu Guanqun
2016-01-19
1
-1
/
+0
|
*
add another test case for continue not in loop
Lu Guanqun
2016-01-19
2
-4
/
+19
|
*
code changes according to Chris's comments
Lu Guanqun
2016-01-19
3
-20
/
+16
|
*
check whether break/continue is in the loop
Lu Guanqun
2016-01-15
8
-12
/
+187
*
|
Merge pull request #351 from chriseth/autoload
chriseth
2016-01-19
3
-32
/
+88
|
\
\
|
*
|
Build fix for MacOS.
chriseth
2016-01-14
1
-1
/
+1
|
*
|
Autoload files in solc.
chriseth
2016-01-12
3
-32
/
+88
*
|
|
Merge pull request #358 from chriseth/fix_storage
chriseth
2016-01-18
1
-0
/
+21
|
\
\
\
|
*
|
|
Test for incorrect storage access.
chriseth
2016-01-16
1
-0
/
+21
*
|
|
|
Merge pull request #347 from chriseth/libraryNameClashes
chriseth
2016-01-18
4
-2
/
+53
|
\
\
\
\
|
*
|
|
|
Set error flag to true.
chriseth
2016-01-14
1
-0
/
+1
|
*
|
|
|
Detect library name clashes.
chriseth
2016-01-14
3
-2
/
+36
|
*
|
|
|
Tests for library name clashes.
chriseth
2016-01-14
1
-0
/
+16
|
|
/
/
/
*
|
|
|
Merge pull request #359 from LianaHus/sol_only_one_array_as_state_var
chriseth
2016-01-18
3
-6
/
+25
|
\
\
\
\
|
*
|
|
|
Update TypeChecker.cpp
Liana Husikyan
2016-01-16
1
-0
/
+2
|
*
|
|
|
Update SolidityNameAndTypeResolution.cpp
Liana Husikyan
2016-01-16
1
-1
/
+0
|
*
|
|
|
Update SolidityNameAndTypeResolution.cpp
Liana Husikyan
2016-01-16
1
-1
/
+0
|
*
|
|
|
fixed assert on EI creation for structs containing only mapping or arrays
LianaHus
2016-01-16
3
-6
/
+25
*
|
|
|
|
Merge pull request #357 from ethereum/unnecesary-move
chriseth
2016-01-15
1
-1
/
+1
|
\
\
\
\
\
|
|
/
/
/
/
|
/
|
|
|
|
|
*
|
|
|
Remove unnecesary std::move
Paweł Bylica
2016-01-15
1
-1
/
+1
|
/
/
/
/
*
|
|
|
Merge pull request #306 from pipermerriam/piper/flesh-out-naming-conventions
chriseth
2016-01-14
2
-1
/
+97
|
\
\
\
\
|
*
|
|
|
fix spelling and heading title
Piper Merriam
2016-01-07
1
-3
/
+3
|
*
|
|
|
use mixedCase
Piper Merriam
2015-12-17
1
-9
/
+4
|
*
|
|
|
Flesh out naming convention section of docs
Piper Merriam
2015-12-17
2
-1
/
+102
*
|
|
|
|
Merge pull request #348 from chriseth/importDocs
chriseth
2016-01-14
1
-12
/
+66
|
\
\
\
\
\
|
|
_
|
/
/
/
|
/
|
|
|
|
|
*
|
|
|
Some more clarifications about remappings.
chriseth
2016-01-14
1
-3
/
+19
|
*
|
|
|
Extended documentation about imports.
chriseth
2016-01-14
1
-12
/
+50
|
|
|
_
|
/
|
|
/
|
|
*
|
|
|
Merge pull request #346 from chriseth/importAliases
chriseth
2016-01-14
4
-16
/
+81
|
\
\
\
\
|
|
/
/
/
|
/
|
|
|
|
*
|
|
Allow aliases during import.
chriseth
2016-01-11
4
-16
/
+81
|
|
|
/
|
|
/
|
*
|
|
Merge pull request #345 from VoR0220/develop
chriseth
2016-01-13
5
-30
/
+293
|
\
\
\
|
*
|
|
clarification on dynamic arrays, switcheroo on typepointer, and a documentati...
RJ Catalano
2016-01-12
4
-4
/
+21
|
*
|
|
forgot to take the auto tabs off...turned into spaces
RJ Catalano
2016-01-12
1
-1
/
+1
|
*
|
|
Merge branch 'develop' of https://github.com/ethereum/solidity into develop
RJ Catalano
2016-01-12
1
-0
/
+3
|
|
\
|
|
|
*
|
|
added documentation and one last test for struct creation inline
RJ Catalano
2016-01-12
2
-1
/
+19
|
*
|
|
final changes to typechecker, the expression compiler, and a couple more test...
RJ Catalano
2016-01-12
3
-23
/
+57
|
*
|
|
one last test for long strings
RJ Catalano
2016-01-11
1
-0
/
+15
|
*
|
|
Update SolidityNameAndTypeResolution.cpp
RJ
2016-01-11
1
-1
/
+0
|
*
|
|
Update ExpressionCompiler.cpp
RJ
2016-01-11
1
-14
/
+16
|
*
|
|
Update ExpressionCompiler.cpp
RJ
2016-01-11
1
-4
/
+2
|
*
|
|
Update SolidityEndToEndTest.cpp
RJ
2016-01-11
1
-7
/
+18
|
*
|
|
Update SolidityEndToEndTest.cpp
RJ
2016-01-10
1
-0
/
+70
|
*
|
|
Update ExpressionCompiler.cpp
RJ
2016-01-10
1
-17
/
+39
|
*
|
|
find common type
RJ
2016-01-10
1
-2
/
+11
|
*
|
|
Update with type resolution tests for arrays
RJ
2016-01-10
1
-8
/
+76
*
|
|
|
Merge pull request #350 from ethereum/chriseth-patch-1
chriseth
2016-01-13
1
-1
/
+1
|
\
\
\
\
|
|
_
|
/
/
|
/
|
|
|
|
*
|
|
Refund actual deposit, and not bid value.
chriseth
2016-01-12
1
-1
/
+1
|
/
/
/
*
|
|
Merge pull request #342 from chriseth/fix_crash
chriseth
2016-01-11
1
-0
/
+3
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Fixed a crash during type checking.
chriseth
2016-01-08
1
-0
/
+3
|
/
/
*
|
Merge pull request #338 from guanqun/add_paren
chriseth
2016-01-05
4
-2
/
+26
|
\
\
|
*
|
add a test case for decayed tuple expression as left value
Lu Guanqun
2016-01-04
2
-0
/
+16
|
*
|
support decayed tuple expression as left value
Lu Guanqun
2016-01-04
2
-2
/
+10
*
|
|
Merge pull request #331 from u2/doc_fix2
chriseth
2016-01-04
1
-192
/
+192
|
\
\
\
|
*
|
|
docs: code sytle
u2
2015-12-30
1
-192
/
+192
|
|
/
/
*
|
|
Merge pull request #329 from guanqun/patch-2
chriseth
2016-01-04
1
-1
/
+1
|
\
\
\
|
*
|
|
[docs]: change unsupported underscore to start
Lu Guanqun
2015-12-30
1
-1
/
+1
|
|
/
/
*
|
|
Merge pull request #328 from guanqun/patch-1
chriseth
2016-01-04
1
-1
/
+1
|
\
\
\
|
*
|
|
[docs]: add an ending period
Lu Guanqun
2015-12-30
1
-1
/
+1
|
|
/
/
*
|
|
Merge pull request #317 from chriseth/pathsEverywhere
chriseth
2016-01-04
6
-24
/
+27
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Use paths instead of simple identifiers wherever possible.
chriseth
2015-12-22
6
-24
/
+27
*
|
|
Merge pull request #316 from chriseth/docs
chriseth
2015-12-22
2
-40
/
+44
|
\
|
|
|
*
|
Fixes in the misc section.
chriseth
2015-12-21
2
-40
/
+44
*
|
|
Merge pull request #312 from ethers/patch-4
chriseth
2015-12-21
1
-0
/
+10
|
\
\
\
|
*
|
|
sending value to an overloaded function
ethers
2015-12-19
1
-0
/
+10
|
|
/
/
*
|
|
Merge pull request #308 from chriseth/fixoverloadbug
chriseth
2015-12-21
2
-0
/
+13
|
\
\
\
|
*
|
|
Fix bug preventing overloads of different array types.
chriseth
2015-12-18
2
-0
/
+13
*
|
|
|
Merge pull request #309 from chriseth/fix_cross_contract_enum_access
chriseth
2015-12-21
4
-14
/
+59
|
\
\
\
\
|
|
_
|
/
/
|
/
|
|
|
|
*
|
|
Add structs and enums to contract types.
chriseth
2015-12-18
4
-14
/
+59
|
|
/
/
*
|
|
Merge pull request #311 from guanqun/correct-boolean-literal-position
chriseth
2015-12-19
1
-0
/
+1
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
correct true/false literal's source
Lu Guanqun
2015-12-18
1
-0
/
+1
*
|
|
Merge pull request #304 from chriseth/imp
chriseth
2015-12-18
13
-58
/
+240
|
\
\
\
|
*
|
|
Simple aliasing during import.
chriseth
2015-12-18
10
-52
/
+148
|
*
|
|
Parse complex import directives.
chriseth
2015-12-18
7
-28
/
+114
|
/
/
/
*
|
|
Merge pull request #307 from VoR0220/develop
chriseth
2015-12-18
1
-1
/
+3
|
\
\
\
|
*
|
|
Update installing-solidity.rst
RJ
2015-12-18
1
-1
/
+1
|
*
|
|
Update installing-solidity.rst
RJ
2015-12-18
1
-1
/
+1
|
*
|
|
update with OS X specific instructions on installation
RJ Catalano
2015-12-18
1
-1
/
+1
|
|
\
\
\
|
|
/
/
/
|
/
|
|
|
*
|
|
|
Merge pull request #300 from ethereum/noevmjit
chriseth
2015-12-17
1
-1
/
+1
|
\
\
\
\
|
*
|
|
|
Add -EVMJIT=0
chriseth
2015-12-15
1
-1
/
+1
*
|
|
|
|
Merge pull request #305 from VoR0220/inlineArrays
chriseth
2015-12-17
5
-11
/
+94
|
\
\
\
\
\
|
|
_
|
_
|
_
|
/
|
/
|
|
|
|
|
*
|
|
|
changed error message
RJ Catalano
2015-12-17
1
-1
/
+1
|
|
|
*
|
new doc
RJ Catalano
2015-12-18
1
-1
/
+3
|
|
|
/
/
|
|
/
|
|
|
*
|
|
updated tests and much simpler algorithm for parsing errors
RJ Catalano
2015-12-17
2
-28
/
+14
|
*
|
|
Merge branch 'inlineArrays' into develop
RJ Catalano
2015-12-17
5
-11
/
+108
|
|
\
\
\
|
|
*
|
|
added one more test and realized that there was one last change before the pa...
RJ Catalano
2015-12-17
2
-6
/
+33
|
|
*
|
|
forgot about this one...again making this purely about parsing...typechecking...
RJ Catalano
2015-12-17
1
-2
/
+2
|
|
*
|
|
making this purely about parsing...type checking will go in a different PR
RJ Catalano
2015-12-17
1
-2
/
+2
|
|
*
|
|
Parsing is complete
RJ Catalano
2015-12-17
1
-3
/
+3
|
|
*
|
|
changed a couple of small nuances, made an attempt at fixing the parsing in t...
RJ Catalano
2015-12-17
3
-18
/
+28
|
|
*
|
|
temporary assert added
RJ Catalano
2015-12-17
1
-0
/
+1
|
|
*
|
|
still not able to get types resolved, however it is compiling
RJ Catalano
2015-12-16
1
-2
/
+9
|
|
*
|
|
new tests
RJ Catalano
2015-12-16
2
-1
/
+26
|
|
*
|
|
now is compiling and passing soltest...but I think there may be a few more th...
RJ Catalano
2015-12-16
2
-5
/
+9
|
|
*
|
|
fixed case statements
RJ Catalano
2015-12-16
2
-1
/
+3
|
|
*
|
|
changing Tuple Constructor
RJ Catalano
2015-12-16
1
-2
/
+5
|
|
*
|
|
updated attempt...still a bit more work to do but here's what's current
RJ Catalano
2015-12-16
2
-2
/
+4
|
|
|
\
\
\
|
|
|
*
|
|
Inline array declarations complete
RJ Catalano
2015-12-15
3
-2
/
+52
|
|
|
|
/
/
|
|
*
/
/
updated attempt, a couple of more things to sort through and change
RJ Catalano
2015-12-16
2
-4
/
+20
|
|
/
/
/
|
/
|
|
|
|
*
|
|
Merge branch 'develop' of github.com:VoR0220/solidity into develop
RJ Catalano
2015-12-16
0
-0
/
+0
|
/
|
|
|
|
*
|
|
Merge pull request #1 from ethereum/develop
RJ
2015-12-15
11
-91
/
+294
|
|
\
|
|
*
|
|
|
Merge pull request #288 from chriseth/import_contexts
chriseth
2015-12-15
12
-75
/
+288
|
\
\
\
\
|
|
_
|
/
/
|
/
|
|
|
|
*
|
|
Style.
chriseth
2015-12-15
1
-4
/
+4
|
*
|
|
Relative paths in import directives.
chriseth
2015-12-10
7
-9
/
+67
|
*
|
|
Source units are independent scopes.
chriseth
2015-12-10
9
-55
/
+204
|
*
|
|
Bugfix concerning pointers to moved data.
chriseth
2015-12-08
2
-21
/
+27
|
|
/
/
*
|
|
Merge pull request #299 from chriseth/documentPrivate
chriseth
2015-12-15
1
-0
/
+7
|
\
\
\
|
|
_
|
/
|
/
|
|
|
*
|
Note about private note being invisible.
chriseth
2015-12-14
1
-0
/
+7
|
/
/
*
|
Merge pull request #296 from chriseth/solidityHighlighting
chriseth
2015-12-11
2
-2
/
+91
|
\
\
|
*
|
Pygments highlighting rules for Solidity.
chriseth
2015-12-11
2
-2
/
+91
|
/
/
*
|
Merge pull request #289 from chriseth/fix_base_constructor_params
chriseth
2015-12-10
1
-0
/
+3
|
\
\
|
*
|
Fix: Type checker crash for wrong number of base constructor arguments.
chriseth
2015-12-10
1
-0
/
+3
|
|
/
*
|
Merge pull request #290 from chriseth/fix_gas_iterator
chriseth
2015-12-10
4
-10
/
+10
|
\
\
|
*
|
Fix: Segfaults connected to paramater types.
chriseth
2015-12-10
4
-10
/
+10
|
|
/
*
|
Merge pull request #293 from chriseth/doc_index
chriseth
2015-12-10
2
-9
/
+169
|
\
\
|
*
|
Added build guide.
chriseth
2015-12-10
2
-42
/
+140
|
*
|
Improved index page.
chriseth
2015-12-10
1
-9
/
+29
|
*
|
Update for_Ze_Devs.md
RJ
2015-12-10
1
-5
/
+16
|
*
|
Update for_Ze_Devs.md
RJ
2015-12-10
1
-2
/
+2
|
*
|
Update for_Ze_Devs.md
RJ
2015-12-10
1
-1
/
+1
|
*
|
Create for_Ze_Devs.md
RJ
2015-12-10
1
-0
/
+31
|
|
/
*
|
Merge pull request #294 from chriseth/newfaq
chriseth
2015-12-10
1
-0
/
+14
|
\
\
|
*
|
Overflow check.
chriseth
2015-12-10
1
-0
/
+14
|
|
/
*
|
Merge pull request #295 from chriseth/removedocker
chriseth
2015-12-10
1
-70
/
+0
|
\
\
|
|
/
|
/
|
|
*
Removed obsolete dockerfile.
chriseth
2015-12-10
1
-70
/
+0
|
/
*
Merge pull request #286 from ethereum/readme
chriseth
2015-12-08
1
-1
/
+1
|
\
|
*
Update README.md
chriseth
2015-12-08
1
-1
/
+1
|
/
*
Merge pull request #285 from chriseth/docs
chriseth
2015-12-08
4
-1
/
+15
|
\
|
*
Added some lost changes.
chriseth
2015-12-08
3
-1
/
+14
|
*
Add pdf config.
chriseth
2015-12-08
1
-0
/
+1
|
/
*
Merge pull request #282 from chriseth/docs
chriseth
2015-12-08
17
-0
/
+5229
|
\
|
*
Imported documentation.
chriseth
2015-12-08
17
-0
/
+5229
|
/
*
Merge pull request #279 from doublethinkco/develop
chriseth
2015-12-06
1
-1
/
+1
|
\
|
*
Fix a "Solidity::solidity" dependency edge in the CMake file for soltest, whi...
Bob Summerwill
2015-12-06
1
-1
/
+1
|
/
*
Merge pull request #274 from doublethinkco/cmake_fixes
Lefteris Karapetsas
2015-12-04
1
-2
/
+2
|
\
|
*
Merge pull request #1 from LefterisJP/cmake_fixes
Bob Summerwill
2015-12-04
1
-1
/
+1
|
|
\
|
|
*
Fix the build - library is not a module
Lefteris Karapetsas
2015-12-04
1
-1
/
+1
|
|
/
|
*
Alternative case-consistency fix for libsolidity. Just using fully-qualifie...
Bob Summerwill
2015-12-04
2
-4
/
+4
|
*
Corrected case for Solidity library entry in CMake file.
Bob Summerwill
2015-12-03
1
-1
/
+1
*
|
Merge pull request #265 from chriseth/version
chriseth
2015-12-01
2
-2
/
+2
|
\
\
|
*
|
Increment version to 0.2.0 (includes breaking changes).
chriseth
2015-12-01
2
-2
/
+2
|
/
/
*
|
Merge pull request #262 from chriseth/bind_codegeneration
chriseth
2015-12-01
3
-4
/
+161
|
\
\
|
*
|
Code generation for calling bound methods.
chriseth
2015-12-01
3
-4
/
+161
|
/
/
*
|
Merge pull request #261 from chriseth/dataloc
chriseth
2015-12-01
1
-20
/
+24
|
\
\
|
*
|
Bugfix for explicit memory types in libraries.
chriseth
2015-12-01
1
-20
/
+24
*
|
|
Merge pull request #260 from chriseth/stackrotation
chriseth
2015-12-01
2
-8
/
+27
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Simplify and optimise stack rotation.
chriseth
2015-12-01
2
-8
/
+27
|
/
/
*
|
Merge pull request #251 from chriseth/bind2
chriseth
2015-11-30
16
-292
/
+605
|
\
\
|
*
|
Also check the object type for bound functions.
chriseth
2015-11-29
5
-9
/
+68
|
*
|
Add bound functions to types.
chriseth
2015-11-29
6
-204
/
+353
|
*
|
Added the `using x for y` directive.
chriseth
2015-11-27
10
-3
/
+124
|
*
|
Resolve type names using regular AST visit.
chriseth
2015-11-27
2
-82
/
+66
|
|
/
*
|
Merge pull request #256 from chriseth/selfdestruct
chriseth
2015-11-30
5
-5
/
+23
|
\
\
|
*
|
Introduce selfdestruct alias for suicide.
chriseth
2015-11-29
5
-5
/
+23
|
|
/
*
|
Merge pull request #257 from chriseth/fixConstructorFixedArray
chriseth
2015-11-30
2
-5
/
+30
|
\
\
|
|
/
|
/
|
|
*
Bugfix for constructor unpacking with fixed-size arrays.
chriseth
2015-11-29
2
-5
/
+30
|
/
*
Merge pull request #246 from chriseth/refactor
chriseth
2015-11-27
21
-247
/
+189
|
\
|
*
Convert filter to template function.
chriseth
2015-11-27
2
-60
/
+20
|
*
Invalidate cached members if scope changes.
chriseth
2015-11-26
2
-1
/
+3
|
*
Fix smart pointer lifetime issue in tests.
chriseth
2015-11-26
1
-16
/
+15
|
*
Do not store elements of a contract by AST node type.
chriseth
2015-11-26
14
-152
/
+141
|
*
Make members context-sensitive.
chriseth
2015-11-26
14
-79
/
+71
|
/
*
Merge pull request #222 from chriseth/newArrays
chriseth
2015-11-26
16
-55
/
+258
|
\
|
*
Fix MSVC errors and warnings.
chriseth
2015-11-26
4
-6
/
+7
|
*
Make some functions const.
chriseth
2015-11-26
2
-4
/
+4
|
*
Code generation for creating arrays.
chriseth
2015-11-26
4
-9
/
+111
|
*
Type checking for creating new arrays.
chriseth
2015-11-26
5
-7
/
+67
|
*
Allow "new expressions" also for general type names.
chriseth
2015-11-26
9
-35
/
+75
|
/
*
Merge pull request #249 from chriseth/fixemscripten
chriseth
2015-11-26
1
-1
/
+1
|
\
|
*
Fix solidity dependencies.
chriseth
2015-11-26
1
-1
/
+1
|
/
*
Merge pull request #239 from chriseth/why3Fix
chriseth
2015-11-26
2
-26
/
+35
|
\
|
*
Style.
chriseth
2015-11-25
1
-1
/
+2
|
*
Again some why3 fixes with regards to separators in blocks.
chriseth
2015-11-25
2
-26
/
+34
|
/
*
Merge pull request #245 from chriseth/buildfixes
chriseth
2015-11-25
1
-1
/
+1
|
\
|
*
Build dependency fixes.
chriseth
2015-11-24
1
-1
/
+1
*
|
Merge pull request #248 from ethereum/hot_gav
Gav Wood
2015-11-25
0
-0
/
+0
|
\
\
|
*
\
Merge remote-tracking branch 'orig/develop' into hot_gav
Gav Wood
2015-11-23
16
-228
/
+493
|
|
\
\
*
|
\
\
Merge pull request #244 from chriseth/fix_stringAlloc
chriseth
2015-11-24
7
-14
/
+39
|
\
\
\
\
|
|
_
|
_
|
/
|
/
|
|
|
|
*
|
|
Fixed string inside struct allocation bug.
chriseth
2015-11-24
6
-14
/
+8
|
*
|
|
Test for allocation bug.
chriseth
2015-11-24
1
-0
/
+31
|
|
|
/
|
|
/
|
*
|
|
Merge pull request #241 from chriseth/why3VariablesInConditions
chriseth
2015-11-24
2
-18
/
+114
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Style.
chriseth
2015-11-23
1
-2
/
+5
|
*
|
addmod and mulmod for why3.
chriseth
2015-11-23
1
-17
/
+36
|
*
|
Why3: Direct references to variables using `#`.
chriseth
2015-11-23
2
-1
/
+75
*
|
|
Merge pull request #236 from ethereum/hot_gav
Gav Wood
2015-11-23
6
-15
/
+18
|
\
\
\
|
|
/
/
|
/
|
/
|
|
/
|
*
Fix up for new API from EIP-1.1.
Gav Wood
2015-11-21
6
-15
/
+18
*
|
Merge remote-tracking branch 'origin/hot_gav' into develop
Gav Wood
2015-11-20
1
-1
/
+5
|
\
|
|
*
Fix solidity tests.
Gav Wood
2015-11-20
1
-1
/
+5
*
|
Merge pull request #229 from chriseth/fv_storage_types
chriseth
2015-11-19
2
-20
/
+70
|
\
\
|
*
|
Formal Verification: State variables.
chriseth
2015-11-19
2
-20
/
+70
*
|
|
Merge pull request #227 from chriseth/addmod
chriseth
2015-11-19
4
-0
/
+38
|
\
\
\
|
*
|
|
Addmod and mulmod.
chriseth
2015-11-19
4
-0
/
+38
|
|
/
/
*
|
|
Merge pull request #204 from ethereum/hot_gav
Gav Wood
2015-11-19
3
-4
/
+7
|
\
\
\
|
|
/
/
|
/
|
/
|
|
/
|
*
Minor API change - must provide SealEngine to Executive now.
Gav Wood
2015-11-19
1
-2
/
+4
|
*
Fix tests for new API.
Gav Wood
2015-11-17
1
-1
/
+1
|
*
Merge branch 'hot_gav' of https://github.com/ethereum/solidity into hot_gav
Gav Wood
2015-11-06
0
-0
/
+0
|
|
\
|
|
*
New vocab.
Gav Wood
2015-10-20
1
-1
/
+1
|
*
|
Fixups for new API.
Gav Wood
2015-11-06
1
-1
/
+2
|
*
|
New vocab.
Gav Wood
2015-11-06
1
-1
/
+1
*
|
|
Merge pull request #221 from chriseth/version
chriseth
2015-11-17
1
-1
/
+1
|
\
\
\
|
*
|
|
Increment version to 0.1.7
chriseth
2015-11-17
1
-1
/
+1
|
/
/
/
*
|
|
Merge pull request #218 from chriseth/fix_overwriteMemory
chriseth
2015-11-17
2
-3
/
+28
|
\
\
\
|
*
|
|
Fix memory overwrite problem for arrays.
chriseth
2015-11-17
2
-3
/
+28
*
|
|
|
Merge pull request #216 from chriseth/dynamic_indexed_event_args
chriseth
2015-11-17
2
-5
/
+53
|
\
\
\
\
|
*
|
|
|
Fix dynamic indexed event arguments - applies sha3.
chriseth
2015-11-17
2
-5
/
+53
|
|
/
/
/
*
|
|
|
Merge pull request #214 from chriseth/fix_optimizerTest
chriseth
2015-11-17
1
-1
/
+5
|
\
\
\
\
|
*
|
|
|
Test fix: Do not increment iterator past end.
chriseth
2015-11-16
1
-1
/
+5
|
|
/
/
/
*
|
|
|
Merge pull request #213 from chriseth/fix_testLeak
chriseth
2015-11-17
1
-1
/
+1
|
\
\
\
\
|
|
/
/
/
|
/
|
|
|
|
*
|
|
Fix segfault during test.
chriseth
2015-11-16
1
-1
/
+1
|
/
/
/
*
|
|
Merge pull request #211 from chriseth/fix_successor
chriseth
2015-11-16
1
-0
/
+10
|
\
\
\
|
*
|
|
Work around bug in MSVC/Boost for u256->unsigned conversion.
chriseth
2015-11-16
1
-0
/
+10
|
/
/
/
*
|
|
Merge pull request #209 from chriseth/formal
chriseth
2015-11-13
3
-21
/
+48
|
\
\
\
|
*
|
|
Fix problems with statement blocks.
chriseth
2015-11-11
3
-21
/
+48
|
/
/
/
*
|
|
Merge pull request #195 from LianaHus/sol_remove_exc_from_ref_resolver
chriseth
2015-11-08
6
-176
/
+239
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
style fix
LianaHus
2015-11-07
2
-12
/
+14
|
*
|
style fixes
LianaHus
2015-11-07
4
-27
/
+28
|
*
|
fixed test framework
LianaHus
2015-11-07
3
-27
/
+28
|
*
|
fix
LianaHus
2015-11-07
3
-35
/
+60
|
*
|
fixed return valu for resolver
LianaHus
2015-11-07
2
-5
/
+5
|
*
|
added SourceLocations to error reporting for ReferenceResolver
LianaHus
2015-11-07
2
-15
/
+18
|
*
|
passed SourceLocations instead of nodes to the error reporting function
LianaHus
2015-11-07
5
-109
/
+116
|
*
|
fixed build
LianaHus
2015-11-07
1
-3
/
+4
|
*
|
added errors tu ReferencesResolver
LianaHus
2015-11-07
3
-55
/
+78
|
/
/
*
|
Merge pull request #192 from ethers/patch-2
chriseth
2015-11-03
1
-1
/
+1
|
\
\
|
*
|
update link to tutorial
ethers
2015-11-03
1
-1
/
+1
|
/
/
*
|
Merge pull request #188 from chriseth/fix_copeWithNonExistingCommitHash
chriseth
2015-11-03
1
-1
/
+4
|
\
\
|
*
|
Fix: Cope with non-existing commit hash.
chriseth
2015-11-03
1
-1
/
+4
|
/
/
*
|
Merge pull request #185 from chriseth/fix_strings_in_tuples
chriseth
2015-11-03
3
-2
/
+26
|
\
\
|
*
|
Bugfix: Returning literal strings in tuples.
chriseth
2015-11-01
3
-2
/
+26
*
|
|
Merge pull request #176 from chriseth/why3
chriseth
2015-10-28
16
-108
/
+856
|
\
|
|
|
*
|
Rename error type.
chriseth
2015-10-28
3
-4
/
+4
|
*
|
Preliminary why3 code output.
chriseth
2015-10-27
9
-44
/
+730
|
*
|
Allow docstrings for statements.
chriseth
2015-10-27
7
-64
/
+126
|
/
/
[next]