aboutsummaryrefslogtreecommitdiff
path: root/lang/solidity
Commit message (Expand)AuthorAgeFilesLines
* lang: remove 'Created by' linesTobias C. Berner2022-07-201-2/+0
* lang/solidity: update to 0.8.15 releaseAlex Dupre2022-06-203-22/+4
* lang/solidity: UnbreakYuri Victorovich2022-06-023-3/+19
* lang/solidity: mark as BROKEN after recent boost upgradeDima Panov2022-05-221-0/+2
* lang/solidity: update to 0.8.14 release.Alex Dupre2022-05-173-18/+4
* lang/solidity: update to 0.8.13 release.Alex Dupre2022-04-136-7/+40
* lang/solidity: update to 0.8.12 release.Alex Dupre2022-02-172-4/+4
* lang/solidity: update to 0.8.11 release.Alex Dupre2021-12-202-4/+4
* lang/solidity: fix build with newer z3.Alex Dupre2021-12-161-1/+2
* lang/solidity: update to 0.8.10 release.Alex Dupre2021-11-163-6/+7
* devel/jsoncpp: Update to 1.9.4 -> 1.9.5Daniel Engberg2021-11-051-0/+1
* lang/solidity: Add CPE informationStefan Eßer2021-10-191-1/+2
* lang/solidity: update to 0.8.9 release.Alex Dupre2021-09-302-4/+4
* lang/solidity: update to 0.8.7 release.Alex Dupre2021-08-232-4/+4
* lang/solidity: update to 0.8.6 release.Alex Dupre2021-06-232-4/+4
* lang/solidity: update to 0.8.5 release.Alex Dupre2021-06-112-4/+4
* lang/solidity: update to 0.8.4 releaseAlex Dupre2021-04-232-4/+4
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* Update to 0.8.3 release.Alex Dupre2021-03-252-4/+4
* Update to 0.8.2 release.Alex Dupre2021-03-042-4/+4
* Update to 0.8.1 release.Alex Dupre2021-01-283-6/+46
* Update to 0.8.0 release.Alex Dupre2020-12-175-9/+22
* Update to 0.7.4 release.Alex Dupre2020-10-192-4/+4
* Distfile rerolled without any content change.Alex Dupre2020-10-081-3/+3
* Update to 0.7.3 release.Alex Dupre2020-10-072-4/+4
* Update to 0.7.2 release.Alex Dupre2020-09-292-4/+4
* Update to 0.7.1 release.Alex Dupre2020-09-022-4/+4
* Update to 0.7.0 release.Alex Dupre2020-07-282-4/+4
* Update to 0.6.12 release.Alex Dupre2020-07-223-6/+6
* Update to 0.6.11 release.Alex Dupre2020-07-092-5/+4
* Bump devel/jsoncpp consumers after r540853.Tobias C. Berner2020-06-301-0/+1
* Update to 0.6.10 release.Alex Dupre2020-06-122-4/+4
* Update to 0.6.9 release.Alex Dupre2020-06-042-4/+4
* Update to 0.6.8 release.Alex Dupre2020-05-152-4/+4
* 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