projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge remote-tracking branch 'origin/eddie/abc9_fixes' into eddie/abc9_refactor
[yosys.git]
/
frontends
/
aiger
/
2020-01-22
Eddie Hung
Merge remote-tracking branch 'origin/eddie/abc9_fixes...
tree
|
commitdiff
2020-01-22
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2020-01-21
Eddie Hung
read_aiger: discard LUT inputs with nodeID == 0; not < 2
tree
|
commitdiff
2020-01-21
Eddie Hung
read_aiger: ignore constant inputs on LUTs
tree
|
commitdiff
2020-01-21
Claire Wolf
Merge pull request #1637 from YosysHQ/mwk/fix-1634
tree
|
commitdiff
2020-01-21
Claire Wolf
Merge pull request #1629 from YosysHQ/mwk/edif-z
tree
|
commitdiff
2020-01-20
Claire Wolf
Merge pull request #1621 from YosysHQ/clifford/fminit
tree
|
commitdiff
2020-01-18
David Shah
Merge pull request #1602 from niklasnisbeth/ice40-init...
tree
|
commitdiff
2020-01-16
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2020-01-16
Eddie Hung
Merge pull request #1639 from YosysHQ/eddie/fix_read_xaiger
tree
|
commitdiff
2020-01-15
Eddie Hung
read_aiger: $lut prefix in front
tree
|
commitdiff
2020-01-15
Miodrag Milanović
Merge pull request #1636 from YosysHQ/eddie/fix_synth_x...
tree
|
commitdiff
2020-01-14
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2020-01-14
Eddie Hung
Merge pull request #1635 from YosysHQ/eddie/print_stats
tree
|
commitdiff
2020-01-14
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2020-01-14
Eddie Hung
Merge pull request #1633 from YosysHQ/eddie/fix_autoname
tree
|
commitdiff
2020-01-14
Eddie Hung
Merge pull request #1632 from YosysHQ/eddie/fix1630
tree
|
commitdiff
2020-01-14
Eddie Hung
read_aiger: also rename "$0"
tree
|
commitdiff
2020-01-14
Eddie Hung
abc9: break SCC by setting (* keep *) on output wires
tree
|
commitdiff
2020-01-14
Eddie Hung
read_aiger: uniquify wires with $aiger<autoidx> prefix
tree
|
commitdiff
2020-01-14
Eddie Hung
read_aiger: make $and/$not/$lut the prefix not suffix
tree
|
commitdiff
2020-01-13
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2020-01-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2020-01-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2020-01-11
Eddie Hung
Merge branch 'eddie/abc9_refactor' of github.com:YosysH...
tree
|
commitdiff
2020-01-09
Eddie Hung
read_aiger: more accurate debug message
tree
|
commitdiff
2020-01-09
Eddie Hung
read_aiger: do not double-count outputs for flops
tree
|
commitdiff
2020-01-08
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2020-01-07
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2020-01-07
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2020-01-07
Eddie Hung
Merge pull request #1618 from YosysHQ/eddie/aiger_fixes
tree
|
commitdiff
2020-01-07
Eddie Hung
read_aiger: consistency between ascii and binary; also...
tree
|
commitdiff
2020-01-07
Eddie Hung
read_aiger fixes
tree
|
commitdiff
2020-01-07
Eddie Hung
read_aiger: connect identical signals together
tree
|
commitdiff
2020-01-07
Eddie Hung
read_aiger: cope with latches and POs with same name
tree
|
commitdiff
2020-01-07
Eddie Hung
read_aiger: default -clk_name to be empty
tree
|
commitdiff
2020-01-07
Eddie Hung
read_aiger: do not process box connections, work standalone
tree
|
commitdiff
2020-01-07
Eddie Hung
read_aiger: consistency between ascii and binary
tree
|
commitdiff
2020-01-07
Eddie Hung
Merge branch 'master' into eddie/abc9_refactor
tree
|
commitdiff
2020-01-07
Eddie Hung
Merge branch 'master' of github.com:YosysHQ/yosys
tree
|
commitdiff
2020-01-07
Eddie Hung
Merge pull request #1181 from YosysHQ/xaig_dff
tree
|
commitdiff
2020-01-06
Eddie Hung
Merge remote-tracking branch 'origin/xaig_dff' into...
tree
|
commitdiff
2020-01-06
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
tree
|
commitdiff
2020-01-06
Eddie Hung
read_aiger: add -xaiger option
tree
|
commitdiff
2020-01-06
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
tree
|
commitdiff
2020-01-06
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
tree
|
commitdiff
2020-01-02
Eddie Hung
Merge remote-tracking branch 'origin/xaig_dff' into...
tree
|
commitdiff
2020-01-02
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2020-01-02
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
tree
|
commitdiff
2020-01-01
Eddie Hung
parse_xaiger to not take box_lookup
tree
|
commitdiff
2020-01-01
Eddie Hung
parse_xaiger to reorder ports too
tree
|
commitdiff
2019-12-31
Eddie Hung
Merge remote-tracking branch 'origin/xaig_dff' into...
tree
|
commitdiff
2019-12-30
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
tree
|
commitdiff
2019-12-20
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
tree
|
commitdiff
2019-12-20
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
tree
|
commitdiff
2019-12-19
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
tree
|
commitdiff
2019-12-17
Eddie Hung
aiger frontend to user shorter, $-prefixed, names
tree
|
commitdiff
2019-12-17
Eddie Hung
Cleanup xaiger, remove unnecessary complexity with...
tree
|
commitdiff
2019-12-17
Eddie Hung
read_xaiger to cope with optional '\n' after 'c'
tree
|
commitdiff
2019-12-14
Eddie Hung
Name inputs/outputs of aiger 'i%d' and 'o%d'
tree
|
commitdiff
2019-12-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
tree
|
commitdiff
2019-12-07
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
tree
|
commitdiff
2019-12-07
Eddie Hung
Call abc9 with "&write -n", and parse_xaiger() to cope
tree
|
commitdiff
2019-12-07
Eddie Hung
Do not connect undriven POs to 1'bx
tree
|
commitdiff
2019-11-28
Eddie Hung
Merge remote-tracking branch 'origin/eddie/submod_po...
tree
|
commitdiff
2019-11-27
Eddie Hung
Merge remote-tracking branch 'origin/eddie/submod_po...
tree
|
commitdiff
2019-11-27
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
tree
|
commitdiff
2019-11-27
Eddie Hung
Merge remote-tracking branch 'origin/eddie/submod_po...
tree
|
commitdiff
2019-11-27
Eddie Hung
Merge remote-tracking branch 'origin/eddie/write_xaiger...
tree
|
commitdiff
2019-11-27
Eddie Hung
Merge remote-tracking branch 'origin/eddie/clkpart...
tree
|
commitdiff
2019-11-27
Eddie Hung
Merge remote-tracking branch 'origin/eddie/submod_po...
tree
|
commitdiff
2019-11-27
Eddie Hung
Merge branch 'master' into xaig_dff
tree
|
commitdiff
2019-11-25
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
tree
|
commitdiff
2019-11-23
Eddie Hung
Merge remote-tracking branch 'origin/eddie/clkpart...
tree
|
commitdiff
2019-11-23
Eddie Hung
Merge remote-tracking branch 'origin/eddie/clkpart...
tree
|
commitdiff
2019-11-23
Eddie Hung
Merge remote-tracking branch 'origin/eddie/clkpart...
tree
|
commitdiff
2019-11-23
Eddie Hung
Merge remote-tracking branch 'origin/eddie/clkpart...
tree
|
commitdiff
2019-11-23
Eddie Hung
Merge remote-tracking branch 'origin/eddie/submod_po...
tree
|
commitdiff
2019-11-23
Eddie Hung
Merge remote-tracking branch 'origin/eddie/submod_po...
tree
|
commitdiff
2019-11-23
Eddie Hung
Merge remote-tracking branch 'origin/eddie/submod_po...
tree
|
commitdiff
2019-11-23
Eddie Hung
Merge remote-tracking branch 'origin/eddie/clkpart...
tree
|
commitdiff
2019-11-23
Eddie Hung
Merge remote-tracking branch 'origin/eddie/submod_po...
tree
|
commitdiff
2019-11-22
Eddie Hung
Merge branch 'eddie/clkpart' into xaig_dff
tree
|
commitdiff
2019-11-22
Eddie Hung
Merge branch 'eddie/clkpart' into xaig_dff
tree
|
commitdiff
2019-11-22
Eddie Hung
Merge branch 'master' of github.com:YosysHQ/yosys
tree
|
commitdiff
2019-11-22
Eddie Hung
Merge remote-tracking branch 'origin/xaig_dff' into...
tree
|
commitdiff
2019-11-22
Eddie Hung
Merge branch 'eddie/xaig_dff_adff' into xaig_dff
tree
|
commitdiff
2019-11-20
Eddie Hung
Consistent log message, ignore 's' extension
tree
|
commitdiff
2019-11-19
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
tree
|
commitdiff
2019-10-27
Clifford Wolf
Merge pull request #1393 from whitequark/write_verilog...
tree
|
commitdiff
2019-10-21
Pepijn de Vos
Merge branch 'master' of https://github.com/YosysHQ...
tree
|
commitdiff
2019-10-18
Miodrag Milanović
Merge branch 'master' into mmicko/efinix
tree
|
commitdiff
2019-10-18
Miodrag Milanović
Merge branch 'master' into mmicko/anlogic
tree
|
commitdiff
2019-10-18
Miodrag Milanović
Merge branch 'master' into eddie/pr1352
tree
|
commitdiff
2019-10-14
Clifford Wolf
Use "(id)" instead of "id" for types as temporary hack
tree
|
commitdiff
2019-10-08
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
tree
|
commitdiff
2019-10-08
Eddie Hung
Merge pull request #1432 from YosysHQ/eddie/fix1427
tree
|
commitdiff
2019-10-08
Eddie Hung
Merge pull request #1433 from YosysHQ/eddie/equiv_opt_a...
tree
|
commitdiff
2019-10-08
Eddie Hung
Merge pull request #1437 from YosysHQ/eddie/abc_to_abc9
tree
|
commitdiff
2019-10-05
Eddie Hung
Merge branch 'master' into eddie/abc_to_abc9
tree
|
commitdiff
next