projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #2466 from whitequark/cxxrtl-reset
[yosys.git]
/
frontends
/
aiger
/
2020-11-25
Claire Xen
Merge pull request #2133 from dh73/nodev_head
tree
|
commitdiff
2020-08-19
clairexen
Merge pull request #2122 from PeterCrozier/struct_array2
tree
|
commitdiff
2020-07-02
clairexen
Merge pull request #2132 from YosysHQ/eddie/verific_initial
tree
|
commitdiff
2020-07-01
clairexen
Merge pull request #2203 from antmicro/fix-grammar
tree
|
commitdiff
2020-07-01
clairexen
Merge pull request #2179 from splhack/static-cast
tree
|
commitdiff
2020-06-26
whitequark
Merge pull request #2188 from antmicro/missing-operators
tree
|
commitdiff
2020-06-26
whitequark
Merge pull request #2189 from antmicro/optional-labels
tree
|
commitdiff
2020-06-25
clairexen
Merge pull request #2168 from whitequark/assert-unused...
tree
|
commitdiff
2020-06-19
whitequark
Remove YS_ATTRIBUTE(unused) where present just for...
tree
|
commitdiff
2020-06-19
whitequark
Merge pull request #2173 from whitequark/use-cxx11...
tree
|
commitdiff
2020-06-18
whitequark
Use C++11 final/override keywords.
tree
|
commitdiff
2020-06-08
clairexen
Merge pull request #2085 from rswarbrick/select
tree
|
commitdiff
2020-06-08
clairexen
Merge pull request #2089 from rswarbrick/modports
tree
|
commitdiff
2020-06-08
clairexen
Merge pull request #2105 from whitequark/split-flatten...
tree
|
commitdiff
2020-06-05
whitequark
Merge pull request #2113 from whitequark/cxxrtl-fix...
tree
|
commitdiff
2020-06-05
N. Engelhardt
Merge pull request #2109 from nakengelhardt/btor_intern...
tree
|
commitdiff
2020-06-04
clairexen
Merge pull request #2041 from PeterCrozier/struct
tree
|
commitdiff
2020-06-04
clairexen
Merge pull request #2099 from Xiretza/manual-include...
tree
|
commitdiff
2020-06-04
Eddie Hung
Merge pull request #2077 from YosysHQ/eddie/abc9_dff_im...
tree
|
commitdiff
2020-06-04
whitequark
Merge pull request #2006 from jersey99/signed-in-rtlil...
tree
|
commitdiff
2020-06-04
N. Engelhardt
Merge pull request #2070 from hackfin/master
tree
|
commitdiff
2020-06-03
Peter Crozier
Merge branch 'master' into struct
tree
|
commitdiff
2020-05-31
clairexen
Merge pull request #1862 from boqwxp/cleanup_techmap
tree
|
commitdiff
2020-05-29
clairexen
Merge pull request #2029 from whitequark/fix-simplify...
tree
|
commitdiff
2020-05-29
whitequark
Merge pull request #2033 from boqwxp/cleanup-verilog...
tree
|
commitdiff
2020-05-28
whitequark
Merge pull request #2051 from Xiretza/makefile-cd-warning
tree
|
commitdiff
2020-05-28
whitequark
Merge pull request #2031 from epfl-vlsc/master
tree
|
commitdiff
2020-05-28
whitequark
Merge pull request #2063 from boqwxp/techmapped-firrtl
tree
|
commitdiff
2020-05-25
Eddie Hung
aiger: cleanup
tree
|
commitdiff
2020-05-25
clairexen
Merge pull request #2015 from boqwxp/qbfsat-bisection
tree
|
commitdiff
2020-05-21
Eddie Hung
Merge pull request #2057 from YosysHQ/eddie/fix_task_attr
tree
|
commitdiff
2020-05-21
Miodrag Milanović
Merge pull request #2059 from boqwxp/logger-vector...
tree
|
commitdiff
2020-05-20
N. Engelhardt
Merge pull request #2046 from PeterCrozier/trap
tree
|
commitdiff
2020-05-20
N. Engelhardt
Merge pull request #2054 from boqwxp/fix-smtbmc
tree
|
commitdiff
2020-05-18
Eddie Hung
Merge pull request #1926 from YosysHQ/eddie/abc9_auto_dff
tree
|
commitdiff
2020-05-14
Eddie Hung
Merge pull request #1994 from YosysHQ/eddie/fix_bug1758
tree
|
commitdiff
2020-05-14
Eddie Hung
aiger: -xaiger to return $_FF_ flops
tree
|
commitdiff
2020-05-14
Eddie Hung
aiger/xaiger: use odd for negedge clk, even for posedge
tree
|
commitdiff
2020-05-14
Eddie Hung
aiger: -xaiger to parse initial state back into (*...
tree
|
commitdiff
2020-05-14
Eddie Hung
aiger: -xaiger to read $_DFF_[NP]_ back with new clocks...
tree
|
commitdiff
2020-05-07
Claire Wolf
Merge pull request #2005 from YosysHQ/claire/fix1990
tree
|
commitdiff
2020-05-05
whitequark
Merge pull request #2012 from whitequark/fix-wasi-abc...
tree
|
commitdiff
2020-05-04
Eddie Hung
Merge pull request #1996 from boqwxp/rtlil_source_locations
tree
|
commitdiff
2020-05-03
whitequark
Merge pull request #2000 from whitequark/log_error...
tree
|
commitdiff
2020-05-03
Claire Wolf
Merge pull request #2014 from YosysHQ/claire/fixoptalu
tree
|
commitdiff
2020-05-02
Eddie Hung
Merge pull request #2013 from YosysHQ/eddie/aiger_fixes
tree
|
commitdiff
2020-05-02
Eddie Hung
aiger: fixes for ports that have start_offset != 0
tree
|
commitdiff
2020-04-17
whitequark
Merge pull request #1864 from boqwxp/cleanup_techmap_abc
tree
|
commitdiff
2020-04-15
N. Engelhardt
Merge pull request #1830 from boqwxp/qbfsat
tree
|
commitdiff
2020-04-14
whitequark
Merge pull request #1879 from jjj11x/jjj11x/package_decl
tree
|
commitdiff
2020-04-14
whitequark
Merge pull request #1880 from jjj11x/duplicate_enum
tree
|
commitdiff
2020-04-10
whitequark
Merge pull request #1603 from whitequark/ice40-ram_style
tree
|
commitdiff
2020-04-09
whitequark
Merge pull request #1857 from whitequark/splitnets...
tree
|
commitdiff
2020-04-09
whitequark
Merge pull request #1875 from whitequark/read_ilang...
tree
|
commitdiff
2020-04-08
Sahand Kashani
Merge branch 'master' of github.com:YosysHQ/yosys into...
tree
|
commitdiff
2020-04-07
Eddie Hung
Merge pull request #1881 from hzeller/only-define-stdc...
tree
|
commitdiff
2020-04-07
Henner Zeller
aigerparse: only define __STDC_FORMAT_MACROS it not...
tree
|
commitdiff
2020-04-07
Claire Wolf
Merge pull request #1814 from YosysHQ/mmicko/pyosys_mak...
tree
|
commitdiff
2020-04-06
whitequark
Merge pull request #1859 from boqwxp/design_duplicate
tree
|
commitdiff
2020-04-03
Eddie Hung
Merge pull request #1648 from YosysHQ/eddie/cmp2lcu
tree
|
commitdiff
2020-04-02
Eddie Hung
Merge pull request #1853 from YosysHQ/eddie/fix_dynslice
tree
|
commitdiff
2020-04-02
Eddie Hung
Merge pull request #1767 from YosysHQ/eddie/idstrings
tree
|
commitdiff
2020-04-02
Eddie Hung
kernel: big fat patch to use more ID::*, otherwise...
tree
|
commitdiff
2020-04-02
Eddie Hung
kernel: use more ID::*
tree
|
commitdiff
2020-04-02
Eddie Hung
Merge pull request #1845 from YosysHQ/eddie/kernel_speedup
tree
|
commitdiff
2020-04-02
Claire Wolf
Merge pull request #1770 from YosysHQ/claire/btor_symbols
tree
|
commitdiff
2020-04-02
Claire Wolf
Merge pull request #1765 from YosysHQ/claire/btor_info
tree
|
commitdiff
2020-04-01
Eddie Hung
Merge pull request #1828 from YosysHQ/eddie/celltypes_s...
tree
|
commitdiff
2020-04-01
Eddie Hung
Merge pull request #1790 from YosysHQ/eddie/opt_expr_xor
tree
|
commitdiff
2020-04-01
Eddie Hung
Merge pull request #1789 from YosysHQ/eddie/opt_expr_alu
tree
|
commitdiff
2020-04-01
Claire Wolf
Merge pull request #1848 from YosysHQ/eddie/fix_dynslice
tree
|
commitdiff
2020-03-31
Eddie Hung
Merge pull request #1761 from YosysHQ/eddie/opt_merge_s...
tree
|
commitdiff
2020-03-30
Eddie Hung
Merge pull request #1783 from boqwxp/astcc_cleanup
tree
|
commitdiff
2020-03-30
Eddie Hung
Merge pull request #1786 from boqwxp/hierarchycc_cleanup
tree
|
commitdiff
2020-03-27
Claire Wolf
Merge pull request #1607 from whitequark/simplify-simpl...
tree
|
commitdiff
2020-03-23
N. Engelhardt
Merge pull request #1763 from boqwxp/issue1762
tree
|
commitdiff
2020-03-23
N. Engelhardt
Merge pull request #1785 from boqwxp/mitercc_cleanup
tree
|
commitdiff
2020-03-19
Eddie Hung
Merge pull request #1788 from YosysHQ/eddie/fix_ndebug
tree
|
commitdiff
2020-03-19
Eddie Hung
Fix NDEBUG warnings
tree
|
commitdiff
2020-02-20
Claire Wolf
Merge pull request #1642 from jjj11x/jjj11x/sv-enum
tree
|
commitdiff
2020-02-05
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2020-02-05
Eddie Hung
Merge pull request #1638 from YosysHQ/eddie/fix1631
tree
|
commitdiff
2020-02-05
Eddie Hung
Merge pull request #1661 from YosysHQ/eddie/abc9_required
tree
|
commitdiff
2020-02-02
David Shah
Merge pull request #1647 from YosysHQ/dave/sprintf
tree
|
commitdiff
2020-02-02
David Shah
Merge pull request #1657 from YosysHQ/dave/xilinx-dsp...
tree
|
commitdiff
2020-02-01
Eddie Hung
Merge branch 'master' into eddie/submod_po
tree
|
commitdiff
2020-01-30
Claire Wolf
Merge pull request #1503 from YosysHQ/eddie/verific_help
tree
|
commitdiff
2020-01-30
Claire Wolf
Merge pull request #1654 from YosysHQ/eddie/sby_fix69
tree
|
commitdiff
2020-01-29
Claire Wolf
Merge branch 'vector_fix' of https://github.com/Kmanfi...
tree
|
commitdiff
2020-01-29
Claire Wolf
Merge pull request #1662 from YosysHQ/dave/opt-reduce...
tree
|
commitdiff
2020-01-29
Claire Wolf
Merge pull request #1665 from YosysHQ/clifford/edifkeep
tree
|
commitdiff
2020-01-29
Claire Wolf
Merge pull request #1659 from YosysHQ/clifford/experimental
tree
|
commitdiff
2020-01-29
N. Engelhardt
Merge pull request #1510 from pumbor/master
tree
|
commitdiff
2020-01-29
Miodrag Milanović
Merge pull request #1559 from YosysHQ/efinix_test_fix
tree
|
commitdiff
2020-01-28
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2020-01-28
Eddie Hung
Merge pull request #1660 from YosysHQ/eddie/abc9_unperm...
tree
|
commitdiff
2020-01-28
Eddie Hung
Add and use SigSpec::reverse()
tree
|
commitdiff
2020-01-28
Claire Wolf
Merge pull request #1567 from YosysHQ/eddie/sat_init_wa...
tree
|
commitdiff
2020-01-28
N. Engelhardt
Merge pull request #1573 from YosysHQ/eddie/xilinx_tristate
tree
|
commitdiff
2020-01-28
Claire Wolf
Merge pull request #1553 from whitequark/manual-dffx
tree
|
commitdiff
next