summaryrefslogtreecommitdiffstats
path: root/src/base/io/ioAbc.h
Commit message (Collapse)AuthorAgeFilesLines
* Adding switch -a to 'write_verilog' to write factored forms without XORs and ↵Alan Mishchenko2017-12-031-1/+1
| | | | MUXes.
* Parser for JSON format.Alan Mishchenko2016-10-251-0/+5
|
* Adding 'read_pla -d' to read dc-set along with on-set (useful to derive offset).Alan Mishchenko2016-05-121-1/+1
|
* Added Exorcism package, reading ESOP (read_pla -x file.esop) and deriving ↵Alan Mishchenko2016-04-111-1/+1
| | | | AIG (cubes -x; st).
* Adding switch '-b' in 'read_pla'.Alan Mishchenko2015-03-181-1/+1
|
* Esperiments with MO PLA optimization.Alan Mishchenko2015-02-031-0/+2
|
* Adding barrier buffers.Alan Mishchenko2014-03-161-1/+1
|
* Added hierarchical BLIF output for mapping with LUT structures (write_blif ↵Alan Mishchenko2012-10-241-1/+1
| | | | -a -S <XYZ>).
* Modified 'read' to read all types of libraries (genlib, liberty, scl).Alan Mishchenko2012-09-201-0/+1
|
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-2/+2
|
* Graph isomorphism checking code.Alan Mishchenko2012-02-111-1/+1
|
* Major restructuring of the code.Alan Mishchenko2012-01-211-4/+4
|
* Modified write_blif to output LUT structures.Alan Mishchenko2011-10-041-1/+1
|
* Added dumping CEXes in AIGER format.Alan Mishchenko2011-06-211-0/+1
|
* Special BLIF writing.Alan Mishchenko2011-05-181-0/+1
|
* Several bug fixes and other improvements.Alan Mishchenko2011-03-121-1/+0
|
* Made abc.h independent of CUDD and Extra.Alan Mishchenko2011-03-031-0/+1
|
* initial commit of public abcAlan Mishchenko2010-11-011-9/+17
|
* Version abc90310Alan Mishchenko2009-03-101-0/+5
|
* Version abc90215Alan Mishchenko2009-02-151-4/+4
|
* Version abc90118Alan Mishchenko2009-01-181-0/+3
|
* Version abc80508Alan Mishchenko2008-05-081-0/+146
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-15 10:28:15 +0000