Commits

History for

Commits on May 26, 2021

Replace real division by integer division
Leo Alt
committed
Replace implies by =>
Leo Alt
committed

Commits on Dec 8, 2020

Enable the -Wconversion warning
axic
committed

Commits on Nov 3, 2020

[SMTChecker] User timeout option
Leonardo Alt
committed

Commits on Sep 9, 2020

[SMTChecker] Support shifts
Leonardo Alt
committed
Introduce bitvector sort.
chriseth
committed

Commits on Aug 26, 2020

[SMTChecker] Support bitwise or, xor and not.
mijovic
committed

Commits on Jul 17, 2020

Add SPDX license identifier if not present already in source file
sacgrover
committed

Commits on Jul 9, 2020

Fixing additional signedness errors after adding -Wsign-conversion flag

mijovic
and
cameel
committed

Commits on Jun 2, 2020

Commits on May 27, 2020

[SMTChecker] Support to bitwise
Leonardo Alt
committed

Commits on May 20, 2020

Add SMTLogicException
Leonardo Alt
committed
Rename namespace
Leonardo Alt
committed
Create libsmtutil
Leonardo Alt
committed

Loading