Alex Beregszaszi e732c49c2f Change find to use a single character

2018-10-09 18:06:25 +01:00

..

analysis

Use empty() instead of size() == 0

2018-10-09 04:29:37 +01:00

ast

Merge pull request #4734 from ethereum/astUpdate

2018-10-08 21:47:27 +02:00

codegen

Use empty() instead of size() == 0

2018-10-09 04:29:37 +01:00

formal

Use empty() instead of size() == 0

2018-10-09 04:29:37 +01:00

inlineasm

Use empty() instead of size() == 0

2018-10-09 04:29:37 +01:00

interface

Change find to use a single character

2018-10-09 18:06:25 +01:00

parsing

Use empty() instead of size() == 0

2018-10-09 04:29:37 +01:00

CMakeLists.txt

Do not force GMP to be present as dependency of CVC4, but also allow CLN instead.

2018-08-08 19:02:59 +02:00