index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
backends
/
aiger
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merge remote-tracking branch 'origin/master' into xaig_dff
Eddie Hung
2019-08-19
1
-1
/
+1
|
\
|
*
Fix various NDEBUG compiler warnings, closes #1255
Clifford Wolf
2019-08-13
1
-1
/
+1
*
|
Use %d
Eddie Hung
2019-08-19
1
-1
/
+1
*
|
Merge branch 'eddie/abc9_refactor' into xaig_dff
Eddie Hung
2019-08-16
1
-62
/
+25
|
\
\
|
*
|
Compute abc_scc_break and move CI/CO outside of each abc9
Eddie Hung
2019-08-16
1
-42
/
+0
|
|
/
|
*
Merge pull request #1258 from YosysHQ/eddie/cleanup
Clifford Wolf
2019-08-10
1
-5
/
+5
|
|
\
|
|
*
RTLIL::S{0,1} -> State::S{0,1}
Eddie Hung
2019-08-06
1
-5
/
+5
|
*
|
Run "clean -purge" on holes_module in its own design
Eddie Hung
2019-08-07
1
-6
/
+11
|
|
/
|
*
Merge pull request #1238 from mmicko/vsbuild_fix
Clifford Wolf
2019-08-02
1
-1
/
+1
|
|
\
|
|
*
Visual Studio build fix
Miodrag Milanovic
2019-07-31
1
-1
/
+1
|
*
|
Fix formatting for msys2 mingw build using GetSize
Miodrag Milanovic
2019-08-01
1
-6
/
+6
|
|
/
*
|
abc_flop to also get topologically sorted
Eddie Hung
2019-07-10
1
-11
/
+10
*
|
Fix clk_pol for FD*_1
Eddie Hung
2019-07-10
1
-1
/
+0
*
|
Fix spacing
Eddie Hung
2019-07-10
1
-1
/
+1
*
|
Change how to specify flops to ABC again
Eddie Hung
2019-07-10
1
-10
/
+20
*
|
Use split_tokens()
Eddie Hung
2019-07-10
1
-17
/
+11
*
|
Merge remote-tracking branch 'origin/master' into xaig_dff
Eddie Hung
2019-07-10
1
-10
/
+20
|
\
|
|
*
Rename __builtin_bswap32 -> bswap32
Eddie Hung
2019-07-09
1
-4
/
+6
|
*
write_xaiger to treat unknown cell connections as keep-s
Eddie Hung
2019-07-02
1
-6
/
+14
*
|
Safe side: all flops have different mergeability class
Eddie Hung
2019-07-02
1
-1
/
+1
*
|
Refactor and cope with new abc_flop format
Eddie Hung
2019-07-01
1
-16
/
+38
*
|
Merge remote-tracking branch 'origin/master' into xaig_dff
Eddie Hung
2019-07-01
2
-98
/
+160
|
\
|
|
*
Add generic __builtin_bswap32 function
Eddie Hung
2019-06-28
1
-0
/
+15
|
*
Also fix write_aiger for UB
Eddie Hung
2019-06-28
1
-26
/
+26
|
*
Fix more potential for undefined behaviour due to container invalidation
Eddie Hung
2019-06-28
1
-6
/
+10
|
*
Refactor for one "abc_carry" attribute on module
Eddie Hung
2019-06-27
1
-42
/
+40
|
*
Improve debugging message for comb loops
Eddie Hung
2019-06-26
1
-4
/
+6
|
*
Carry in/out box ordering now move to end, not swap with end
Eddie Hung
2019-06-22
1
-26
/
+34
|
*
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
|
*
Fix spacing
Eddie Hung
2019-06-20
1
-1
/
+1
|
*
Refactor bit2aig for less lookups
Eddie Hung
2019-06-20
1
-24
/
+27
|
*
Fix gcc invalidation behaviour for write_aiger
Eddie Hung
2019-06-20
1
-1
/
+2
|
*
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
|
*
Merge remote-tracking branch 'origin/master' into xaig
Eddie Hung
2019-06-20
1
-0
/
+1
|
|
\
|
|
*
Support filename rewrite in backends
Ben Widawsky
2019-06-18
1
-0
/
+1
|
*
|
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
[next]