projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #3206 from YosysHQ/micko/quote_remove
[yosys.git] / passes / sat /
2022-03-04 Miodrag MilanovićMerge pull request #3206 from YosysHQ/micko/quote_remove tree | commitdiff
2022-03-04 Miodrag MilanovićMerge pull request #3207 from nakengelhardt/json_escape... tree | commitdiff
2022-03-04 Miodrag MilanovićMerge pull request #3219 from YosysHQ/micko/quick_vcd tree | commitdiff
2022-03-04 Miodrag MilanovićMerge pull request #3220 from YosysHQ/claire/simstuff tree | commitdiff
2022-03-02 Miodrag MilanovicAdd option to ignore X only signals in output tree | commitdiff
2022-03-02 Miodrag MilanovicWrite simulation files after simulation is performed tree | commitdiff
2022-03-02 Claire XenMerge pull request #3224 from YosysHQ/micko/refactor tree | commitdiff
2022-03-02 Miodrag MilanovicCleanup tree | commitdiff
2022-02-28 Miodrag MilanovicRefactor sim output writers tree | commitdiff
2022-02-28 Miodrag MilanovicQuick fix tree | commitdiff
2022-02-28 Claire Xenia WolfAdd writing of aiw files to "sim" command tree | commitdiff
2022-02-28 Claire Xenia WolfHotfix in AIGER witness reader state machine tree | commitdiff
2022-02-28 Miodrag MilanovicVCD reader support by using external tool tree | commitdiff
2022-02-28 Miodrag MilanovićMerge pull request #3216 from YosysHQ/claire/simstuff tree | commitdiff
2022-02-27 Miodrag MilanovicSupport extended aiw format tree | commitdiff
2022-02-25 Miodrag MilanovicFix for last clock edge data tree | commitdiff
2022-02-25 Claire Xenia WolfExperimental sim changes tree | commitdiff
2022-02-22 Claire XenMerge pull request #3211 from YosysHQ/micko/witness tree | commitdiff
2022-02-22 Claire XenMerge pull request #3197 from YosysHQ/claire/smtbmcfix tree | commitdiff
2022-02-21 Miodrag MilanovićMerge pull request #3203 from YosysHQ/micko/sim_ff tree | commitdiff
2022-02-21 Miodrag MilanovicFix handling of ce_over_srst tree | commitdiff
2022-02-18 Claire Xenia WolfFix cycle 0 in aiger witness co-simulation tree | commitdiff
2022-02-18 Miodrag MilanovicAdded AIGER witness file co simulation tree | commitdiff
2022-02-18 Miodrag Milanovicsimplify logic of handling flip-flops and latches tree | commitdiff
2022-02-17 Miodrag MilanovicReview cleanup tree | commitdiff
2022-02-16 Miodrag MilanovicAdd support for various ff/latch cells simulation tree | commitdiff
2022-02-11 Claire XenMerge pull request #2376 from nmoroze/clk2ff-better... tree | commitdiff
2022-02-11 Miodrag MilanovićMerge pull request #3164 from zachjs/fix-ast-warn tree | commitdiff
2022-02-11 Claire XenMerge branch 'master' into clk2ff-better-names tree | commitdiff
2022-02-11 Claire XenMerge pull request #2019 from boqwxp/glift tree | commitdiff
2022-02-07 Miodrag MilanovićMerge pull request #3185 from YosysHQ/micko/co_sim tree | commitdiff
2022-02-04 Miodrag MilanovicError detection for co-simulation tree | commitdiff
2022-02-04 Miodrag Milanovicbug fix and cleanups tree | commitdiff
2022-02-02 Miodrag Milanovicrespect hide_internal flag tree | commitdiff
2022-02-02 Miodrag Milanovicunify cycles counting and cleanup tree | commitdiff
2022-02-02 Miodrag Milanovicadded stimulus mode and param check tree | commitdiff
2022-01-31 Miodrag Milanovicerror when no signal found tree | commitdiff
2022-01-31 Miodrag MilanovicCleanup tree | commitdiff
2022-01-31 Miodrag MilanovicCompare bits when not all are defined tree | commitdiff
2022-01-31 Miodrag MilanovicCleanup tree | commitdiff
2022-01-31 Miodrag Milanovicmessage update tree | commitdiff
2022-01-31 Miodrag MilanovicDisplay simulation time data tree | commitdiff
2022-01-31 Miodrag MilanovicUse edges when explicit tree | commitdiff
2022-01-31 Miodrag MilanovicUpdating initial state and checks tree | commitdiff
2022-01-31 Miodrag MilanovicFix scope tree | commitdiff
2022-01-28 Marcelina KościelnickaAdd $bmux and $demux cells. tree | commitdiff
2022-01-28 Miodrag Milanoviccheck if stop before start tree | commitdiff
2022-01-28 Miodrag Milanovicset initial state, only flip-flops tree | commitdiff
2022-01-28 Miodrag Milanovicignore not found private signals tree | commitdiff
2022-01-28 Miodrag Milanovicrecursive check tree | commitdiff
2022-01-28 Miodrag MilanovicDo actual compare tree | commitdiff
2022-01-28 Miodrag MilanovicAdd more options and time handling tree | commitdiff
2022-01-26 Miodrag MilanovicDisplay values of outputs tree | commitdiff
2022-01-26 Miodrag MilanovicCheck if stimulated tree | commitdiff
2022-01-26 Miodrag MilanovicRead fst and use data to set inputs tree | commitdiff
2022-01-26 Miodrag MilanovicAdd ability to write to FST file tree | commitdiff
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-02 Noah Morozeclk2fflogic: nice names for autogenerated signals 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
next