Leonardo Alt
|
94e2506132
|
Fix inherited state vars for BMC
|
2020-11-02 11:42:39 +00:00 |
|
Martin Blicha
|
c1a57ffbfe
|
[SMTChecker] More precise creation of verification targets.
|
2020-10-30 19:11:28 +01:00 |
|
chriseth
|
ef503f180c
|
New test.
|
2020-10-29 18:53:15 +01:00 |
|
chriseth
|
6ec5612f35
|
Enable more tests.
|
2020-10-29 18:53:15 +01:00 |
|
chriseth
|
1066af3b98
|
Copy byte array to storage.
|
2020-10-29 18:53:15 +01:00 |
|
chriseth
|
ace810b078
|
Merge pull request #10137 from ethereum/fixedBytesOps
[Sol->Yul] Bit operations for fixed bytes types.
|
2020-10-29 18:04:07 +01:00 |
|
chriseth
|
3b8c038647
|
Empty storage option for isoltest.
|
2020-10-29 13:55:07 +01:00 |
|
chriseth
|
d00ef95a72
|
Refactor isoltest function call kind.
|
2020-10-28 19:04:24 +01:00 |
|
chriseth
|
0c12b2e53a
|
Bit operations for fixed bytes types.
|
2020-10-28 18:04:54 +01:00 |
|
chriseth
|
fb40f29594
|
Merge pull request #10133 from ethereum/asm-error-codes
Split error codes for EVM opcodes
|
2020-10-28 13:00:23 +01:00 |
|
Alex Beregszaszi
|
24d8c2ed90
|
Split error codes for EVM opcodes
|
2020-10-28 11:45:46 +00:00 |
|
Đorđe Mijović
|
1f50b86aad
|
Merge pull request #10073 from ethereum/smt_format_array_cex
Format array cex
|
2020-10-28 12:39:19 +01:00 |
|
Leonardo Alt
|
25f75ce547
|
Remove nondet tests
|
2020-10-28 11:03:42 +00:00 |
|
chriseth
|
cc4b44058d
|
Merge pull request #10126 from ethereum/fixIceStructCalldataToStorageSol2Yul
[Sol->Yul] Fixing ice when copying struct that contains nested array to storage
|
2020-10-28 11:46:22 +01:00 |
|
Leonardo
|
07c454949f
|
Merge pull request #10127 from ethereum/fixIceSmtBitwise
[SMTChecker] Fix ICE when using >>>
|
2020-10-28 09:28:18 +00:00 |
|
Djordje Mijovic
|
28f92064b9
|
[Sol->Yul] Fixing ice when copying struct that contains nested array to storage
|
2020-10-28 09:28:40 +01:00 |
|
Djordje Mijovic
|
9cc37c3fa4
|
[SMTChecker] Fix ICE when using >>>
|
2020-10-28 09:25:14 +01:00 |
|
Leonardo Alt
|
4755cfe157
|
Fix assignment to contract member access
|
2020-10-26 14:39:02 +00:00 |
|
Leonardo Alt
|
d3d77e482c
|
Fix ICE on conditions with tuples of rationals
|
2020-10-23 14:47:53 +01:00 |
|
Martin Blicha
|
ade3b9951c
|
[SMTChecker] Added support for selector when expression's value is known at compile time
|
2020-10-22 14:18:52 +02:00 |
|
Leonardo Alt
|
b087fa9750
|
[SMTChecker] Fix ICE implicit conversion string literal -> byte
|
2020-10-21 22:03:01 +01:00 |
|
Martin Blicha
|
f0d81601db
|
[SMTChecker] Adding division by zero checks in the CHC engine
|
2020-10-21 14:48:33 +02:00 |
|
Mathias Baumann
|
a4dc110b38
|
Fix dependency tracking for abstract contracts for Yul codegen
|
2020-10-20 16:58:24 +02:00 |
|
Mathias Baumann
|
e991465336
|
Fix dependency tracking for abstract contracts
|
2020-10-20 16:58:24 +02:00 |
|
Leonardo Alt
|
cf35785328
|
Add unknown message to all verification targets
|
2020-10-19 20:54:13 +01:00 |
|
Daniel Kirchner
|
79d9a1ca81
|
Tests for abi.encode.
|
2020-10-16 20:24:43 +02:00 |
|
Daniel Kirchner
|
e06d4303fb
|
Semantic tests.
|
2020-10-16 19:40:41 +02:00 |
|
Daniel Kirchner
|
909ce9164a
|
Allow arrays of contract types as type expressions e.g. for abi.decode.
|
2020-10-16 19:40:41 +02:00 |
|
Daniel Kirchner
|
db4dd51739
|
Merge pull request #10055 from ethereum/userDefinedLibraryTypes
Disallow invalid use of library names as type names.
|
2020-10-16 18:55:42 +02:00 |
|
Daniel Kirchner
|
3f14c904b0
|
Disallow invalid use of library names as type names.
|
2020-10-16 18:25:08 +02:00 |
|
Leonardo
|
a097f9f124
|
Merge pull request #10025 from ethereum/smt_crypto_functions
[SMTChecker] Support crypto functions in CHC
|
2020-10-16 16:40:29 +01:00 |
|
Martin Blicha
|
8c351278ac
|
[SMTChecker] added test to check correct handling of the sign of the modulo operation
|
2020-10-16 16:17:32 +02:00 |
|
Martin Blicha
|
78c8fbc7ce
|
[SMTChecker] encoding division and modulo operations using slack variables
|
2020-10-16 16:06:31 +02:00 |
|
Leonardo Alt
|
54f76e081a
|
[SMTChecker] Support crypto functions in CHC
|
2020-10-16 14:57:13 +01:00 |
|
Djordje Mijovic
|
4a66723ff9
|
[Sol->Yul] Implementing resizing of dynamic byte arrays
Co-authored-by: chriseth <chris@ethereum.org>
|
2020-10-15 22:05:35 +02:00 |
|
chriseth
|
c9ed1b9ae9
|
Merge pull request #10047 from ethereum/removeMemoryGuards
Disable StackLimitEvader again until we have stronger correctness guarantees.
|
2020-10-15 18:56:33 +02:00 |
|
chriseth
|
89bdad2096
|
Merge pull request #10043 from ethereum/emptyArrayCopy
Fix empty array copy bug.
|
2020-10-15 17:07:54 +02:00 |
|
chriseth
|
38abadf502
|
Fix empty array copy bug.
|
2020-10-15 16:48:08 +02:00 |
|
Daniel Kirchner
|
82876fd00e
|
Disable StackLimitEvader again until we have stronger correctness guarantees.
|
2020-10-15 16:16:41 +02:00 |
|
chriseth
|
e17d6853a9
|
Merge pull request #9985 from ethereum/optimizeDeleteStructSol2Yul
[Sol->Yul] Optimizing delete struct.
|
2020-10-15 16:03:06 +02:00 |
|
chriseth
|
837dd004c8
|
Enable some more Yul tests.
|
2020-10-14 17:43:19 +02:00 |
|
Djordje Mijovic
|
6f7947cfa5
|
[Sol->Yul] Optimizing delete struct.
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
|
2020-10-14 13:35:15 +02:00 |
|
chriseth
|
92a2cddbfa
|
Merge pull request #10024 from ethereum/outofBoundsGetter
Use revert for out-of-bounds array index access in getter.
|
2020-10-14 12:33:41 +02:00 |
|
chriseth
|
56d6855222
|
Merge pull request #9738 from ethereum/arrayCopyingSol2Yul
[Sol->Yul] Implementing copying of arrays to storage
|
2020-10-14 12:22:09 +02:00 |
|
chriseth
|
8d241fece9
|
Merge pull request #9849 from ethereum/fixIce9817
Fixing ICE on returning struct with mapping from library
|
2020-10-14 00:05:19 +02:00 |
|
Djordje Mijovic
|
674855f684
|
[Sol->Yul] Adding new and activating old tests for copying of arrays to storage.
|
2020-10-13 20:31:11 +02:00 |
|
Leonardo Alt
|
88f783bb1e
|
Remove more tests because current Spacer crashes
|
2020-10-13 19:27:49 +01:00 |
|
Djordje Mijovic
|
1272c474ba
|
Fixing ICE when returning Struct from library
|
2020-10-13 20:00:11 +02:00 |
|
chriseth
|
5dc3a971cb
|
Use revert for out-of-bounds array index access in getter.
|
2020-10-13 18:57:41 +02:00 |
|
Leonardo Alt
|
b9b9c229b4
|
New tests
|
2020-10-13 17:49:04 +01:00 |
|
Leonardo Alt
|
47b268d509
|
Update tests
|
2020-10-13 17:49:04 +01:00 |
|
Leonardo Alt
|
aec456021d
|
Add tx constraints to CHC
|
2020-10-13 17:49:04 +01:00 |
|
chriseth
|
fed6ea0125
|
Fix error message formatting in isoltest.
|
2020-10-13 17:20:19 +02:00 |
|
Mathias Baumann
|
32b4f18023
|
Print warning for unnamed return parameters and no return statement
|
2020-10-13 13:11:29 +02:00 |
|
chriseth
|
4b342a7cad
|
Merge pull request #9816 from ethereum/exp-base-literals
[Sol->Yul] Optimization for exponentiation when the base is a literal
|
2020-10-12 19:34:38 +02:00 |
|
Harikrishnan Mulackal
|
418aa01c5b
|
Optimization for exponentiation when the base is a literal
|
2020-10-12 18:54:58 +02:00 |
|
Djordje Mijovic
|
e23d8f5593
|
[SMTChecker] Supporting inline arrays.
|
2020-10-12 16:59:14 +02:00 |
|
Kamil Śliwak
|
e1cc888369
|
Fix checkBaseABICompatibility() to make it actually check return parameters and not just ordinary parameters twice
|
2020-10-12 15:14:56 +02:00 |
|
Kamil Śliwak
|
9dc7f5de4a
|
Enable 4 semantic tests from functionCall.inheritance that now work via Yul
- Looks like something overlooked in one of the recently merged PRs.
|
2020-10-12 15:10:16 +02:00 |
|
Kamil Śliwak
|
3128e82a9a
|
Look for experimental pragmas in the module containing the definition when generating code for modifiers and inherited functions
|
2020-10-12 14:29:53 +02:00 |
|
chriseth
|
e7603d7590
|
Merge pull request #10003 from ethereum/more-tests-and-docs-for-mixed-abi-encoder-use-checks
More tests and some minimal docs for mixed ABI encoder use
|
2020-10-12 14:22:44 +02:00 |
|
chriseth
|
1a125cf755
|
Merge pull request #10006 from ethereum/bug-9229-fix
Fixes internal compiler error with an unused reference to module member.
|
2020-10-12 13:43:35 +02:00 |
|
chriseth
|
d1b06328a6
|
Merge pull request #8635 from ethereum/test-coverage-inheritance
Improving test coverage wrt. inheritance
|
2020-10-12 13:40:48 +02:00 |
|
Kamil Śliwak
|
94a49fcc4a
|
Additional tests for ABIEncoderV1 calls using ABIEncoderV2 types
|
2020-10-12 13:26:01 +02:00 |
|
Christian Parpart
|
8ac0bee361
|
Adds some more tests and groups all function call inheritance related together into single sub-directory.
|
2020-10-12 12:29:55 +02:00 |
|
Leonardo Alt
|
3d2e6252f0
|
Add/update tests
|
2020-10-12 11:11:52 +01:00 |
|
Leonardo Alt
|
18cf01c187
|
Add this and state to CHC
|
2020-10-12 11:11:52 +01:00 |
|
Christian Parpart
|
712d0805eb
|
Fixes internal compiler error with an unused reference to module member.
|
2020-10-12 11:56:01 +02:00 |
|
Kamil Śliwak
|
d9215cf956
|
Merge pull request #9999 from ethereum/enableTest
Enable test that started working for yul.
|
2020-10-09 19:44:15 +02:00 |
|
a3d4
|
90c8c32d86
|
If a declaration shadows several others, group them together
|
2020-10-08 21:01:25 +02:00 |
|
chriseth
|
aa7aa21913
|
Enable test.
|
2020-10-08 21:00:50 +02:00 |
|
a3d4
|
f29ebc0847
|
Fix shadowing/same-name warnings for later declarations
|
2020-10-08 20:22:04 +02:00 |
|
chriseth
|
3970c4e57d
|
Merge pull request #9892 from ethereum/constantsAtFileLevel
Constants at file-level.
|
2020-10-08 19:53:33 +02:00 |
|
chriseth
|
f8d5c4db36
|
Merge pull request #9843 from ethereum/deleteStructSol2Yul
[Sol->Yul] Implementing delete struct
|
2020-10-08 19:08:40 +02:00 |
|
chriseth
|
34e7ae6ff9
|
New tests.
|
2020-10-08 18:56:18 +02:00 |
|
chriseth
|
b2f1d558da
|
Update existing tests.
|
2020-10-08 18:56:17 +02:00 |
|
chriseth
|
346fe1c6c5
|
Constants at file-level.
|
2020-10-08 18:56:17 +02:00 |
|
chriseth
|
b5a08f8641
|
Merge pull request #9958 from a3d4/fix-ice-storage-parameters-in-libraries
Fix ICE caused by storage parameters with nested mappings in libraries
|
2020-10-08 17:17:09 +02:00 |
|
Djordje Mijovic
|
ad8d840ee7
|
[Sol->Yul] Implementing conversion of struct to struct pointer.
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
|
2020-10-08 16:37:57 +02:00 |
|
Djordje Mijovic
|
4e8275df2c
|
Enabling triggered tests and adding one new for deleting struct
|
2020-10-08 15:27:33 +02:00 |
|
chriseth
|
fd6196af16
|
Copying of arrays from storage to memory.
|
2020-10-08 15:16:13 +02:00 |
|
a3d4
|
d7b4b4a7aa
|
Fix ICE caused by storage parameters with nested mappings in libraries
|
2020-10-07 22:07:57 +02:00 |
|
Mathias Baumann
|
6114cd8e8e
|
Add missing annotation assignments
|
2020-10-07 14:52:35 +02:00 |
|
Christian Parpart
|
04079bff6f
|
Eliminates dead code around GasEstimator
- structuralEstimation()
- breakToStatementLevel()
|
2020-10-07 13:31:40 +02:00 |
|
chriseth
|
431397eddf
|
Merge pull request #9943 from ethereum/array-cleanup
Array cleanup
|
2020-10-07 11:53:06 +02:00 |
|
Kamil Śliwak
|
33ff79bf82
|
Add missing checks for parameter compatibilty with ABIEncoderV1 in calls
|
2020-10-06 21:28:46 +02:00 |
|
chriseth
|
25d408058b
|
Merge pull request #9954 from ethereum/issue-9948
Remove unneeded assert
|
2020-10-06 16:50:14 +02:00 |
|
Harikrishnan Mulackal
|
1bdbc10110
|
Properly cleanup after copying dynamic-array to storage for packed types
|
2020-10-06 16:06:02 +02:00 |
|
chriseth
|
046cc42121
|
Merge pull request #9965 from ethereum/var_is_reserved
Var is reserved keyword.
|
2020-10-06 15:49:53 +02:00 |
|
chriseth
|
3102b98e82
|
Var is reserved keyword.
|
2020-10-06 15:08:57 +02:00 |
|
Djordje Mijovic
|
818afcbec2
|
[Sol->Yul] Implementing push for nested storage arrays and storage arrays of structs.
|
2020-10-06 13:06:40 +02:00 |
|
Mathias Baumann
|
6af16469e7
|
Remove unneeded assert
An error will trigger later in the name resolve phase
|
2020-10-05 13:01:11 +02:00 |
|
Harikrishnan Mulackal
|
756e21a888
|
Merge pull request #9946 from ethereum/viewpure-tests
Add more tests to ViewPureChecker
|
2020-10-02 14:36:28 +02:00 |
|
Alex Beregszaszi
|
32cb5207b3
|
Add more tests to ViewPureChecker
|
2020-10-02 11:57:35 +01:00 |
|
Alex Beregszaszi
|
fedbea46cd
|
[SMTChecker] Support type conversions
|
2020-10-02 10:26:02 +02:00 |
|
Leonardo
|
87e1934bee
|
Merge pull request #9885 from ethereum/smt_array_slices
[SMTChecker] Support array slices
|
2020-10-01 18:12:57 +02:00 |
|
chriseth
|
e5771efdf8
|
Merge pull request #9905 from ethereum/deleteArrayPackedSol2Yul
[Sol->Yul] Implementing deleting of storage array of types that are packed in storage
|
2020-10-01 16:50:57 +02:00 |
|
Leonardo Alt
|
c8cc73c80c
|
Support array slices
|
2020-10-01 11:52:02 +02:00 |
|
Djordje Mijovic
|
03eeb49a66
|
Adding test for deleting packed storage array.
|
2020-10-01 10:25:04 +02:00 |
|
chriseth
|
3af21c92d2
|
Merge pull request #9702 from a3d4/fix-7410-arrays-of-mappings
Fix ICE caused by an array of mappings
|
2020-09-30 20:24:09 +02:00 |
|
chriseth
|
fda8bde2d7
|
Stop after parsing.
|
2020-09-30 16:57:49 +02:00 |
|
Mathias Baumann
|
4c02cd2310
|
Add name for split-test to prevent failure in other places
|
2020-09-30 16:56:53 +02:00 |
|
Harikrishnan Mulackal
|
fd02ccc68c
|
Implemented events with indexed function as parameter in Yul
|
2020-09-30 12:11:39 +02:00 |
|
Harikrishnan Mulackal
|
3970412422
|
Implemented events with function type as one of its indexed parameters
|
2020-09-30 12:11:38 +02:00 |
|
chriseth
|
7a86a61b08
|
Merge pull request #9895 from ethereum/exp-negative-one
Optimize exp when base is -1
|
2020-09-30 11:54:22 +02:00 |
|
a3d4
|
a244daaacb
|
Exclude tests with overly deep nesting from antlr grammar checks
|
2020-09-29 20:20:20 +02:00 |
|
a3d4
|
3c876fcb60
|
Fix ICE caused by an array of mappings
|
2020-09-29 18:17:46 +02:00 |
|
Harikrishnan Mulackal
|
2b9f040c48
|
Optimize exp when base is -1
|
2020-09-29 17:44:09 +02:00 |
|
a3d4
|
3698cd54a5
|
Complete error coverage of Parser and SyntaxChecker
|
2020-09-29 16:07:02 +02:00 |
|
Leonardo Alt
|
352cce5fc8
|
[SMTChecker] Support addmod and mulmod.
|
2020-09-29 12:45:19 +02:00 |
|
Leonardo Alt
|
fa7c9a0dc6
|
Simplify internal function calls
|
2020-09-28 15:31:15 +02:00 |
|
chriseth
|
9115100f2a
|
Merge pull request #9909 from ethereum/fix-9890
Fix missing annotation settings because of early return
|
2020-09-28 12:27:43 +02:00 |
|
Mathias Baumann
|
76bb2cafe9
|
Fix missing annotation settings because of early return
|
2020-09-28 12:12:44 +02:00 |
|
chriseth
|
bab2d6d644
|
Merge pull request #9852 from ethereum/fix-9851
Typechecker: Disallow free function redefinition
|
2020-09-28 11:15:47 +02:00 |
|
a3d4
|
9721bda36e
|
Complete error coverage of ParserBase
|
2020-09-28 01:56:25 +02:00 |
|
Leonardo Alt
|
e6bd18525b
|
[SMTChecker] Add engine prefix to verification target error messages
|
2020-09-25 19:09:06 +02:00 |
|
Leonardo Alt
|
0223571987
|
[SMTChecker] Do not report error when rlimit
|
2020-09-25 18:43:10 +02:00 |
|
Bhargava Shastry
|
e2a2276272
|
Contract level checker: Disallow free function redefinition and alias
shadowing another free function
Co-authored-by: chriseth <chris@ethereum.org>
|
2020-09-25 17:09:58 +02:00 |
|
Alex Beregszaszi
|
9f3d5d3e2f
|
[SMTChecker] Implement support for memory allocation
|
2020-09-25 15:56:24 +01:00 |
|
Alex Beregszaszi
|
9c1b041dcb
|
[SMTChecker] Keep constraints of string literals after assignment
|
2020-09-25 11:32:48 +01:00 |
|
Alex Beregszaszi
|
5090353a1a
|
[SMTChecker] Keep knowledge about string literals
|
2020-09-25 11:32:23 +01:00 |
|
Leonardo
|
57e1b2cb92
|
Merge pull request #9881 from ethereum/smt_fixed_bytes_index_access
[SMTChecker] Support fixed bytes index access
|
2020-09-25 11:32:56 +02:00 |
|
Leonardo Alt
|
df8c6d94e3
|
[SMTChecker] Support fixed bytes index access
|
2020-09-25 09:59:38 +02:00 |
|
chriseth
|
5711d664aa
|
Merge pull request #9887 from ethereum/evmhost
EVMHost: keep precompile balance/settings across resets
|
2020-09-24 21:15:06 +02:00 |
|
Alex Beregszaszi
|
e93992257e
|
Add more semantic tests for balance/extcodehash
|
2020-09-24 19:04:27 +01:00 |
|
chriseth
|
d52b3839e2
|
Merge pull request #9882 from ethereum/invalidOnErrorYul
[SolYul] Use invalid opcode for internal errors
|
2020-09-24 19:37:44 +02:00 |
|
chriseth
|
b5c340cd66
|
Update tests
|
2020-09-24 17:07:43 +02:00 |
|
Leonardo
|
d180d6cdaf
|
Merge pull request #9880 from ethereum/smt-abi-type
[SMTChecker] Do not warn on "abi" as an identifer
|
2020-09-24 17:02:17 +02:00 |
|
Harikrishnan Mulackal
|
ec25e960f9
|
Merge pull request #9863 from ethereum/signed-exp-tests
Signed exp tests
|
2020-09-24 15:59:01 +02:00 |
|
Alex Beregszaszi
|
6edfdff187
|
[SMTChecker] Do not warn on "abi" as an identifer
There is an approprate warning for the function call.
|
2020-09-24 13:57:42 +01:00 |
|
chriseth
|
a9f9b4db27
|
Merge pull request #9872 from ethereum/smt_remove_tests
Extract boost smt and remove unused tests
|
2020-09-24 13:20:19 +02:00 |
|
chriseth
|
0a3b836f5a
|
Merge pull request #9867 from ethereum/string-literals
More clear error messages with converting (hex) string literals
|
2020-09-24 12:49:46 +02:00 |
|
Leonardo
|
35a7d5d3e4
|
Merge pull request #9873 from ethereum/smt_dec_rlimit
[SMTChecker] Decrease rlimit
|
2020-09-23 23:11:59 +02:00 |
|
Leonardo Alt
|
ebb6f61506
|
[SMTChecker] Decrease rlimit
|
2020-09-23 19:28:47 +02:00 |
|
Alex Beregszaszi
|
e54110ff17
|
Return UTF-8 error in BoolResult and remove it from string type
|
2020-09-23 17:35:05 +01:00 |
|
Alex Beregszaszi
|
a154594de6
|
Display string literal as hex in error messages if it is not printable ASCII
|
2020-09-23 17:33:39 +01:00 |
|
Alex Beregszaszi
|
0e5abbd4a9
|
Display location of invalid UTF-8 sequence in unicode literals in SyntaxChecker
|
2020-09-23 17:01:02 +01:00 |
|
Leonardo Alt
|
8eba66daf9
|
Extract boost smt and remove unused tests
|
2020-09-23 17:55:55 +02:00 |
|
Alex Beregszaszi
|
ca743191b7
|
Report why assigning oversized hex strings to bytes fail
|
2020-09-23 16:46:47 +01:00 |
|
Alex Beregszaszi
|
af8d78010e
|
Display BoolResult from implicit/explicit conversions for more clarity in error messages
|
2020-09-23 16:04:07 +01:00 |
|
Harikrishnan Mulackal
|
c314ca3cf2
|
Tests for signed exponentiation
|
2020-09-23 16:27:33 +02:00 |
|
Đorđe Mijović
|
858b4507e2
|
Merge pull request #9854 from ethereum/bitwiseSmt
[SMTChecker] Support compound shifts and bitwise and, or, and xor
|
2020-09-23 12:35:48 +02:00 |
|
chriseth
|
91f7c6644f
|
Only expect more failure data params if they are there.
|
2020-09-23 12:22:11 +02:00 |
|
chriseth
|
9c5e14e309
|
Merge pull request #9839 from ethereum/annotations-optional
Make annotations ``SetOnce`` or ``optional`` where feasible
|
2020-09-23 11:44:21 +02:00 |
|
Djordje Mijovic
|
96bafb9ba3
|
[SMTChecker] Updating old and adding new tests for compound shift operators.
|
2020-09-23 11:31:37 +02:00 |
|
Djordje Mijovic
|
0193952106
|
[SMTChecker] Updating old and adding new tests for compound bitwise xor operator.
|
2020-09-23 11:31:37 +02:00 |
|
Djordje Mijovic
|
e2e0b33ee7
|
[SMTChecker] Updating old and adding new tests for compound bitwise or operator.
|
2020-09-23 11:31:41 +02:00 |
|
Djordje Mijovic
|
69df163dcb
|
[SMTChecker] Updating old and adding new tests for compound bitwise and operator.
|
2020-09-23 11:31:37 +02:00 |
|
Leonardo Alt
|
f4ee4cd479
|
Update tests
|
2020-09-22 20:51:28 +02:00 |
|
Alex Beregszaszi
|
709d25bd3d
|
[SMTChecker] Support address type conversion with literals
|
2020-09-22 18:49:11 +01:00 |
|