summaryrefslogtreecommitdiffstats
path: root/src/base/io/ioAbc.h
Commit message (Expand)AuthorAgeFilesLines
* Adding switch -a to 'write_verilog' to write factored forms without XORs and ...Alan Mishchenko2017-12-031-1/+1
* 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 AIG...Alan Mishchenko2016-04-111-1/+1
* 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 -a...Alan Mishchenko2012-10-241-1/+1
* 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