Commit Graph

302 Commits

Author SHA1 Message Date
Georgios Konstantopoulos 85d7c07fa8 chore: fmt 2023-02-13 17:10:01 -08:00
wiasliaw.eth 7511d22c2f
extend model checker options (#2147)
* refactor(ethers-solc): reorder the sanitized

* feat(ethers-solc): feat divModWithSlacks, showUnproved and solvers
2023-02-13 17:09:40 -08:00
Georgios Konstantopoulos 5f08a2d931 chore(solc): remove unused generic 2023-02-13 17:07:20 -08:00
Matthias Seitz c7547cb1d5
perf(solc): wrap source content in Arc (#2138) 2023-02-10 16:17:11 -08:00
wiasliaw.eth 060e145ea2
feat(ethers-solc): extend model checker setting field (#2123) 2023-02-10 11:51:01 -08:00
Matthias Seitz c436eae96c
fix(solc): process all imports even input files (#2136)
* fix(solc): process all imports even input files

* pin test to 0.8.17
2023-02-10 11:45:51 -08:00
Matthias Seitz 2fce943274
chore: bump solc test 0.8.18 (#2113) 2023-02-04 19:24:11 -08:00
Matthias Seitz 847b2a4a05
fix(solc): fix autodetection edge case (#2099) 2023-01-31 15:16:34 -08:00
Matthias Seitz f86bc2483f
feat(solc): support emitting bytecode as extra files (#2074) 2023-01-27 13:15:03 -05:00
Sean Young 09f8e3b511
chore(deps): bump solang-parser 0.2.1 (#2054) 2023-01-17 10:36:31 -08:00
Georgios Konstantopoulos 72e94f02dd
fix(solc/resolver): default to Ascii for windows / Utf8 otherwise (#2060) 2023-01-16 18:14:38 -08:00
Georgios Konstantopoulos f2099a8eaa
chore: fix clippy (#2059) 2023-01-16 18:11:27 -08:00
Matthias Seitz 5330a688ea
fix(solc): add missing ir option (#2055) 2023-01-16 16:35:47 -08:00
Elizabeth Dinella 0841e9b53e
fixed issue#2004 parsing solc verison with trailing newlines (#2005)
* fixed issue#2004 parsing solc verison with trailing newlines

* suggested changes
2023-01-13 10:45:26 -08:00
Agost Biro da0039aaea
fix: failing can_autodetect_dirs solc test (#1895) (#2052)
The test was failing for two reasons on macOS:

1. The build info directory was not created during the test.
2. Temporary directories are created with symbolic links on macOS and
the path canonicalization returns the given path if it doesn't exist.

This lead to a mismatch between the project root's canonical path (which
did exist and thus was a real path after canonicalization) and the build
info directory's canonical path (which did not exist and was a symbolic
link after canonicalization).

The fix is to create the build info directory to make sure its canonical
path matches the project root's canonical path.
2023-01-13 10:20:26 -08:00
joshieDo 3c65997eae
feat(core): add `strum::EnumIter` and `strum::EnumCount` to `Chain` (#2043)
* add strum EnumIter and EnumCount to Chain

* clippy
2023-01-11 19:17:46 -08:00
Matthias Seitz d1df3417f7
feat(solc): improve error on case mismatch (#1998) 2023-01-03 15:14:01 +02:00
DaniPopes c5ff733702
chore: clippy (#1990)
* chore: clippy

* chore: clippy
2022-12-30 14:19:41 +02:00
Matthias Seitz 8a5b3cc6c9
fix: reexport SourceLocation (#1971) 2022-12-23 14:58:02 +02:00
Matthias Seitz 612cce016c
fix: reexport some ast types again (#1968) 2022-12-23 12:37:23 +02:00
Matthias Seitz 04e0092adf
revert: Ast Artifact (#1966) 2022-12-22 18:22:11 +02:00
Franfran d553111906
fix: rebase to master for onbjerg's ast (#1943) 2022-12-22 15:22:57 +02:00
Matthias Seitz 3dfc04f9fe
chore(clippy): make clippy happy (#1923) 2022-12-05 22:05:33 -08:00
Matthias Seitz cba6f071ae
chore(clippy): make clippy happy (#1856) 2022-11-13 07:49:27 -05:00
DaniPopes ac713a8588
fix: broken regex (#1851) 2022-11-10 12:21:45 -08:00
Jared Tokuz b06452c6ea
feat: warnings as errors (#1838)
* feat: warnings as errors

* changed the bool arg to Severity and updated its traits

* reformat the test based on the linter

* renamed variable based on property type change and changed a few refs

* updated changelog

* revert changelog iden change

* added test for combining compiler severity filter and ignored error codes and adjusted has error for the added test case

* adjusted has_error to utilize ge functionality in case of info errors

Co-authored-by: Georgios Konstantopoulos <me@gakonst.com>
2022-11-10 12:19:43 -08:00
Matthias Seitz e37a34cba6
chore(solc): always use sync sources reading (#1667) 2022-11-08 15:08:41 -08:00
DaniPopes fb88215a87
fix: rustdoc errors (#1808)
* fix: rustdoc warnings

* fix: partially re-run abigen for multicall_contract

* fix

* fix test

* fix: rustdoc nightly warnings
2022-11-07 15:43:23 -08:00
DaniPopes debd6fec3d
chore: clippy (#1812)
* chore: clippy

* fmt
2022-11-07 15:43:11 -08:00
Matthias Seitz a9dd53da81
fix(solc): emit empty node vec (#1793) 2022-10-17 10:27:42 -07:00
Leo 2c28fa47e7
Add option to disable CBOR metadata in bytecode. (#1782) 2022-10-13 14:57:03 -07:00
Matthias Seitz b47567bfd2
fix(solc): handle absolute paths properly on conflict (#1784) 2022-10-13 14:54:36 -07:00
Matthias Seitz 8789bbea22
fix: impl default manually for mock project (#1779)
* fix: impl default manually for mock project

* chore: silence impossible to derive default lint

Co-authored-by: Georgios Konstantopoulos <me@gakonst.com>
2022-10-11 13:21:29 -07:00
Georgios Konstantopoulos f295af1f3f chore: fix clippy 2022-10-11 10:53:19 -07:00
Matthias Seitz 7b87c44a54
chore(solc): create artifacts folder on output (#1772) 2022-10-07 10:03:38 -07:00
Matthias Seitz 3ee1b6796e
feat(solc): add versioned artifacts helper (#1752) 2022-09-28 11:58:12 -07:00
Matthias Seitz d8791482d5
fix(solc): use empty bytecode as default instead unlinked (#1743)
* fix(solc): use empty bytecode as default instead unlinked

* chore: fmt

Co-authored-by: Georgios Konstantopoulos <me@gakonst.com>
2022-09-26 10:35:19 -07:00
Matthias Seitz 7888aaecde
test: add create_parent_dir_all_test (#1741) 2022-09-26 10:33:54 -07:00
Matthias Seitz 23171d9299
chore(solc): add another artifacts helper type (#1722) 2022-09-19 13:49:28 -07:00
Roman Krasiuk 62dd635a75
fix(solc): remove default include paths (#1691)
* fix path resolution for projects paths passed as included

* fix lookup

* remove default include paths

* remove default include paths usage
2022-09-14 09:41:25 -07:00
Matthias Seitz feaa473ffb
chore: bump max solc 0.8.17 (#1679) 2022-09-11 14:15:19 -07:00
Roman Krasiuk df6f3d7f1e
omit (#1686) 2022-09-11 14:15:07 -07:00
Matthias Seitz e95a96426a
chore(clippy): make clippy happy (#1688) 2022-09-11 14:11:43 -07:00
Matthias Seitz 4e1462423f
perf(solc): read artifacts in parallel (#1665) 2022-09-05 09:51:50 -07:00
Matthias Seitz fca8f997fa
fix(solc): via-ir should be optional (#1664) 2022-09-04 14:36:31 -07:00
Matthias Seitz e425b55c92
chore(solc): replace colorized with yansi (#1662) 2022-09-04 11:00:11 -07:00
Matthias Seitz 6a86d4ff22
chore(clippy): make clippy happy (#1659) 2022-09-04 10:57:52 -07:00
Roman Krasiuk 083054d4fe
serialize viaIR setting (#1655) 2022-09-04 10:55:57 -07:00
Matthias Seitz 13a0144aba
fix(solc): use correct model for metadata libraries (#1648)
* chore: add spells output

* fix(solc): use correct model for metadata libraries
2022-08-30 10:36:58 -07:00
Matthias Seitz 0707270a05
fix(solc): consider case sensitive conflicting artifact paths (#1625)
* fix(solc): consider case sensitive conflicting artifact paths

* chore: fmt

Co-authored-by: Georgios Konstantopoulos <me@gakonst.com>
2022-08-20 15:35:56 -07:00