index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
backends
/
aiger
/
aiger.cc
Commit message (
Expand
)
Author
Age
Files
Lines
*
write_aiger: Fix non-$_FF_ FFs
Jannis Harder
2022-08-18
1
-1
/
+1
*
aiger: Add yosys-witness support
Jannis Harder
2022-08-16
1
-0
/
+169
*
aiger: Support $anyinit cells
Jannis Harder
2022-08-16
1
-0
/
+11
*
Add -no-startoffset option to write_aiger
Miodrag Milanovic
2022-03-25
1
-8
/
+17
*
Fixing old e-mail addresses and deadnames
Claire Xenia Wolf
2021-06-08
1
-1
/
+1
*
use the new isPublic() in a few places
N. Engelhardt
2020-09-14
1
-1
/
+1
*
Use C++11 final/override keywords.
whitequark
2020-06-18
1
-2
/
+2
*
aiger: fixes for ports that have start_offset != 0
Eddie Hung
2020-05-02
1
-6
/
+6
*
kernel: big fat patch to use more ID::*, otherwise ID(*)
Eddie Hung
2020-04-02
1
-18
/
+18
*
kernel: use more ID::*
Eddie Hung
2020-04-02
1
-12
/
+12
*
write_aiger: make more robust
Eddie Hung
2020-01-06
1
-0
/
+8
*
Fix write_aiger bug added in 524af21
Clifford Wolf
2019-11-04
1
-0
/
+3
*
Add aiger and protobuf backends binary support
Miodrag Milanovic
2019-09-28
1
-1
/
+1
*
Add "write_aiger -L"
Clifford Wolf
2019-09-18
1
-5
/
+16
*
Also fix write_aiger for UB
Eddie Hung
2019-06-28
1
-26
/
+26
*
Fix spacing
Eddie Hung
2019-06-20
1
-1
/
+1
*
Fix gcc invalidation behaviour for write_aiger
Eddie Hung
2019-06-20
1
-1
/
+2
*
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
*
|
Spelling
Eddie Hung
2019-04-18
1
-1
/
+1
|
/
*
Add "write_aiger -I -O -B"
Clifford Wolf
2018-11-12
1
-2
/
+36
*
Consistent use of 'override' for virtual methods in derived classes.
Henner Zeller
2018-07-20
1
-2
/
+2
*
Fix generation of multiple outputs for same AIG node in write_aiger
Clifford Wolf
2017-07-05
1
-13
/
+30
*
Include output ports with constant driver in AIGER output
Clifford Wolf
2017-07-03
1
-2
/
+18
*
Fix AIGER back-end for multiple symbols per input/latch/output/property
Clifford Wolf
2017-05-30
1
-8
/
+20
*
Improve write_aiger handling of unconnected nets and constants
Clifford Wolf
2017-05-28
1
-7
/
+61
*
Add write_aiger $anyseq support
Clifford Wolf
2017-03-02
1
-0
/
+7
*
Add $live and $fair support to AIGER back-end.
Clifford Wolf
2017-02-25
1
-8
/
+104
*
Added $anyconst support to AIGER back-end
Clifford Wolf
2016-12-11
1
-0
/
+7
*
Added $assert/$assume support to AIGER back-end
Clifford Wolf
2016-12-03
1
-10
/
+51
*
Added "write_aiger -zinit -symbols -vmap"
Clifford Wolf
2016-12-01
1
-30
/
+139
*
Added "write_aiger" command
Clifford Wolf
2016-11-30
1
-0
/
+395