Skip to content

Commit

Permalink
Initialize The Solidity Programming Language
Browse files Browse the repository at this point in the history
  • Loading branch information
elementrem committed Aug 14, 2016
0 parents commit 7163e54
Show file tree
Hide file tree
Showing 265 changed files with 68,914 additions and 0 deletions.
40 changes: 40 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -0,0 +1,40 @@
# Compiled Object files
*.slo
*.lo
*.o
*.obj

# Precompiled Headers
*.gch
*.pch

# Compiled Dynamic libraries
*.so
*.dylib
*.dll

# Fortran module files
*.mod

# Compiled Static libraries
*.lai
*.la
*.a
*.lib

# Executables
*.exe
*.out
*.app

# Build directory
build/
docs/_build
docs/utils/__pycache__

# vim stuff
*.swp

# IDE files
.idea
browse.VC.db
3 changes: 3 additions & 0 deletions .gitmodules
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
[submodule "deps"]
path = deps
url = https://github.com/elementrem/cpp-dependencies
41 changes: 41 additions & 0 deletions CMakeLists.txt
Original file line number Diff line number Diff line change
@@ -0,0 +1,41 @@
cmake_minimum_required(VERSION 3.0.0)

set(ETH_CMAKE_DIR "${CMAKE_CURRENT_LIST_DIR}/cmake" CACHE PATH "The the path to the cmake directory")
list(APPEND CMAKE_MODULE_PATH ${ETH_CMAKE_DIR})

# Set cmake_policies
include(EthPolicy)
eth_policy()

# project name and version should be set after cmake_policy CMP0048
set(PROJECT_VERSION "0.3.6")
project(solidity VERSION ${PROJECT_VERSION})

# Let's find our dependencies
include(EthDependencies)

# Figure out what compiler and system are we using
include(EthCompilerSettings)

# Include helper macros
include(EthExecutableHelper)

# Include utils
include(EthUtils)

include(EthOptions)
configure_project(TESTS)

add_subdirectory(libdevcore)
add_subdirectory(libevmasm)
add_subdirectory(libsolidity)
add_subdirectory(solc)

if (NOT EMSCRIPTEN)
add_subdirectory(liblll)
add_subdirectory(lllc)
endif()

if (TESTS AND NOT EMSCRIPTEN)
add_subdirectory(test)
endif()
19 changes: 19 additions & 0 deletions Changelog.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
### 0.3.6

Features:

* Formal verification: Take external effects on a contract into account.
* Type Checker: Warning about unused return value of low-level calls and send.
* Output: Source location and node id as part of AST output
* Output: Source location mappings for bytecode
* Output: Formal verification as part of json compiler output.

Bugfixes:

* Commandline Interface: Do not crash if input is taken from stdin.
* Scanner: Correctly support unicode escape codes in strings.
* JSON output: Fix error about relative / absolute source file names.
* JSON output: Fix error about invalid utf8 strings.
* Code Generator: Dynamic allocation of empty array caused infinite loop.
* Code Generator: Correctly calculate gas requirements for memcpy precompile.
* Optimizer: Clear known state if two code paths are joined.

0 comments on commit 7163e54

Please sign in to comment.