index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
frontends
/
aiger
Commit message (
Expand
)
Author
Age
Files
Lines
*
read_aiger: set abc9_box_seq attr
Eddie Hung
2020-01-24
1
-0
/
+1
*
read_aiger: also parse abc9_mergeability
Eddie Hung
2020-01-22
2
-2
/
+6
*
read_aiger: discard LUT inputs with nodeID == 0; not < 2
Eddie Hung
2020-01-21
1
-1
/
+1
*
read_aiger: ignore constant inputs on LUTs
Eddie Hung
2020-01-21
1
-3
/
+7
*
Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor
Eddie Hung
2020-01-15
1
-2
/
+2
|
\
|
*
read_aiger: $lut prefix in front
Eddie Hung
2020-01-15
1
-2
/
+2
*
|
Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor
Eddie Hung
2020-01-14
2
-13
/
+17
|
\
|
|
*
read_aiger: also rename "$0"
Eddie Hung
2020-01-14
1
-2
/
+2
|
*
read_aiger: uniquify wires with $aiger<autoidx> prefix
Eddie Hung
2020-01-13
2
-9
/
+13
|
*
read_aiger: make $and/$not/$lut the prefix not suffix
Eddie Hung
2020-01-13
1
-5
/
+5
*
|
abc9: break SCC by setting (* keep *) on output wires
Eddie Hung
2020-01-13
1
-1
/
+3
*
|
read_aiger: more accurate debug message
Eddie Hung
2020-01-09
1
-2
/
+4
*
|
read_aiger: do not double-count outputs for flops
Eddie Hung
2020-01-09
1
-6
/
+0
*
|
Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor
Eddie Hung
2020-01-07
1
-5
/
+20
|
\
|
|
*
read_aiger: consistency between ascii and binary; also name latches
Eddie Hung
2020-01-07
1
-3
/
+9
|
*
read_aiger: connect identical signals together
Eddie Hung
2020-01-07
1
-0
/
+1
|
*
read_aiger: cope with latches and POs with same name
Eddie Hung
2020-01-07
1
-2
/
+12
|
*
read_aiger: default -clk_name to be empty
Eddie Hung
2020-01-07
1
-1
/
+1
*
|
read_aiger fixes
Eddie Hung
2020-01-07
1
-5
/
+5
*
|
read_aiger: do not process box connections, work standalone
Eddie Hung
2020-01-07
1
-115
/
+46
*
|
read_aiger: consistency between ascii and binary
Eddie Hung
2020-01-07
1
-13
/
+7
*
|
read_aiger: add -xaiger option
Eddie Hung
2020-01-06
1
-7
/
+17
|
/
*
parse_xaiger to not take box_lookup
Eddie Hung
2019-12-31
2
-18
/
+20
*
parse_xaiger to reorder ports too
Eddie Hung
2019-12-31
1
-41
/
+26
*
aiger frontend to user shorter, $-prefixed, names
Eddie Hung
2019-12-17
1
-14
/
+14
*
Cleanup xaiger, remove unnecessary complexity with inout
Eddie Hung
2019-12-17
1
-23
/
+4
*
read_xaiger to cope with optional '\n' after 'c'
Eddie Hung
2019-12-17
1
-2
/
+2
*
Name inputs/outputs of aiger 'i%d' and 'o%d'
Eddie Hung
2019-12-13
1
-13
/
+6
*
Call abc9 with "&write -n", and parse_xaiger() to cope
Eddie Hung
2019-12-06
1
-92
/
+85
*
Do not connect undriven POs to 1'bx
Eddie Hung
2019-12-06
1
-8
/
+3
*
Consistent log message, ignore 's' extension
Eddie Hung
2019-11-20
1
-2
/
+3
*
Fix merge issues
Eddie Hung
2019-10-04
1
-1
/
+1
*
Merge remote-tracking branch 'origin/eddie/abc_to_abc9' into xaig_dff
Eddie Hung
2019-10-04
1
-4
/
+4
|
\
|
*
Rename abc_* names/attributes to more precisely be abc9_*
Eddie Hung
2019-10-04
1
-4
/
+4
*
|
Cleanup $currQ from aigerparse
Eddie Hung
2019-09-30
1
-2
/
+0
*
|
Merge remote-tracking branch 'origin/master' into xaig_dff
Eddie Hung
2019-09-30
1
-2
/
+6
|
\
|
|
*
Merge pull request #1416 from YosysHQ/mmicko/frontend_binary_in
Miodrag Milanović
2019-09-30
1
-2
/
+6
|
|
\
|
|
*
Fix reading aig files on windows
Miodrag Milanovic
2019-09-29
1
-1
/
+5
|
|
*
Open aig frontend as binary file
Miodrag Milanovic
2019-09-29
1
-1
/
+1
|
|
*
Merge pull request #1355 from YosysHQ/eddie/peepopt_dffmuxext
Eddie Hung
2019-09-18
1
-1
/
+1
|
|
|
\
*
|
|
|
Merge remote-tracking branch 'origin/master' into xaig_dff
Eddie Hung
2019-09-29
1
-2
/
+2
|
\
|
|
|
|
*
|
|
Force $inout.out ports to begin with '$' to indicate internal
Eddie Hung
2019-09-23
1
-2
/
+2
|
*
|
|
Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dsp
Eddie Hung
2019-09-05
1
-1
/
+1
|
|
\
\
\
|
|
|
/
/
|
|
/
|
/
|
|
|
/
|
|
*
Revert "parse_xaiger() to do "clean -purge""
Eddie Hung
2019-09-04
1
-1
/
+1
|
*
|
Merge remote-tracking branch 'origin/master' into xaig_arrival
Eddie Hung
2019-08-30
1
-1
/
+1
|
|
\
|
|
|
*
parse_xaiger() to do "clean -purge"
Eddie Hung
2019-08-29
1
-1
/
+1
|
|
*
Fix typo
Eddie Hung
2019-08-19
1
-1
/
+1
*
|
|
Big rework; flop info now mostly in cells_sim.v
Eddie Hung
2019-09-28
1
-6
/
+13
*
|
|
Revert "Remove sequential extension"
Eddie Hung
2019-08-20
1
-2
/
+33
|
/
/
*
|
Remove sequential extension
Eddie Hung
2019-08-20
1
-33
/
+2
[next]
