| .. |
|
io.c
|
Add skip feature to CEX printing.
|
2019-02-08 13:06:20 -08:00 |
|
ioAbc.h
|
Adding switch -a to 'write_verilog' to write factored forms without XORs and MUXes.
|
2017-12-03 14:39:11 -08:00 |
|
ioInt.h
|
Major restructuring of the code.
|
2012-01-21 04:30:10 -08:00 |
|
ioJson.c
|
Parser for JSON format.
|
2016-10-25 17:17:37 -07:00 |
|
ioReadAiger.c
|
Adding out-of-bounds checks to AIGER readers.
|
2014-09-28 12:17:02 -07:00 |
|
ioReadBaf.c
|
Silencing some of the gcc warnings.
|
2012-02-16 21:53:16 -08:00 |
|
ioReadBblif.c
|
Compiler warnings.
|
2017-07-22 11:41:17 +07:00 |
|
ioReadBench.c
|
Extension in the detection code.
|
2016-07-19 20:44:02 -07:00 |
|
ioReadBlif.c
|
Several additional fixed in the timing manager.
|
2015-04-07 00:33:20 +07:00 |
|
ioReadBlifAig.c
|
Updating project settings to have simpler include paths.
|
2012-07-07 20:14:12 -07:00 |
|
ioReadBlifMv.c
|
Deriving AIG after cell mapping.
|
2014-10-03 17:15:43 -07:00 |
|
ioReadDsd.c
|
Fixed a typo in variable names.
|
2015-02-07 22:29:14 -08:00 |
|
ioReadEdif.c
|
Made abc.h independent of CUDD and Extra.
|
2011-03-03 12:28:52 -08:00 |
|
ioReadEqn.c
|
Changing 'refactor' to work with truth tables.
|
2015-08-25 11:02:34 -07:00 |
|
ioReadPla.c
|
Fixing minimize_assuptions using Glucose.
|
2017-10-02 21:31:34 +03:00 |
|
ioReadPlaMo.c
|
Unsuccessful attempt to improve quality of factoring by limiting distance-1 merge during preprocessing.
|
2016-08-06 00:17:18 -07:00 |
|
ioReadVerilog.c
|
Renamed Abc_Lib_t into Abc_Des_t and removed some dead code.
|
2014-04-09 10:16:07 -07:00 |
|
ioUtil.c
|
Adding switch -a to 'write_verilog' to write factored forms without XORs and MUXes.
|
2017-12-03 14:39:11 -08:00 |
|
ioWriteAiger.c
|
Bug fix in 'write_aiger_cex'.
|
2017-12-20 15:41:39 -08:00 |
|
ioWriteBaf.c
|
initial commit of public abc
|
2010-11-01 01:35:04 -07:00 |
|
ioWriteBblif.c
|
Updating project settings to have simpler include paths.
|
2012-07-07 20:14:12 -07:00 |
|
ioWriteBench.c
|
Fixed a typo in variable names.
|
2015-02-07 22:29:14 -08:00 |
|
ioWriteBlif.c
|
Suggested white-space changes for fewer gcc warnings.
|
2019-03-04 14:29:57 -08:00 |
|
ioWriteBlifMv.c
|
Updating project settings to have simpler include paths.
|
2012-07-07 20:14:12 -07:00 |
|
ioWriteBook.c
|
Compiler warnings.
|
2013-10-17 18:04:07 -07:00 |
|
ioWriteCnf.c
|
Updating project settings to have simpler include paths.
|
2012-07-07 20:14:12 -07:00 |
|
ioWriteDot.c
|
Improvements in AIG visualization.
|
2017-02-05 12:28:34 -08:00 |
|
ioWriteEqn.c
|
Fixed a typo in variable names.
|
2015-02-07 22:29:14 -08:00 |
|
ioWriteGml.c
|
initial commit of public abc
|
2010-11-01 01:35:04 -07:00 |
|
ioWriteList.c
|
Fixed a typo in variable names.
|
2015-02-07 22:29:14 -08:00 |
|
ioWritePla.c
|
Adding switch to 'write_pla' to write random onset minterms of the first PO function (bug fix).
|
2018-09-29 08:26:48 -07:00 |
|
ioWriteSmv.c
|
Fixed a typo in variable names.
|
2015-02-07 22:29:14 -08:00 |
|
ioWriteVerilog.c
|
Adding switch -a to 'write_verilog' to write factored forms without XORs and MUXes.
|
2017-12-03 14:39:11 -08:00 |
|
module.make
|
Parser for JSON format.
|
2016-10-25 17:17:37 -07:00 |
bc288a7633