projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
opt_dff: Don't mutate muxes while ModWalker is active.
[yosys.git] / passes / sat /
2021-10-07 Marcelina KościelnickaFfData: some refactoring. tree | commitdiff
2021-10-02 Marcelina Kościelnickakernel/ff: Refactor FfData to enable FFs with async... tree | commitdiff
2021-07-28 Marcelina Kościelnickamemory: Introduce $meminit_v2 cell, with EN input. tree | commitdiff
2021-06-09 Claire XenMerge pull request #2817 from YosysHQ/claire/fixemails tree | commitdiff
2021-06-09 Claire Xenia WolfUse HTTPS for website links, gatecat email tree | commitdiff
2021-06-07 Claire Xenia WolfFixing old e-mail addresses and deadnames tree | commitdiff
2021-05-25 Marcelina Kościelnickasim: Add wide port support. tree | commitdiff
2021-05-22 Marcelina Kościelnickakernel/rtlil: Extract some helpers for checking memory... tree | commitdiff
2021-03-11 whitequarkMerge pull request #2642 from whitequark/cxxrtl-noproc... tree | commitdiff
2021-03-09 whitequarkMerge pull request #2643 from zachjs/fix-param-no-defau... tree | commitdiff
2021-03-08 Marcelina Kościelnickasim: Avoid a crash on empty cell connection. tree | commitdiff
2021-03-01 Claire XenMerge pull request #2523 from tomverbeure/define_synthesis tree | commitdiff
2021-03-01 Claire XenMerge pull request #2524 from bkbncn/patch-1 tree | commitdiff
2021-02-25 whitequarkMerge pull request #2554 from hzeller/master tree | commitdiff
2021-02-23 whitequarkMerge pull request #2594 from zachjs/func-arg-width tree | commitdiff
2021-02-22 Marcelina Kościelnickaassertpmux: Fix crash on unused $pmux output. tree | commitdiff
2021-02-12 gatecatMerge pull request #2585 from YosysHQ/dave/nexus-dotproduct tree | commitdiff
2021-02-03 whitequarkMerge pull request #2436 from dalance/fix_generate tree | commitdiff
2021-01-01 whitequarkMerge pull request #2480 from YosysHQ/dave/nexus-lram tree | commitdiff
2020-12-02 whitequarkMerge pull request #2468 from whitequark/cxxrtl-assert tree | commitdiff
2020-12-02 whitequarkMerge pull request #2469 from whitequark/cxxrtl-no-clk tree | commitdiff
2020-12-02 whitequarkMerge pull request #2466 from whitequark/cxxrtl-reset tree | commitdiff
2020-12-02 whitequarkMerge pull request #2456 from Zottel/master tree | commitdiff
2020-12-02 whitequarkMerge pull request #2455 from gsomlo/gls-fedpkg-fixes tree | commitdiff
2020-12-02 whitequarkMerge pull request #2446 from RobertBaruch/rtlil_format tree | commitdiff
2020-11-26 Gabriel SomloAdd #include needed to build with gcc-11 tree | commitdiff
2020-11-25 whitequarkMerge pull request #2452 from whitequark/rtlil-remove... tree | commitdiff
2020-11-25 Claire XenMerge pull request #2133 from dh73/nodev_head tree | commitdiff
2020-11-25 whitequarkMerge pull request #2442 from cr1901/sccache tree | commitdiff
2020-11-25 whitequarkMerge pull request #2450 from nitz/sim-vcd-filename tree | commitdiff
2020-11-24 Chris DaileyAdd rewrite_filename for sim -vcd argument. tree | commitdiff
2020-11-24 Miodrag MilanovićMerge pull request #2295 from epfl-vlsc/firrtl_blackbox... tree | commitdiff
2020-10-22 N. EngelhardtMerge pull request #2403 from nakengelhardt/sim_timescale tree | commitdiff
2020-10-21 Marcelina Kościelnickasim: Use Mem helper. tree | commitdiff
2020-10-21 Marcelina Kościelnickaclk2fflogic: Use Mem helper. tree | commitdiff
2020-10-21 N. Engelhardtuse strftime instead of put_time for gcc 4.8 compatibility tree | commitdiff
2020-10-16 N. Engelhardtwild guessing at the problem because it builds fine... tree | commitdiff
2020-10-16 N. Engelhardtsim -vcd: add date, version, and option for timescale tree | commitdiff
2020-10-01 clairexenMerge pull request #2378 from udif/pr_dollar_high_low tree | commitdiff
2020-10-01 clairexenMerge pull request #2380 from Xiretza/parallel-tests tree | commitdiff
2020-09-21 N. EngelhardtMerge pull request #2372 from nakengelhardt/name_is_public tree | commitdiff
2020-09-14 N. Engelhardtuse the new isPublic() in a few places tree | commitdiff
2020-08-19 clairexenMerge pull request #2122 from PeterCrozier/struct_array2 tree | commitdiff
2020-08-18 Claire WolfMerge branch 'const-func-block-var' of https://github... tree | commitdiff
2020-08-18 clairexenMerge pull request #2281 from zachjs/const-real tree | commitdiff
2020-07-30 Marcelina Kościelnickaasync2sync: Support all FF types. tree | commitdiff
2020-07-26 clairexenMerge pull request #2299 from zachjs/arg-loop tree | commitdiff
2020-07-24 Marcelina Kościelnickaasync2sync: Refactor to use FfInitVals. tree | commitdiff
2020-07-24 Marcelina Kościelnickaclk2fflogic: Support all FF types. tree | commitdiff
2020-07-23 clairexenMerge pull request #2294 from Ravenslofty/intel_alm_timings tree | commitdiff
2020-07-21 clairexenMerge pull request #2215 from boqwxp/qbfsat-solver... tree | commitdiff
2020-07-20 Alberto Gonzalezqbfsat: Add `-solver-option` option. tree | commitdiff
2020-07-16 clairexenMerge pull request #2229 from Ravenslofty/sf2_remove_sf... tree | commitdiff
2020-07-16 Miodrag MilanovićMerge pull request #2238 from YosysHQ/mwk/dfflegalize... tree | commitdiff
2020-07-16 Miodrag MilanovićMerge pull request #2226 from YosysHQ/mwk/nuke-efinix... tree | commitdiff
2020-07-09 clairexenMerge pull request #2244 from antmicro/logic tree | commitdiff
2020-07-09 Marcelina Kościelnickaclk2fflogic: Consistently treat async control signals... tree | commitdiff
2020-07-02 clairexenMerge pull request #2132 from YosysHQ/eddie/verific_initial tree | commitdiff
2020-07-02 clairexenMerge pull request #2208 from boqwxp/qbfsat-cleanup tree | commitdiff
2020-07-02 clairexenMerge pull request #2186 from YosysHQ/mwk/dfflegalize tree | commitdiff
2020-07-02 clairexenMerge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ff tree | commitdiff
2020-07-02 clairexenMerge pull request #2210 from YosysHQ/mwk/fix-opt_merge tree | commitdiff
2020-07-02 clairexenMerge pull request #2195 from YosysHQ/mwk/manual-gates tree | commitdiff
2020-07-01 Alberto Gonzalezqbfsat: Remove useless comment and #ifndef guards. tree | commitdiff
2020-07-01 Alberto Gonzalezqbfsat: Specify default values for some options in... tree | commitdiff
2020-07-01 Alberto Gonzalezqbfsat: Clean up external executable command lines... tree | commitdiff
2020-07-01 Alberto Gonzalezqbfsat: Clean up and refactor data structures into... tree | commitdiff
2020-07-01 clairexenMerge pull request #2203 from antmicro/fix-grammar tree | commitdiff
2020-07-01 clairexenMerge pull request #2179 from splhack/static-cast tree | commitdiff
2020-07-01 clairexenMerge pull request #2138 from boqwxp/qbfsat-oflag tree | commitdiff
2020-07-01 clairexenMerge pull request #2206 from boqwxp/qbfsat-fix-name... tree | commitdiff
2020-06-30 Marcelina Kościelnickafmcombine: use the master ff cell type list tree | commitdiff
2020-06-30 clairexenMerge pull request #2136 from zachjs/master tree | commitdiff
2020-06-30 clairexenMerge pull request #2199 from YosysHQ/mmicko/sim_memory tree | commitdiff
2020-06-30 clairexenMerge pull request #2201 from YosysHQ/fix_test_cell_ilang tree | commitdiff
2020-06-30 Alberto Gonzalezqbfsat: Add `-O[012]` options to control pre-solving... tree | commitdiff
2020-06-30 Alberto Gonzalezqbfsat: Fix name-based hole specialization. tree | commitdiff
2020-06-29 Miodrag MilanovićMerge pull request #2200 from YosysHQ/mmicko/fix_expose tree | commitdiff
2020-06-29 Miodrag MilanovicGive error that options are exclusive tree | commitdiff
2020-06-29 Miodrag Milanoviccleanup tree | commitdiff
2020-06-29 Miodrag Milanovicexpose pass fix tree | commitdiff
2020-06-29 Miodrag Milanovicsim - error when memrd and memwr detected tree | commitdiff
2020-06-26 whitequarkMerge pull request #2188 from antmicro/missing-operators tree | commitdiff
2020-06-26 whitequarkMerge pull request #2189 from antmicro/optional-labels tree | commitdiff
2020-06-25 clairexenMerge pull request #2168 from whitequark/assert-unused... tree | commitdiff
2020-06-25 clairexenMerge pull request #2135 from boqwxp/qbfsat-timeinfo tree | commitdiff
2020-06-25 clairexenMerge pull request #2093 from boqwxp/qbfsat-bugfixes tree | commitdiff
2020-06-21 Alberto Gonzalezlog, qbfsat: Include child process time in `Performance... tree | commitdiff
2020-06-21 Alberto Gonzalezqbfsat: Simplify solution recovery parsing and tweak... tree | commitdiff
2020-06-21 Alberto Gonzalezqbfsat: Avoid instantiating `AttrObject`s directly. tree | commitdiff
2020-06-21 Alberto Gonzalezqbfsat: Simplify solution format and replace `SigBit... tree | commitdiff
2020-06-21 Alberto Gonzalezqbfsat: Fixes three bugs. tree | commitdiff
2020-06-21 Alberto Gonzalezqbfsat: Use bit precise mapping for hole value wires... tree | commitdiff
2020-06-19 whitequarkMerge pull request #2173 from whitequark/use-cxx11... tree | commitdiff
2020-06-19 whitequarkMerge pull request #2174 from whitequark/fix-github... tree | commitdiff
2020-06-19 whitequarkMerge pull request #2171 from whitequark/cxxrtl-accessors tree | commitdiff
2020-06-19 whitequarkMerge pull request #2170 from boqwxp/cutpoint-efficiency tree | commitdiff
2020-06-18 whitequarkUse C++11 final/override keywords. tree | commitdiff
2020-06-18 Alberto Gonzalezcutpoint: Improve efficiency by iterating over module... tree | commitdiff
2020-06-10 whitequarkMerge pull request #2134 from whitequark/cxxrtl-opt... tree | commitdiff
next