chriseth
|
252ac75de7
|
fixup! Boolean LP Solver.
|
2022-02-07 16:42:23 +01:00 |
|
chriseth
|
fdc6f5249c
|
Make magic squares work.
|
2022-02-03 19:20:43 +01:00 |
|
chriseth
|
e7c91f5532
|
stuff
|
2022-02-03 19:20:43 +01:00 |
|
chriseth
|
3e5777f5db
|
Trying out things.
|
2022-02-03 19:20:43 +01:00 |
|
chriseth
|
6316f14590
|
Boolean LP Solver.
|
2022-02-03 19:20:42 +01:00 |
|
chriseth
|
bfaa09230a
|
qualify move
|
2022-02-03 18:43:35 +01:00 |
|
chriseth
|
73c35f2cae
|
Add header.
|
2022-02-03 18:42:37 +01:00 |
|
chriseth
|
7a735430a8
|
Cache solution for the case where we are not interested in models.
|
2022-02-03 17:58:55 +01:00 |
|
chriseth
|
9262fb4fd0
|
comment
|
2022-02-03 16:26:41 +01:00 |
|
chriseth
|
8e15719fe1
|
Extract problem splitter.
|
2022-02-03 16:21:26 +01:00 |
|
chriseth
|
5c47f111f0
|
small optimization.
|
2022-02-03 13:14:15 +01:00 |
|
chriseth
|
3848165935
|
Extract simplification class.
|
2022-02-03 13:12:50 +01:00 |
|
chriseth
|
49281b98d7
|
Refactor.
|
2022-02-03 11:41:55 +01:00 |
|
chriseth
|
666dad7117
|
cleanup
|
2022-02-03 11:35:06 +01:00 |
|
chriseth
|
c602b2851b
|
cleanup
|
2022-02-03 11:26:25 +01:00 |
|
chriseth
|
33011e2023
|
Cleanup
|
2022-02-03 11:08:24 +01:00 |
|
chriseth
|
31b0839be1
|
Cleanup
|
2022-02-03 11:04:37 +01:00 |
|
chriseth
|
8bd6129898
|
Cleanup
|
2022-02-03 11:02:38 +01:00 |
|
chriseth
|
7f63e5a805
|
Simplifications on LinearExpression.
|
2022-02-03 10:02:24 +01:00 |
|
chriseth
|
5fe4d2d59c
|
Fix compiler warning.
|
2022-02-02 17:09:50 +01:00 |
|
chriseth
|
fb5b7d67fb
|
Use names for the bounds.
|
2022-02-02 15:13:12 +01:00 |
|
chriseth
|
01d874e956
|
LP Solver.
|
2022-02-01 16:51:43 +01:00 |
|
chriseth
|
f4e0270374
|
Merge pull request #12605 from nishant-sachdeva/indexed_log_topic_differs_between_legacy_and_ir_if_explicitly_downcast
Code generators needed fixing of the cleanup process during typecasting of bytes and integers
|
2022-02-01 12:35:10 +01:00 |
|
nishant-sachdeva
|
e2711b7fab
|
Corresponding code in the .cpp file has been commented instead of begin removed pending preliminary reviews
Code generators needed fixing of the cleanup process during typecasting of bytes and integers
|
2022-02-01 16:07:55 +05:30 |
|
Daniel Kirchner
|
e87d959f48
|
Merge pull request #12606 from ethereum/chriseth-patch-1
[docs] Correct type of address.code
|
2022-02-01 11:02:10 +01:00 |
|
Kamil Śliwak
|
d839624f51
|
Merge pull request #12607 from ethereum/chriseth-patch-2
Fix changelog for the bugfix about immutables with return in base constructor
|
2022-01-31 21:15:14 +01:00 |
|
chriseth
|
b1e1b4df32
|
Merge pull request #12229 from ethereum/fixValueOrDefault
Fix util::valueOrDefault.
|
2022-01-31 20:05:42 +01:00 |
|
Daniel Kirchner
|
73470aed6a
|
Fix util::valueOrDefault.
|
2022-01-31 19:33:09 +01:00 |
|
chriseth
|
4259e1bb70
|
Fix changelog
|
2022-01-31 19:19:16 +01:00 |
|
chriseth
|
8728971354
|
Correct type of address.code
|
2022-01-31 19:07:01 +01:00 |
|
chriseth
|
fd68cb1715
|
Merge pull request #12579 from ethereum/fix-memory-copy-bug
[Sol2Yul] Fixed an ICE on struct member copy
|
2022-01-31 18:04:07 +01:00 |
|
hrkrshnn
|
0fe5811459
|
Fixed a ICE on calldata to struct member copy
|
2022-01-31 17:26:11 +01:00 |
|
Kamil Śliwak
|
ef8911a629
|
Merge pull request #11999 from nikitastupin/develop
[docs] Separate "Visibility and getters" section for state variables and functions
|
2022-01-29 01:14:07 +01:00 |
|
Nikita Stupin
|
0f7b69432e
|
Separate visibility for state variables and functions
|
2022-01-29 00:36:06 +01:00 |
|
Kamil Śliwak
|
f386ed28a0
|
Merge pull request #12592 from Younghoon-Lee/Fix/style-guide
Add blank line to make it consistency
|
2022-01-29 00:07:19 +01:00 |
|
Nishant Sachdeva
|
22116dfd0a
|
Merge pull request #12584 from nishant-sachdeva/indexed_log_topic_differs_between_legacy_and_ir_if_explicitly_downcast
Code generators needed fixing of the cleanup process during typecasting
|
2022-01-28 23:22:16 +05:30 |
|
nishant-sachdeva
|
dec511aad8
|
Corresponding code in the .cpp file has been commented instead of begin removed pending preliminary reviews
Code generators needed fixing of the cleanup process during typecasting of bytes and integers
|
2022-01-28 19:56:15 +05:30 |
|
Bhargava Shastry
|
b897d5d7c4
|
Merge pull request #12591 from ethereum/fuzz-latest-evm-version
Code transform fuzzer: Only test against latest EVM version.
|
2022-01-28 10:53:54 +01:00 |
|
Daniel Kirchner
|
7a40785bc5
|
Merge pull request #12491 from fulldecent/feature-version-policy
Write down version policy
|
2022-01-27 19:22:38 +01:00 |
|
Younghoon-Lee
|
95f9289f2c
|
Add blank line to make it consistency
|
2022-01-28 01:11:35 +09:00 |
|
William Entriken
|
8c6f80aa03
|
Document our version policy w/r/t SemVer
|
2022-01-27 09:45:31 -05:00 |
|
Bhargava Shastry
|
4bcd69e7bd
|
Code transform fuzzer: Only test against latest EVM version.
|
2022-01-27 14:49:44 +01:00 |
|
Bhargava Shastry
|
597426bd1c
|
Merge pull request #12586 from ethereum/disable-gas-comparison
Code transform fuzzer: Filter log statements and remove gas comparison.
|
2022-01-26 17:59:30 +01:00 |
|
Bhargava Shastry
|
cfda0e41ce
|
Filter log statements and remove gas comparison.
|
2022-01-26 15:58:12 +01:00 |
|
Daniel Kirchner
|
6f59e228eb
|
Merge pull request #12583 from ethereum/update-solcjs-commands-for-typescript
Compatibility fixes for solc-js TypeScript migration
|
2022-01-26 12:50:49 +01:00 |
|
Kamil Śliwak
|
f46e333f9a
|
fixup! bytecode compare: Stop depending on solc-js internal structure and install it via npm from a local dir instead
|
2022-01-26 11:56:34 +01:00 |
|
Kamil Śliwak
|
4e395137b9
|
Changelog entry for the TypeScript migration
|
2022-01-25 16:42:40 +01:00 |
|
Kamil Śliwak
|
cdaa6dd591
|
Adjust workflow with solc-js checkout now that it's on TypeScrpt
|
2022-01-25 16:42:37 +01:00 |
|
Kamil Śliwak
|
8011d23b5c
|
Release checklist: switch to a command that automatically downloads the binary before running verifyVersion
|
2022-01-25 16:41:50 +01:00 |
|
Kamil Śliwak
|
1cd4ffc355
|
bytecode compare: Stop depending on solc-js internal structure and install it via npm from a local dir instead
|
2022-01-25 16:39:47 +01:00 |
|