projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge branch 'master' of https://github.com/YosysHQ/yosys into gowin
[yosys.git]
/
backends
/
aiger
/
xaiger.cc
2019-10-21
Pepijn de Vos
Merge branch 'master' of https://github.com/YosysHQ...
blob
|
commitdiff
|
raw
2019-10-18
Miodrag Milanović
Merge branch 'master' into mmicko/efinix
blob
|
commitdiff
|
raw
2019-10-18
Miodrag Milanović
Merge branch 'master' into mmicko/anlogic
blob
|
commitdiff
|
raw
2019-10-18
Miodrag Milanović
Merge branch 'master' into eddie/pr1352
blob
|
commitdiff
|
raw
2019-10-14
Clifford Wolf
Use "(id)" instead of "id" for types as temporary hack
blob
|
commitdiff
|
raw
2019-10-08
Eddie Hung
Merge pull request #1432 from YosysHQ/eddie/fix1427
blob
|
commitdiff
|
raw
2019-10-08
Eddie Hung
Merge pull request #1433 from YosysHQ/eddie/equiv_opt_a...
blob
|
commitdiff
|
raw
2019-10-08
Eddie Hung
Merge pull request #1437 from YosysHQ/eddie/abc_to_abc9
blob
|
commitdiff
|
raw
2019-10-05
Eddie Hung
Merge branch 'master' into eddie/abc_to_abc9
blob
|
commitdiff
|
raw
2019-10-04
Eddie Hung
Rename abc_* names/attributes to more precisely be...
blob
|
commitdiff
|
raw
2019-10-01
Sergey
Merge branch 'master' into SergeyDegtyar/efinix
blob
|
commitdiff
|
raw
|
diff to current
2019-10-01
Sergey
Merge branch 'master' into SergeyDegtyar/anlogic
blob
|
commitdiff
|
raw
|
diff to current
2019-09-30
Eddie Hung
Merge branch 'SergeyDegtyar/ecp5' of https://github...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-30
whitequark
Merge pull request #1406 from whitequark/connect_rpc
blob
|
commitdiff
|
raw
|
diff to current
2019-09-30
Eddie Hung
Merge pull request #1397 from btut/fix/python_wrappers_...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-30
Miodrag Milanović
Merge pull request #1416 from YosysHQ/mmicko/frontend_b...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-30
Clifford Wolf
Merge pull request #1412 from YosysHQ/eddie/equiv_opt_a...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-30
Eddie Hung
Merge pull request #1414 from hzeller/improve-replace...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-29
Eddie Hung
Merge pull request #1359 from YosysHQ/xc7dsp
blob
|
commitdiff
|
raw
|
diff to current
2019-09-29
Miodrag Milanović
Merge pull request #1413 from YosysHQ/mmicko/backend_bi...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-28
Miodrag Milanovic
Support binary files for backends, fixes #1407
blob
|
commitdiff
|
raw
|
diff to current
2019-09-27
Aman Goel
Merge pull request #7 from YosysHQ/master
blob
|
commitdiff
|
raw
|
diff to current
2019-09-25
Eddie Hung
Merge pull request #1401 from SergeyDegtyar/SergeyDegty...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-24
Eddie Hung
"abc_padding" attr for blackbox outputs that were padde...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-24
Eddie Hung
Force $inout.out ports to begin with '$' to indicate...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-23
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7dsp
blob
|
commitdiff
|
raw
|
diff to current
2019-09-20
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7dsp
blob
|
commitdiff
|
raw
|
diff to current
2019-09-19
Eddie Hung
Merge remote-tracking branch 'origin/clifford/fix1381...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-19
Eddie Hung
When two boxes connect to each other, need not be a...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-18
Eddie Hung
Merge pull request #1355 from YosysHQ/eddie/peepopt_dff...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-11
Eddie Hung
Merge remote-tracking branch 'origin/eddie/peepopt_dffm...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-11
Eddie Hung
Merge remote-tracking branch 'origin/eddie/peepopt_dffm...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-11
Eddie Hung
Merge remote-tracking branch 'origin/eddie/peepopt_dffm...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-07
Eddie Hung
Merge branch 'master' of github.com:YosysHQ/yosys
blob
|
commitdiff
|
raw
|
diff to current
2019-09-05
Eddie Hung
Merge remote-tracking branch 'origin/eddie/peepopt_dffm...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-05
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7dsp
blob
|
commitdiff
|
raw
|
diff to current
2019-09-05
Eddie Hung
Merge pull request #1312 from YosysHQ/xaig_arrival
blob
|
commitdiff
|
raw
|
diff to current
2019-09-04
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-04
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7dsp
blob
|
commitdiff
|
raw
|
diff to current
2019-09-04
Pepijn de Vos
Merge remote-tracking branch 'diego/gowin'
blob
|
commitdiff
|
raw
|
diff to current
2019-09-04
Pepijn de Vos
Merge branch 'master' of https://github.com/YosysHQ...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-03
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-02
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-02
Eddie Hung
Merge branch 'master' of github.com:YosysHQ/yosys
blob
|
commitdiff
|
raw
|
diff to current
2019-09-02
Eddie Hung
Recognise built-in types (e.g. $_DFF_*)
blob
|
commitdiff
|
raw
|
diff to current
2019-08-31
Eddie Hung
Recognise built-in types (e.g. $_DFF_*)
blob
|
commitdiff
|
raw
|
diff to current
2019-08-30
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-30
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-30
Eddie Hung
Merge branch 'eddie/xilinx_srl' into xaig_arrival
blob
|
commitdiff
|
raw
|
diff to current
2019-08-30
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-30
David Shah
Merge branch 'master' into xc7dsp
blob
|
commitdiff
|
raw
|
diff to current
2019-08-29
Sergey
Merge pull request #3 from YosysHQ/Sergey/tests_ice40
blob
|
commitdiff
|
raw
|
diff to current
2019-08-29
Eddie Hung
Merge remote-tracking branch 'origin/eddie/fix_carry_wr...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-29
Eddie Hung
Revert "Revert "Fix omode which inserts an output if...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-29
Eddie Hung
Revert "Output "h" extension only if boxes"
blob
|
commitdiff
|
raw
|
diff to current
2019-08-29
Eddie Hung
Merge remote-tracking branch 'origin/eddie/fix_carry_wr...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-29
Eddie Hung
Merge remote-tracking branch 'origin/eddie/fix_carry_wr...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-28
Eddie Hung
Merge branch 'eddie/xilinx_srl' into xaig_arrival
blob
|
commitdiff
|
raw
|
diff to current
2019-08-28
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-28
Eddie Hung
Merge remote-tracking branch 'origin/clifford/async2syn...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-26
Clifford Wolf
Merge tag 'yosys-0.9'
blob
|
commitdiff
|
raw
|
diff to current
2019-08-25
Clifford Wolf
Merge pull request #1112 from acw1251/pyosys_sigsig_issue
blob
|
commitdiff
|
raw
|
diff to current
2019-08-23
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-23
Eddie Hung
Merge remote-tracking branch 'origin/master' into mwk...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-22
Clifford Wolf
Merge pull request #1289 from mmicko/anlogic_fixes
blob
|
commitdiff
|
raw
|
diff to current
2019-08-22
Clifford Wolf
Merge pull request #1281 from mmicko/efinix
blob
|
commitdiff
|
raw
|
diff to current
2019-08-21
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-21
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-21
Eddie Hung
Output "h" extension only if boxes
blob
|
commitdiff
|
raw
|
diff to current
2019-08-21
Eddie Hung
Revert "Fix omode which inserts an output if none exist...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-21
Eddie Hung
Fix omode which inserts an output if none exists (other...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-21
Eddie Hung
Revert "Only xaig if GetSize(output_bits) > 0"
blob
|
commitdiff
|
raw
|
diff to current
2019-08-21
Eddie Hung
Only xaig if GetSize(output_bits) > 0
blob
|
commitdiff
|
raw
|
diff to current
2019-08-21
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7dsp
blob
|
commitdiff
|
raw
|
diff to current
2019-08-21
Eddie Hung
Merge branch 'eddie/fix_techmap' into xaig_arrival
blob
|
commitdiff
|
raw
|
diff to current
2019-08-21
Eddie Hung
Remove sequential extension
blob
|
commitdiff
|
raw
|
diff to current
2019-08-21
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Eddie Hung
Do not sigmap!
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Eddie Hung
Minor refactor
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Eddie Hung
Merge pull request #1209 from YosysHQ/eddie/synth_xilinx
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Eddie Hung
Merge pull request #1304 from YosysHQ/eddie/abc9_refactor
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Eddie Hung
Output i/o/h extensions even if no boxes or flops
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Eddie Hung
Add (* abc_arrival *) attribute
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Eddie Hung
Use %d
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys into...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Eddie Hung
Merge remote-tracking branch 'origin/master' into cliff...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-18
Miodrag Milanovic
Merge remote-tracking branch 'upstream/master' into...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-18
whitequark
Merge branch 'master' into eddie/pr1266_again
blob
|
commitdiff
|
raw
|
diff to current
2019-08-17
Clifford Wolf
Merge pull request #1283 from YosysHQ/clifford/fix1255
blob
|
commitdiff
|
raw
|
diff to current
2019-08-16
Eddie Hung
Merge branch 'eddie/abc9_refactor' into xaig_dff
blob
|
commitdiff
|
raw
|
diff to current
2019-08-16
Eddie Hung
Compute abc_scc_break and move CI/CO outside of each...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-16
Eddie Hung
Merge pull request #1250 from bwidawsk/master
blob
|
commitdiff
|
raw
|
diff to current
2019-08-16
Eddie Hung
Merge https://github.com/bogdanvuk/yosys into bogdanvuk...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-15
Clifford Wolf
Merge branch 'master' into clifford/fix1255
blob
|
commitdiff
|
raw
|
diff to current
2019-08-13
Clifford Wolf
Fix various NDEBUG compiler warnings, closes #1255
blob
|
commitdiff
|
raw
|
diff to current
2019-08-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7dsp
blob
|
commitdiff
|
raw
|
diff to current
next