projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #3310 from robinsonb5-PRs/master
[yosys.git] / kernel / satgen.h
2022-02-11 Claire XenMerge branch 'master' into clk2ff-better-names blob | commitdiff | raw
2022-02-11 Claire XenMerge pull request #2019 from boqwxp/glift blob | commitdiff | raw
2021-06-09 Claire XenMerge pull request #2817 from YosysHQ/claire/fixemails blob | commitdiff | raw
2021-06-07 Claire Xenia WolfFixing old e-mail addresses and deadnames blob | commitdiff | raw
2020-11-25 Claire XenMerge pull request #2133 from dh73/nodev_head blob | commitdiff | raw | diff to current
2020-11-24 Miodrag MilanovićMerge pull request #2295 from epfl-vlsc/firrtl_blackbox... blob | commitdiff | raw | diff to current
2020-08-19 clairexenMerge pull request #2122 from PeterCrozier/struct_array2 blob | commitdiff | raw | diff to current
2020-08-18 Claire WolfMerge branch 'const-func-block-var' of https://github... blob | commitdiff | raw | diff to current
2020-08-18 clairexenMerge pull request #2281 from zachjs/const-real blob | commitdiff | raw | diff to current
2020-07-26 clairexenMerge pull request #2299 from zachjs/arg-loop blob | commitdiff | raw | diff to current
2020-07-24 Marcelina Kościelnickasatgen: Add support for dffe, sdff, sdffe, sdffce cells. blob | commitdiff | raw | diff to current
2020-07-23 clairexenMerge pull request #2294 from Ravenslofty/intel_alm_timings blob | commitdiff | raw | diff to current
2020-07-20 clairexenMerge pull request #2276 from YosysHQ/mwk/satgen-cc blob | commitdiff | raw | diff to current
2020-07-18 Marcelina Kościelnickasatgen: Move importCell out of the header. blob | commitdiff | raw | diff to current
2020-07-02 clairexenMerge pull request #2132 from YosysHQ/eddie/verific_initial blob | commitdiff | raw | diff to current
2020-06-08 clairexenMerge pull request #2085 from rswarbrick/select blob | commitdiff | raw | diff to current
2020-06-08 clairexenMerge pull request #2089 from rswarbrick/modports blob | commitdiff | raw | diff to current
2020-06-04 Eddie HungMerge pull request #2077 from YosysHQ/eddie/abc9_dff_im... blob | commitdiff | raw | diff to current
2020-06-04 whitequarkMerge pull request #2006 from jersey99/signed-in-rtlil... blob | commitdiff | raw | diff to current
2020-06-04 N. EngelhardtMerge pull request #2070 from hackfin/master blob | commitdiff | raw | diff to current
2020-06-04 Eddie HungMerge pull request #2082 from YosysHQ/eddie/abc9_scc_fixes no_loop blob | commitdiff | raw | diff to current
2020-06-03 Peter CrozierMerge branch 'master' into struct blob | commitdiff | raw | diff to current
2020-06-03 Eddie HungMerge pull request #2080 from YosysHQ/eddie/fix_test_wa... blob | commitdiff | raw | diff to current
2020-05-31 clairexenMerge pull request #1862 from boqwxp/cleanup_techmap blob | commitdiff | raw | diff to current
2020-05-30 Eddie HungMerge pull request #2081 from YosysHQ/eddie/blackbox_ast blob | commitdiff | raw | diff to current
2020-05-30 clairexenMerge pull request #2018 from boqwxp/qbfsat-timeout blob | commitdiff | raw | diff to current
2020-05-29 clairexenMerge pull request #2029 from whitequark/fix-simplify... blob | commitdiff | raw | diff to current
2020-05-29 clairexenMerge pull request #1885 from Xiretza/mod-rem-cells blob | commitdiff | raw | diff to current
2020-05-28 XiretzaAdd flooring division operator blob | commitdiff | raw | diff to current
2020-05-28 XiretzaAdd flooring modulo operator blob | commitdiff | raw | diff to current
2020-04-15 N. EngelhardtMerge pull request #1830 from boqwxp/qbfsat blob | commitdiff | raw | diff to current
2020-04-10 whitequarkMerge pull request #1603 from whitequark/ice40-ram_style blob | commitdiff | raw | diff to current
2020-04-08 Sahand KashaniMerge branch 'master' of github.com:YosysHQ/yosys into... blob | commitdiff | raw | diff to current
2020-04-07 Claire WolfMerge pull request #1814 from YosysHQ/mmicko/pyosys_mak... blob | commitdiff | raw | diff to current
2020-04-06 whitequarkMerge pull request #1859 from boqwxp/design_duplicate blob | commitdiff | raw | diff to current
2020-04-03 Eddie HungMerge pull request #1648 from YosysHQ/eddie/cmp2lcu blob | commitdiff | raw | diff to current
2020-04-02 Eddie HungMerge pull request #1853 from YosysHQ/eddie/fix_dynslice blob | commitdiff | raw | diff to current
2020-04-02 Eddie HungMerge pull request #1767 from YosysHQ/eddie/idstrings blob | commitdiff | raw | diff to current
2020-04-02 Eddie Hungkernel: big fat patch to use more ID::*, otherwise... blob | commitdiff | raw | diff to current
2020-01-29 Claire WolfMerge branch 'vector_fix' of https://github.com/Kmanfi... blob | commitdiff | raw | diff to current
2019-09-27 Aman GoelMerge pull request #7 from YosysHQ/master blob | commitdiff | raw | diff to current
2019-08-30 David ShahMerge branch 'master' into xc7dsp blob | commitdiff | raw | diff to current
2019-08-26 Clifford WolfMerge tag 'yosys-0.9' blob | commitdiff | raw | diff to current
2019-08-25 Clifford WolfMerge pull request #1112 from acw1251/pyosys_sigsig_issue blob | commitdiff | raw | diff to current
2019-08-23 Eddie HungMerge remote-tracking branch 'origin/master' into mwk... blob | commitdiff | raw | diff to current
2019-08-22 Clifford WolfMerge pull request #1281 from mmicko/efinix blob | commitdiff | raw | diff to current
2019-08-21 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp blob | commitdiff | raw | diff to current
2019-08-20 Eddie HungMerge pull request #1304 from YosysHQ/eddie/abc9_refactor blob | commitdiff | raw | diff to current
2019-08-20 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... blob | commitdiff | raw | diff to current
2019-08-19 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff blob | commitdiff | raw | diff to current
2019-08-19 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys into... blob | commitdiff | raw | diff to current
2019-08-19 Eddie HungMerge remote-tracking branch 'origin/master' into cliff... blob | commitdiff | raw | diff to current
2019-08-18 Miodrag MilanovicMerge remote-tracking branch 'upstream/master' into... blob | commitdiff | raw | diff to current
2019-08-18 whitequarkMerge branch 'master' into eddie/pr1266_again blob | commitdiff | raw | diff to current
2019-08-17 Clifford WolfMerge pull request #1283 from YosysHQ/clifford/fix1255 blob | commitdiff | raw | diff to current
2019-08-17 Clifford WolfMerge pull request #1303 from YosysHQ/bogdanvuk/opt_share blob | commitdiff | raw | diff to current
2019-08-17 Clifford WolfMerge pull request #1300 from YosysHQ/eddie/cleanup2 blob | commitdiff | raw | diff to current
2019-08-16 Eddie HungMerge branch 'eddie/abc9_refactor' into xaig_dff blob | commitdiff | raw | diff to current
2019-08-16 Eddie HungMerge pull request #1250 from bwidawsk/master blob | commitdiff | raw | diff to current
2019-08-16 Eddie HungMerge https://github.com/bogdanvuk/yosys into bogdanvuk... blob | commitdiff | raw | diff to current
2019-08-16 Eddie HungMerge remote-tracking branch 'origin/master' into mwk... blob | commitdiff | raw | diff to current
2019-08-15 Eddie HungUse more ID::{A,B,Y,blackbox,whitebox} blob | commitdiff | raw | diff to current
2019-08-15 Clifford WolfMerge pull request #1299 from YosysHQ/eddie/cleanup2 blob | commitdiff | raw | diff to current
2019-08-15 Clifford WolfMerge branch 'master' into clifford/fix1255 blob | commitdiff | raw | diff to current
2019-08-15 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp blob | commitdiff | raw | diff to current
2019-08-15 Eddie HungMore use of IdString::in() blob | commitdiff | raw | diff to current
2019-08-15 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... blob | commitdiff | raw | diff to current
2019-08-15 Clifford WolfMerge pull request #1275 from YosysHQ/clifford/ids blob | commitdiff | raw | diff to current
2019-08-15 Clifford WolfMerge branch 'master' into clifford/ids blob | commitdiff | raw | diff to current
2019-08-12 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp blob | commitdiff | raw | diff to current
2019-08-12 Serge BazanskiMerge pull request #1152 from 1138-4EB/feat-docker blob | commitdiff | raw | diff to current
2019-08-12 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... blob | commitdiff | raw | diff to current
2019-08-11 Clifford WolfUse ID() in kernel/*, add simple ID:: hack (to be impro... blob | commitdiff | raw | diff to current
2019-08-10 Clifford WolfMerge pull request #1258 from YosysHQ/eddie/cleanup blob | commitdiff | raw | diff to current
2019-08-09 Miodrag MilanovicMerge remote-tracking branch 'upstream/master' into... blob | commitdiff | raw | diff to current
2019-08-08 David ShahMerge branch 'xc7dsp' of github.com:YosysHQ/yosys into... blob | commitdiff | raw | diff to current
2019-08-07 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp blob | commitdiff | raw | diff to current
2019-08-07 Eddie HungRTLIL::S{0,1} -> State::S{0,1} for headers blob | commitdiff | raw | diff to current
2019-08-07 Jim LawsonMerge branch 'master' into firrtl_err_on_unsupported_cell blob | commitdiff | raw | diff to current
2019-08-07 Clifford WolfMerge pull request #1240 from ucb-bar/firrtl-properties... blob | commitdiff | raw | diff to current
2019-08-07 Clifford WolfMerge pull request #1249 from mmicko/anlogic_fix blob | commitdiff | raw | diff to current
2019-08-07 David ShahMerge pull request #1241 from YosysHQ/clifford/jsonfix blob | commitdiff | raw | diff to current
2019-08-06 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... blob | commitdiff | raw | diff to current
2019-08-06 Clifford WolfMerge pull request #1251 from YosysHQ/clifford/nmux blob | commitdiff | raw | diff to current
2019-08-06 Clifford WolfAdd $_NMUX_, add "abc -g cmos", add proper cmos cell... blob | commitdiff | raw | diff to current
2019-03-28 Benedikt TutzerMerge remote-tracking branch 'origin/master' into featu... blob | commitdiff | raw | diff to current
2018-09-17 Udi FinkelsteinMerge branch 'master' into pr_reg_wire_error blob | commitdiff | raw | diff to current
2018-08-22 Jim LawsonMerge pull request #1 from YosysHQ/master blob | commitdiff | raw | diff to current
2018-08-18 Aman GoelMerge pull request #3 from YosysHQ/master blob | commitdiff | raw | diff to current
2018-08-15 Clifford WolfMerge pull request #573 from cr1901/msys-64 blob | commitdiff | raw | diff to current
2018-08-15 Clifford WolfMerge pull request #591 from hzeller/virtual-override blob | commitdiff | raw | diff to current
2018-07-21 Henner ZellerConsistent use of 'override' for virtual methods in... blob | commitdiff | raw | diff to current
2017-05-17 Clifford WolfAdd $_ANDNOT_ and $_ORNOT_ gates blob | commitdiff | raw | diff to current
2017-02-11 Clifford WolfMerge branch 'master' of https://github.com/stv0g/yosys... blob | commitdiff | raw | diff to current
2017-02-09 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys blob | commitdiff | raw | diff to current
2017-02-05 Clifford WolfFix undef propagation bug in $pmux SAT model blob | commitdiff | raw | diff to current
2016-10-14 Clifford WolfAdded $anyseq cell type blob | commitdiff | raw | diff to current
2016-10-11 Clifford WolfAdded $ff and $_FF_ cell types blob | commitdiff | raw | diff to current
2016-07-30 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys blob | commitdiff | raw | diff to current
2016-07-27 Clifford WolfAdded SatGen support for $anyconst blob | commitdiff | raw | diff to current
next