Alan Mishchenko cad3d8d419 Support bit-blasting of shifts with more than 32 bits.

2016-06-07 15:20:38 -07:00

..

abc

Enabling AIGs without structural hashing (&get -c to import logic network).

2016-05-20 18:01:01 -07:00

abci

Detecting properties of internal nodes.

2016-06-07 14:32:38 -07:00

bac

silence clang errors when compiling as C++

2015-11-05 01:23:31 -08:00

cba

Silencing several messages.

2016-06-01 11:57:29 -07:00

cmd

Enabling AIGs without structural hashing.

2016-05-20 13:50:19 -07:00

exor

Updates to Exorcism package

2016-04-11 22:55:06 -07:00

io

Adding 'read_pla -d' to read dc-set along with on-set (useful to derive offset).

2016-05-12 13:59:30 -07:00

main

Changes to PDR to compute f-inf clauses and import invariant (or clauses) as a network.

2016-01-14 20:42:22 -08:00

pla

Cosmetic changes after incorporating new code of 'fxch'.

2016-05-11 20:03:13 -07:00

test

Updating project settings to have simpler include paths.

2012-07-07 20:14:12 -07:00

ver

Fixed a typo in variable names.

2015-02-07 22:29:14 -08:00

wlc

Support bit-blasting of shifts with more than 32 bits.

2016-06-07 15:20:38 -07:00