index
:
iCE40/yosys
master
clone of https://github.com/YosysHQ/yosys
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
backends
/
aiger
/
xaiger.cc
Commit message (
Expand
)
Author
Age
Files
Lines
...
|
*
Replace assert with error message
Eddie Hung
2019-06-21
1
-1
/
+2
|
*
Add log_push()/log_pop() inside write_xaiger
Eddie Hung
2019-06-21
1
-0
/
+4
|
*
One more workaround for gcc-4.8
Eddie Hung
2019-06-21
1
-3
/
+4
|
*
No point logging constant bit
Eddie Hung
2019-06-21
1
-1
/
+1
|
*
Move comment
Eddie Hung
2019-06-21
1
-2
/
+3
|
*
Refactor bit2aig for less lookups
Eddie Hung
2019-06-20
1
-24
/
+27
|
*
Fix gcc error, due to dict invalidation during recursion
Eddie Hung
2019-06-20
1
-2
/
+3
|
*
write_xaiger to flatten 1'bx/1'bz to 1'b0 again
Eddie Hung
2019-06-20
1
-2
/
+4
|
*
Fix different abc9 test
Eddie Hung
2019-06-20
1
-2
/
+3
|
*
Fix broken abc9.v test due to inout being 1'bx
Eddie Hung
2019-06-20
1
-2
/
+11
|
*
Handle COs driven by 1'bx
Eddie Hung
2019-06-20
1
-3
/
+9
|
*
write_xaiger to skip POs driven by 1'bx
Eddie Hung
2019-06-20
1
-3
/
+7
|
*
Cleanup
Eddie Hung
2019-06-16
1
-228
/
+25
*
|
Cleanup
Eddie Hung
2019-06-16
1
-39
/
+30
*
|
Cleanup write_xaiger
Eddie Hung
2019-06-15
1
-15
/
+10
*
|
Preserve init of flops, and write into XAIG
Eddie Hung
2019-06-15
1
-5
/
+30
*
|
Do not treat $__ABC_FF_ as a user cell
Eddie Hung
2019-06-15
1
-9
/
+9
*
|
Update comment
Eddie Hung
2019-06-15
1
-1
/
+1
*
|
Use $__ABC_FF_ instead of $_FF_
Eddie Hung
2019-06-15
1
-2
/
+2
*
|
Update comment
Eddie Hung
2019-06-15
1
-1
/
+1
*
|
write_xaiger to treat abc_flop boxes as boxff for ABC
Eddie Hung
2019-06-15
1
-122
/
+105
|
/
*
Leave breadcrumb behind
Eddie Hung
2019-06-14
1
-0
/
+2
*
Remove redundant condition
Eddie Hung
2019-06-14
1
-1
/
+1
*
Revert "Cleanup/optimise toposort in write_xaiger"
Eddie Hung
2019-06-14
1
-44
/
+40
*
Update comment
Eddie Hung
2019-06-14
1
-1
/
+2
*
Check that whiteboxes are synthesisable
Eddie Hung
2019-06-14
1
-4
/
+8
*
Get rid of compiler warnings
Eddie Hung
2019-06-14
1
-2
/
+2
*
Cover __APPLE__ too for little to big endian
Eddie Hung
2019-06-14
1
-4
/
+9
*
Further cleanup based on @daveshah1
Eddie Hung
2019-06-14
1
-27
/
+21
*
Resolve comments from @daveshah1
Eddie Hung
2019-06-14
1
-14
/
+8
*
Remove WIP ABC9 flop support
Eddie Hung
2019-06-14
1
-33
/
+33
*
Cleanup
Eddie Hung
2019-06-14
1
-1
/
+0
*
Merge branch 'xaig' of github.com:YosysHQ/yosys into xaig
Eddie Hung
2019-06-14
1
-2
/
+1
|
\
|
*
ecp5: Add abc9 option
David Shah
2019-06-14
1
-2
/
+1
*
|
Cleanup/optimise toposort in write_xaiger
Eddie Hung
2019-06-14
1
-54
/
+47
|
/
*
Remove unnecessary undriven_bits.insert
Eddie Hung
2019-06-12
1
-4
/
+1
*
write_xaiger to preserve POs even if driven by constant
Eddie Hung
2019-06-12
1
-7
/
+6
*
Add a couple more tests
Eddie Hung
2019-06-12
1
-21
/
+18
*
More write_xaiger cleanup
Eddie Hung
2019-06-12
1
-40
/
+12
*
Cleanup write_xaiger
Eddie Hung
2019-06-12
1
-92
/
+6
*
Consistency
Eddie Hung
2019-06-12
1
-1
/
+1
*
Add log_assert to ensure no loops
Eddie Hung
2019-06-04
1
-1
/
+15
*
Only toposort builtin and abc types
Eddie Hung
2019-06-04
1
-6
/
+9
*
When creating new holes cell, inherit parameters too
Eddie Hung
2019-06-03
1
-1
/
+3
*
ABC9 to understand flops
Eddie Hung
2019-05-31
1
-46
/
+27
*
Merge branch 'xaig' into xc7mux
Eddie Hung
2019-05-31
1
-8
/
+79
|
\
|
*
Fix abc9 with (* keep *) wires
Eddie Hung
2019-04-23
1
-6
/
+14
|
*
Revert "Temporarily remove 'r' extension"
Eddie Hung
2019-04-22
1
-7
/
+77
*
|
Fix issue where keep signal became PI, but also box was adding CI driver
Eddie Hung
2019-05-30
1
-5
/
+19
*
|
Do not re-sort box_module ports
Eddie Hung
2019-05-30
1
-4
/
+6
[prev]
[next]