Alan Mishchenko c80c0cc6c9 Trying to make sorting of nodes platform-indendent.

2011-12-15 13:39:16 -08:00

..

aig

Started SAT-based reparameterization.

2011-12-13 23:38:41 -08:00

bar

initial commit of public abc

2010-11-01 01:35:04 -07:00

bbl

initial commit of public abc

2010-11-01 01:35:04 -07:00

bbr

Fixed a number of small bugs and memory leaks.

2011-03-27 14:17:12 -07:00

bdc

64-bit portability changes.

2011-09-17 16:24:40 -07:00

cec

Undoing previous change in 'resim' (do not initialize flops using their values in the CEX because the number of flops in the CEX can be different).

2011-08-01 11:25:46 +07:00

cgt

Removed useless typecasts related to changes in Vec_VecEntry().

2011-08-01 12:35:34 +07:00

cnf

g++ portability changes.

2011-12-13 12:17:03 -08:00

csw

initial commit of public abc

2010-11-01 01:35:04 -07:00

dar

Trying to make sorting of nodes platform-indendent.

2011-12-15 13:39:16 -08:00

dch

Fixed a glitch in &dch, which removed the flops.

2011-07-16 12:36:06 +07:00

deco

initial commit of public abc

2010-11-01 01:35:04 -07:00

fra

Changes to the main SAT solver: fixing performance bug (resetting decay params after each restart), making the SAT solver platform- and runtime-independent (by using interger-based activity).

2011-12-09 23:49:30 -08:00

fsim

Unified the use of counter-examples in three packages.

2011-02-13 17:46:48 -08:00

gia

Integrated new proof-logging into proof-based gate-level abstraction.

2011-12-08 22:42:50 -08:00

hop

Trying to make sorting of nodes platform-indendent.

2011-12-15 12:42:42 -08:00

int

Started experiments with a new solver.

2011-11-25 18:08:48 -08:00

ioa

Changes to read multi-output testcases described using AIGER 1.9.

2011-11-06 23:15:27 -08:00

ivy

Trying to make sorting of nodes platform-indendent.

2011-12-15 12:42:42 -08:00

kit

Added support for generating a library of real-life truth-tables.

2011-12-09 00:37:05 -08:00

live

Changed internal includes to be in quotes rather than in <>.

2011-03-09 18:39:53 -08:00

llb

Fixed &reachy to perform reparametrization in case reachability is disabled.

2011-11-03 19:32:20 -05:00

mem

Made abc.h independent of CUDD and Extra.

2011-03-03 12:28:52 -08:00

mfx

Cumulative changes in the last few weeks.

2011-01-13 12:38:59 -08:00

ntl

Sequential cleanup with symbolic/ternary simulation.

2011-08-24 17:39:57 +07:00

nwk

Cumulative changes of the last two weeks.

2011-02-01 15:47:55 -08:00

rwt

initial commit of public abc

2010-11-01 01:35:04 -07:00

saig

Trying to make sorting of nodes platform-indendent.

2011-12-15 12:42:42 -08:00

ssw

Trying to add BMC to random simulation.

2011-11-06 23:16:24 -08:00

tim

initial commit of public abc

2010-11-01 01:35:04 -07:00