projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
ecp5: fix rebase mistake
[yosys.git]
/
frontends
/
aiger
/
aigerparse.cc
2020-05-14
Eddie Hung
aiger: -xaiger to return $_FF_ flops
blob
|
commitdiff
|
raw
2020-05-14
Eddie Hung
aiger/xaiger: use odd for negedge clk, even for posedge
blob
|
commitdiff
|
raw
|
diff to current
2020-05-14
Eddie Hung
aiger: -xaiger to parse initial state back into (*...
blob
|
commitdiff
|
raw
|
diff to current
2020-05-14
Eddie Hung
aiger: -xaiger to read $_DFF_[NP]_ back with new clocks...
blob
|
commitdiff
|
raw
|
diff to current
2020-05-07
Claire Wolf
Merge pull request #2005 from YosysHQ/claire/fix1990
blob
|
commitdiff
|
raw
|
diff to current
2020-05-05
whitequark
Merge pull request #2012 from whitequark/fix-wasi-abc...
blob
|
commitdiff
|
raw
|
diff to current
2020-05-04
Eddie Hung
Merge pull request #1996 from boqwxp/rtlil_source_locations
blob
|
commitdiff
|
raw
|
diff to current
2020-05-03
whitequark
Merge pull request #2000 from whitequark/log_error...
blob
|
commitdiff
|
raw
|
diff to current
2020-05-03
Claire Wolf
Merge pull request #2014 from YosysHQ/claire/fixoptalu
blob
|
commitdiff
|
raw
|
diff to current
2020-05-02
Eddie Hung
Merge pull request #2013 from YosysHQ/eddie/aiger_fixes
blob
|
commitdiff
|
raw
|
diff to current
2020-05-02
Eddie Hung
aiger: fixes for ports that have start_offset != 0
blob
|
commitdiff
|
raw
|
diff to current
2020-04-17
whitequark
Merge pull request #1864 from boqwxp/cleanup_techmap_abc
blob
|
commitdiff
|
raw
|
diff to current
2020-04-15
N. Engelhardt
Merge pull request #1830 from boqwxp/qbfsat
blob
|
commitdiff
|
raw
|
diff to current
2020-04-14
whitequark
Merge pull request #1879 from jjj11x/jjj11x/package_decl
blob
|
commitdiff
|
raw
|
diff to current
2020-04-14
whitequark
Merge pull request #1880 from jjj11x/duplicate_enum
blob
|
commitdiff
|
raw
|
diff to current
2020-04-10
whitequark
Merge pull request #1603 from whitequark/ice40-ram_style
blob
|
commitdiff
|
raw
|
diff to current
2020-04-09
whitequark
Merge pull request #1857 from whitequark/splitnets...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-09
whitequark
Merge pull request #1875 from whitequark/read_ilang...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-08
Sahand Kashani
Merge branch 'master' of github.com:YosysHQ/yosys into...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-07
Eddie Hung
Merge pull request #1881 from hzeller/only-define-stdc...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-07
Henner Zeller
aigerparse: only define __STDC_FORMAT_MACROS it not...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-07
Claire Wolf
Merge pull request #1814 from YosysHQ/mmicko/pyosys_mak...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-06
whitequark
Merge pull request #1859 from boqwxp/design_duplicate
blob
|
commitdiff
|
raw
|
diff to current
2020-04-03
Eddie Hung
Merge pull request #1648 from YosysHQ/eddie/cmp2lcu
blob
|
commitdiff
|
raw
|
diff to current
2020-04-02
Eddie Hung
Merge pull request #1853 from YosysHQ/eddie/fix_dynslice
blob
|
commitdiff
|
raw
|
diff to current
2020-04-02
Eddie Hung
Merge pull request #1767 from YosysHQ/eddie/idstrings
blob
|
commitdiff
|
raw
|
diff to current
2020-04-02
Eddie Hung
kernel: big fat patch to use more ID::*, otherwise...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-02
Eddie Hung
kernel: use more ID::*
blob
|
commitdiff
|
raw
|
diff to current
2020-04-02
Eddie Hung
Merge pull request #1845 from YosysHQ/eddie/kernel_speedup
blob
|
commitdiff
|
raw
|
diff to current
2020-04-02
Claire Wolf
Merge pull request #1770 from YosysHQ/claire/btor_symbols
blob
|
commitdiff
|
raw
|
diff to current
2020-04-02
Claire Wolf
Merge pull request #1765 from YosysHQ/claire/btor_info
blob
|
commitdiff
|
raw
|
diff to current
2020-04-01
Eddie Hung
Merge pull request #1828 from YosysHQ/eddie/celltypes_s...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-01
Eddie Hung
Merge pull request #1790 from YosysHQ/eddie/opt_expr_xor
blob
|
commitdiff
|
raw
|
diff to current
2020-04-01
Eddie Hung
Merge pull request #1789 from YosysHQ/eddie/opt_expr_alu
blob
|
commitdiff
|
raw
|
diff to current
2020-04-01
Claire Wolf
Merge pull request #1848 from YosysHQ/eddie/fix_dynslice
blob
|
commitdiff
|
raw
|
diff to current
2020-03-31
Eddie Hung
Merge pull request #1761 from YosysHQ/eddie/opt_merge_s...
blob
|
commitdiff
|
raw
|
diff to current
2020-03-30
Eddie Hung
Merge pull request #1783 from boqwxp/astcc_cleanup
blob
|
commitdiff
|
raw
|
diff to current
2020-03-30
Eddie Hung
Merge pull request #1786 from boqwxp/hierarchycc_cleanup
blob
|
commitdiff
|
raw
|
diff to current
2020-03-27
Claire Wolf
Merge pull request #1607 from whitequark/simplify-simpl...
blob
|
commitdiff
|
raw
|
diff to current
2020-03-23
N. Engelhardt
Merge pull request #1763 from boqwxp/issue1762
blob
|
commitdiff
|
raw
|
diff to current
2020-03-23
N. Engelhardt
Merge pull request #1785 from boqwxp/mitercc_cleanup
blob
|
commitdiff
|
raw
|
diff to current
2020-03-19
Eddie Hung
Merge pull request #1788 from YosysHQ/eddie/fix_ndebug
blob
|
commitdiff
|
raw
|
diff to current
2020-03-19
Eddie Hung
Fix NDEBUG warnings
blob
|
commitdiff
|
raw
|
diff to current
2020-02-20
Claire Wolf
Merge pull request #1642 from jjj11x/jjj11x/sv-enum
blob
|
commitdiff
|
raw
|
diff to current
2020-02-05
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
blob
|
commitdiff
|
raw
|
diff to current
2020-02-05
Eddie Hung
Merge pull request #1638 from YosysHQ/eddie/fix1631
blob
|
commitdiff
|
raw
|
diff to current
2020-02-05
Eddie Hung
Merge pull request #1661 from YosysHQ/eddie/abc9_required
blob
|
commitdiff
|
raw
|
diff to current
2020-02-02
David Shah
Merge pull request #1647 from YosysHQ/dave/sprintf
blob
|
commitdiff
|
raw
|
diff to current
2020-02-02
David Shah
Merge pull request #1657 from YosysHQ/dave/xilinx-dsp...
blob
|
commitdiff
|
raw
|
diff to current
2020-02-01
Eddie Hung
Merge branch 'master' into eddie/submod_po
blob
|
commitdiff
|
raw
|
diff to current
2020-01-30
Claire Wolf
Merge pull request #1503 from YosysHQ/eddie/verific_help
blob
|
commitdiff
|
raw
|
diff to current
2020-01-30
Claire Wolf
Merge pull request #1654 from YosysHQ/eddie/sby_fix69
blob
|
commitdiff
|
raw
|
diff to current
2020-01-29
Claire Wolf
Merge branch 'vector_fix' of https://github.com/Kmanfi...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-29
Claire Wolf
Merge pull request #1662 from YosysHQ/dave/opt-reduce...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-29
Claire Wolf
Merge pull request #1665 from YosysHQ/clifford/edifkeep
blob
|
commitdiff
|
raw
|
diff to current
2020-01-29
Claire Wolf
Merge pull request #1659 from YosysHQ/clifford/experimental
blob
|
commitdiff
|
raw
|
diff to current
2020-01-29
N. Engelhardt
Merge pull request #1510 from pumbor/master
blob
|
commitdiff
|
raw
|
diff to current
2020-01-29
Miodrag Milanović
Merge pull request #1559 from YosysHQ/efinix_test_fix
blob
|
commitdiff
|
raw
|
diff to current
2020-01-28
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-28
Eddie Hung
Merge pull request #1660 from YosysHQ/eddie/abc9_unperm...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-28
Eddie Hung
Add and use SigSpec::reverse()
blob
|
commitdiff
|
raw
|
diff to current
2020-01-28
Claire Wolf
Merge pull request #1567 from YosysHQ/eddie/sat_init_wa...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-28
N. Engelhardt
Merge pull request #1573 from YosysHQ/eddie/xilinx_tristate
blob
|
commitdiff
|
raw
|
diff to current
2020-01-28
Claire Wolf
Merge pull request #1553 from whitequark/manual-dffx
blob
|
commitdiff
|
raw
|
diff to current
2020-01-27
Eddie Hung
xilinx/ice40/ecp5: undo permuting LUT masks in lut_map
blob
|
commitdiff
|
raw
|
diff to current
2020-01-27
Eddie Hung
Merge pull request #1619 from YosysHQ/eddie/abc9_refactor
blob
|
commitdiff
|
raw
|
diff to current
2020-01-27
Eddie Hung
Merge branch 'eddie/abc9_refactor' into eddie/abc9_required
blob
|
commitdiff
|
raw
|
diff to current
2020-01-27
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-27
Claire Wolf
Merge pull request #1613 from porglezomp-misc/version...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-24
Eddie Hung
read_aiger: set abc9_box_seq attr
blob
|
commitdiff
|
raw
|
diff to current
2020-01-22
Eddie Hung
read_aiger: also parse abc9_mergeability
blob
|
commitdiff
|
raw
|
diff to current
2020-01-22
Eddie Hung
Merge remote-tracking branch 'origin/eddie/abc9_fixes...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-22
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-21
Eddie Hung
read_aiger: discard LUT inputs with nodeID == 0; not < 2
blob
|
commitdiff
|
raw
|
diff to current
2020-01-21
Eddie Hung
read_aiger: ignore constant inputs on LUTs
blob
|
commitdiff
|
raw
|
diff to current
2020-01-21
Claire Wolf
Merge pull request #1637 from YosysHQ/mwk/fix-1634
blob
|
commitdiff
|
raw
|
diff to current
2020-01-21
Claire Wolf
Merge pull request #1629 from YosysHQ/mwk/edif-z
blob
|
commitdiff
|
raw
|
diff to current
2020-01-20
Claire Wolf
Merge pull request #1621 from YosysHQ/clifford/fminit
blob
|
commitdiff
|
raw
|
diff to current
2020-01-18
David Shah
Merge pull request #1602 from niklasnisbeth/ice40-init...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-16
Eddie Hung
Merge remote-tracking branch 'origin/eddie/abc9_refacto...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-16
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-16
Eddie Hung
Merge pull request #1639 from YosysHQ/eddie/fix_read_xaiger
blob
|
commitdiff
|
raw
|
diff to current
2020-01-15
Eddie Hung
read_aiger: $lut prefix in front
blob
|
commitdiff
|
raw
|
diff to current
2020-01-15
Miodrag Milanović
Merge pull request #1636 from YosysHQ/eddie/fix_synth_x...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-14
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-14
Eddie Hung
Merge pull request #1635 from YosysHQ/eddie/print_stats
blob
|
commitdiff
|
raw
|
diff to current
2020-01-14
Eddie Hung
Merge remote-tracking branch 'origin/eddie/abc9_refacto...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-14
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-14
Eddie Hung
Merge pull request #1633 from YosysHQ/eddie/fix_autoname
blob
|
commitdiff
|
raw
|
diff to current
2020-01-14
Eddie Hung
Merge pull request #1632 from YosysHQ/eddie/fix1630
blob
|
commitdiff
|
raw
|
diff to current
2020-01-14
Eddie Hung
read_aiger: also rename "$0"
blob
|
commitdiff
|
raw
|
diff to current
2020-01-14
Eddie Hung
abc9: break SCC by setting (* keep *) on output wires
blob
|
commitdiff
|
raw
|
diff to current
2020-01-14
Eddie Hung
read_aiger: uniquify wires with $aiger<autoidx> prefix
blob
|
commitdiff
|
raw
|
diff to current
2020-01-14
Eddie Hung
read_aiger: make $and/$not/$lut the prefix not suffix
blob
|
commitdiff
|
raw
|
diff to current
2020-01-13
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-11
Eddie Hung
Merge branch 'eddie/abc9_refactor' of github.com:YosysH...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-09
Eddie Hung
Merge remote-tracking branch 'origin/eddie/abc9_refacto...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-09
Eddie Hung
read_aiger: more accurate debug message
blob
|
commitdiff
|
raw
|
diff to current
next