aboutsummaryrefslogtreecommitdiff
path: root/lang/solidity
Commit message (Expand)AuthorAgeFilesLines
...
* Update to 0.6.7 release.Alex Dupre2020-05-053-15/+4
* Fix build on 32-bit platforms.Alex Dupre2020-04-161-0/+11
* Update to 0.6.6 release.Alex Dupre2020-04-132-4/+4
* Update to 0.6.5 release.Alex Dupre2020-04-073-15/+4
* Try to fix compilation on -CURRENT.Alex Dupre2020-02-201-0/+11
* Update to 0.6.3 release.Alex Dupre2020-02-192-5/+8
* Update to 0.6.2 release and enable all SMT solvers by default.Alex Dupre2020-01-284-15/+14
* devel/jsoncpp: Update 1.8.1 -> 1.9.2Yuri Victorovich2020-01-131-0/+1
* Update to 0.6.0 release.Alex Dupre2019-12-183-10/+9
* devel/boost-*: update to 1.72.0Jan Beich2019-12-111-0/+1
* Update to 0.5.13 release.Alex Dupre2019-11-222-4/+4
* Update to 0.5.12 release.Alex Dupre2019-10-032-4/+4
* Update to 0.5.11 release.Alex Dupre2019-08-222-5/+4
* Mark as not for powerpc*/sparc64:Mark Linimon2019-08-221-0/+3
* devel/boost-*: update to 1.71.0Jan Beich2019-08-191-1/+1
* math/cvc4: simplify post-patchFernando Apesteguía2019-08-061-2/+0
* Mark BROKEN: fails to buildAntoine Brodin2019-08-041-0/+2
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2019-07-261-0/+1
* Update to 0.5.10 release.Alex Dupre2019-07-022-4/+4
* Update to 0.5.8 release.Alex Dupre2019-05-012-5/+4
* devel/boost-*: update to 1.70.0Jan Beich2019-04-121-0/+1
* Update to 0.5.7 release.Alex Dupre2019-03-262-4/+4
* Update to 0.5.6 release.Alex Dupre2019-03-142-4/+4
* Update to 0.5.5 release.Alex Dupre2019-03-052-4/+4
* Update to 0.5.4 release and enable CVC4 SMT Checker by default.Alex Dupre2019-02-142-5/+6
* Update to 0.5.3 release.Alex Dupre2019-01-222-5/+4
* Update to 0.5.2 release.Alex Dupre2019-01-183-29/+13
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2018-12-121-1/+1
* devel/boost-*: update to 1.69.0Jan Beich2018-12-121-0/+1
* Update to 0.4.25 release.Alex Dupre2018-10-112-4/+4
* Update to 0.4.24 release and fix build with newer boost lib.Alex Dupre2018-08-094-10/+27
* devel/boost-*: update to 1.68.0Jan Beich2018-08-091-0/+3
* lang/solidity: unbreak with Clang 6Jan Beich2018-04-271-0/+1
* Update to 0.4.23 release.Alex Dupre2018-04-263-6/+19
* devel/boost-*: update to 1.67.0Jan Beich2018-04-181-0/+1
* lang/solidity: unbreak with boost 1.67 on 10.*Jan Beich2018-04-181-1/+1
* Update to 0.4.21 release.Alex Dupre2018-03-192-4/+5
* Improve port description.Alex Dupre2018-01-231-1/+9
* The Solidity Contract-Oriented Programming LanguageAlex Dupre2018-01-235-0/+53
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-18 11:16:27 +0000