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
Commit message (
Expand
)
Author
Age
Files
Lines
*
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 #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
|
/
/
*
|
Merge pull request #174 from chriseth/docstringInAST
chriseth
2015-10-27
14
-383
/
+540
|
\
\
|
*
|
Fix indent.
chriseth
2015-10-27
1
-3
/
+3
|
*
|
Store docstrings in AST annotations.
chriseth
2015-10-26
14
-383
/
+540
|
/
/
*
|
Merge pull request #172 from LefterisJP/build_with_boost_159
Lefteris Karapetsas
2015-10-26
1
-7
/
+27
|
\
\
|
*
|
Allow building with new boost version 1.59
Lefteris Karapetsas
2015-10-25
1
-7
/
+27
|
/
/
*
|
Merge pull request #171 from LianaHus/sol_change_expected_error_in_parser
chriseth
2015-10-23
1
-3
/
+19
|
\
\
|
*
|
more corrections
LianaHus
2015-10-23
1
-4
/
+14
|
*
|
modified error msg
LianaHus
2015-10-23
1
-1
/
+7
*
|
|
Merge pull request #170 from chriseth/warningFix
chriseth
2015-10-23
1
-1
/
+1
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Fix override warning.
chriseth
2015-10-23
1
-1
/
+1
|
/
/
*
|
Merge pull request #163 from chriseth/fileReorg
chriseth
2015-10-22
74
-199
/
+205
|
\
\
|
|
/
|
/
|
|
*
File reorganisation.
chriseth
2015-10-21
74
-199
/
+205
|
/
*
Merge pull request #146 from chriseth/version
chriseth
2015-10-16
1
-1
/
+1
|
\
|
*
Increment version to 0.1.6
chriseth
2015-10-16
1
-1
/
+1
|
/
*
Merge pull request #145 from chriseth/parsingAmbiguityIndexAccess
chriseth
2015-10-16
4
-27
/
+99
|
\
|
*
Correctly parse ambiguities like `A.B[10] x` and `x.y[10] = 3`.
chriseth
2015-10-16
4
-27
/
+99
|
/
*
Merge pull request #143 from chriseth/loneStructArray
chriseth
2015-10-16
2
-0
/
+25
|
\
|
*
Fix errors when struct array type is used on its own.
chriseth
2015-10-16
2
-0
/
+25
*
|
Merge pull request #142 from chriseth/fixWarnings
chriseth
2015-10-16
1
-1
/
+1
|
\
\
|
*
|
Fix warning.
chriseth
2015-10-16
1
-1
/
+1
|
|
/
*
|
Merge pull request #141 from chriseth/fixExternalTypes
chriseth
2015-10-16
1
-14
/
+11
|
\
\
|
*
|
Do not include function in interface list if there are errors.
chriseth
2015-10-16
1
-14
/
+11
|
|
/
*
|
Merge pull request #144 from chriseth/doNotCatchInternalErrors
chriseth
2015-10-16
4
-9
/
+15
|
\
\
|
|
/
|
/
|
|
*
Do not catch InternalCompilerErrors as part of fatal error handling.
chriseth
2015-10-16
4
-9
/
+15
|
/
*
Merge pull request #132 from chriseth/tupleExpression
chriseth
2015-10-16
23
-112
/
+672
|
\
|
*
Fixed indentation.
chriseth
2015-10-16
1
-2
/
+3
|
*
Some fixes taking other pull requests into account.
chriseth
2015-10-16
3
-12
/
+7
|
*
MacOS fix.
chriseth
2015-10-15
1
-2
/
+2
|
*
Fix compiler warnings.
chriseth
2015-10-15
1
-1
/
+3
|
*
Wildcards.
chriseth
2015-10-15
5
-33
/
+35
|
*
Destructuring assignments.
chriseth
2015-10-15
11
-105
/
+389
|
*
Tuple expressions.
chriseth
2015-10-15
17
-18
/
+294
*
|
Merge pull request #139 from chriseth/multiJson
chriseth
2015-10-16
1
-1
/
+1
|
\
\
|
*
|
Do not forget to export the new symbol.
chriseth
2015-10-16
1
-1
/
+1
*
|
|
Merge pull request #135 from chriseth/multiJson
chriseth
2015-10-16
1
-11
/
+47
|
\
|
|
|
*
|
Style.
chriseth
2015-10-16
1
-5
/
+5
|
*
|
Multiple sources for json compiler.
chriseth
2015-10-16
1
-9
/
+45
|
|
/
*
|
Merge pull request #136 from LianaHus/sol_error_types_refuctoring
chriseth
2015-10-16
1
-9
/
+3
|
\
\
|
|
/
|
/
|
|
*
changed the way of reporting error during contract checking
LianaHus
2015-10-16
1
-9
/
+3
*
|
Merge pull request #130 from LefterisJP/dynamic_array_push
chriseth
2015-10-15
4
-24
/
+135
|
\
\
|
*
|
push() for byte arrays also properly implemented
Lefteris Karapetsas
2015-10-15
2
-13
/
+16
|
*
|
Working implementation of arraypush
Lefteris Karapetsas
2015-10-15
2
-14
/
+31
|
*
|
Implement Dynamic array push and fix test
Lefteris Karapetsas
2015-10-15
4
-21
/
+79
|
*
|
WIP - Expression compiler for array push
Lefteris Karapetsas
2015-10-15
1
-15
/
+31
|
*
|
Add a dynamic array push() test
Lefteris Karapetsas
2015-10-15
1
-0
/
+17
[next]