aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/aiger
Commit message (Expand)AuthorAgeFilesLines
* Remove YS_ATTRIBUTE(unused) where present just for log_assert()/log_debug().whitequark2020-06-191-10/+10
* Use C++11 final/override keywords.whitequark2020-06-181-2/+2
* aiger: cleanupEddie Hung2020-05-251-2/+5
* aiger: -xaiger to return $_FF_ flopsEddie Hung2020-05-141-15/+2
* aiger/xaiger: use odd for negedge clk, even for posedgeEddie Hung2020-05-141-4/+3
* aiger: -xaiger to parse initial state back into (* init *) on Q wireEddie Hung2020-05-141-1/+2
* aiger: -xaiger to read $_DFF_[NP]_ back with new clocks createdEddie Hung2020-05-142-3/+24
* aiger: fixes for ports that have start_offset != 0Eddie Hung2020-05-021-30/+47
* aigerparse: only define __STDC_FORMAT_MACROS it not already before.Henner Zeller2020-04-071-0/+2
* kernel: big fat patch to use more ID::*, otherwise ID(*)Eddie Hung2020-04-021-23/+23
* kernel: use more ID::*Eddie Hung2020-04-021-6/+6
* Fix NDEBUG warningsEddie Hung2020-03-191-1/+1
* Add and use SigSpec::reverse()Eddie Hung2020-01-281-3/+3
* xilinx/ice40/ecp5: undo permuting LUT masks in lut_mapEddie Hung2020-01-271-2/+4
* read_aiger: set abc9_box_seq attrEddie Hung2020-01-241-0/+1
* read_aiger: also parse abc9_mergeabilityEddie Hung2020-01-222-2/+6
* read_aiger: discard LUT inputs with nodeID == 0; not < 2Eddie Hung2020-01-211-1/+1
* read_aiger: ignore constant inputs on LUTsEddie Hung2020-01-211-3/+7
* Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-151-2/+2
|\
| * read_aiger: $lut prefix in frontEddie Hung2020-01-151-2/+2
* | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-142-13/+17
|\|
| * read_aiger: also rename "$0"Eddie Hung2020-01-141-2/+2
| * read_aiger: uniquify wires with $aiger<autoidx> prefixEddie Hung2020-01-132-9/+13
| * read_aiger: make $and/$not/$lut the prefix not suffixEddie Hung2020-01-131-5/+5
* | abc9: break SCC by setting (* keep *) on output wiresEddie Hung2020-01-131-1/+3
* | read_aiger: more accurate debug messageEddie Hung2020-01-091-2/+4
* | read_aiger: do not double-count outputs for flopsEddie Hung2020-01-091-6/+0
* | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-071-5/+20
|\|
| * read_aiger: consistency between ascii and binary; also name latchesEddie Hung2020-01-071-3/+9
| * read_aiger: connect identical signals togetherEddie Hung2020-01-071-0/+1
| * read_aiger: cope with latches and POs with same nameEddie Hung2020-01-071-2/+12
| * read_aiger: default -clk_name to be emptyEddie Hung2020-01-071-1/+1
* | read_aiger fixesEddie Hung2020-01-071-5/+5
* | read_aiger: do not process box connections, work standaloneEddie Hung2020-01-071-115/+46
* | read_aiger: consistency between ascii and binaryEddie Hung2020-01-071-13/+7
* | read_aiger: add -xaiger optionEddie Hung2020-01-061-7/+17
|/
* parse_xaiger to not take box_lookupEddie Hung2019-12-312-18/+20
* parse_xaiger to reorder ports tooEddie Hung2019-12-311-41/+26
* aiger frontend to user shorter, $-prefixed, namesEddie Hung2019-12-171-14/+14
* Cleanup xaiger, remove unnecessary complexity with inoutEddie Hung2019-12-171-23/+4
* read_xaiger to cope with optional '\n' after 'c'Eddie Hung2019-12-171-2/+2
* Name inputs/outputs of aiger 'i%d' and 'o%d'Eddie Hung2019-12-131-13/+6
* Call abc9 with "&write -n", and parse_xaiger() to copeEddie Hung2019-12-061-92/+85
* Do not connect undriven POs to 1'bxEddie Hung2019-12-061-8/+3
* Consistent log message, ignore 's' extensionEddie Hung2019-11-201-2/+3
* Fix merge issuesEddie Hung2019-10-041-1/+1
* Merge remote-tracking branch 'origin/eddie/abc_to_abc9' into xaig_dffEddie Hung2019-10-041-4/+4
|\
| * Rename abc_* names/attributes to more precisely be abc9_*Eddie Hung2019-10-041-4/+4
* | Cleanup $currQ from aigerparseEddie Hung2019-09-301-2/+0
* | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-09-301-2/+6
|\|