Alan Mishchenko 4dc569c134 Remove assertions when the solver becomes UNSAT after adding constraints in 'scorr -c'.

2019-10-05 10:40:01 -07:00

..

abs

Adding switch &w -n to modify the comment section of the AIGER file written.

2018-11-21 13:12:01 -08:00

acec

Adding switch to &if to consider special type of 6-input cuts.

2019-09-26 14:05:16 -07:00

cec

Cleanup of SAT sweeping code.

2019-06-30 14:07:14 +03:00

dch

Rare bug fix in 'dch' resulting in choice nodes having internal fanout.

2016-01-31 16:38:49 -08:00

fra

Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy, etc.

2019-03-05 15:57:50 -08:00

fraig

Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy, etc.

2019-03-05 15:57:50 -08:00

int

Compiler warnings.

2014-11-29 14:43:21 -08:00

int2

Adding switch to handle only single faults.

2014-04-01 11:53:08 -07:00

live

Fixing several potential bugs.

2019-03-19 11:26:43 +02:00

pdr

Fixing some update gcc.

2019-07-24 11:44:28 +07:00

ssc

Fixing several potential bugs.

2019-03-19 11:26:43 +02:00

ssw

Remove assertions when the solver becomes UNSAT after adding constraints in 'scorr -c'.

2019-10-05 10:40:01 -07:00