projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2022-03-09 Miodrag MilanovicStart work on memory init commit | commitdiff | tree
2022-03-09 Miodrag MilanovicFixes and error check commit | commitdiff | tree
2022-03-07 Miodrag Milanoviccleanup commit | commitdiff | tree
2022-03-07 Miodrag MilanovicError checks for aiger witness commit | commitdiff | tree
2022-03-07 Miodrag Milanovicbtor2 witness co-simulation commit | commitdiff | tree
2022-03-05 github-actions... Bump version commit | commitdiff | tree
2022-03-04 Miodrag MilanovićMerge pull request #3186 from nakengelhardt/smtbmc_sby_... commit | commitdiff | tree
2022-03-04 Miodrag MilanovićMerge pull request #3206 from YosysHQ/micko/quote_remove commit | commitdiff | tree
2022-03-04 Miodrag MilanovićMerge pull request #3207 from nakengelhardt/json_escape... commit | commitdiff | tree
2022-03-04 Miodrag MilanovicNext dev cycle commit | commitdiff | tree
2022-03-04 Miodrag MilanovicRelease version 0.15 yosys-0.15 commit | commitdiff | tree
2022-03-04 Miodrag MilanovicUpdate ABC commit | commitdiff | tree
2022-03-04 Miodrag MilanovicUpdate documentation commit | commitdiff | tree
2022-03-04 Miodrag MilanovićMerge pull request #3219 from YosysHQ/micko/quick_vcd commit | commitdiff | tree
2022-03-04 Miodrag MilanovićMerge pull request #3220 from YosysHQ/claire/simstuff commit | commitdiff | tree
2022-03-03 github-actions... Bump version commit | commitdiff | tree
2022-03-02 Miodrag MilanovicAdd option to ignore X only signals in output commit | commitdiff | tree
2022-03-02 Miodrag MilanovicWrite simulation files after simulation is performed commit | commitdiff | tree
2022-03-02 Miodrag MilanovicUpdate CHANGELOG commit | commitdiff | tree
2022-03-02 Claire XenMerge pull request #3224 from YosysHQ/micko/refactor commit | commitdiff | tree
2022-03-02 Miodrag MilanovicCleanup commit | commitdiff | tree
2022-03-01 github-actions... Bump version commit | commitdiff | tree
2022-02-28 Miodrag MilanovicRefactor sim output writers commit | commitdiff | tree
2022-02-28 Miodrag MilanovicQuick fix commit | commitdiff | tree
2022-02-28 Claire Xenia... Add writing of aiw files to "sim" command commit | commitdiff | tree
2022-02-28 Claire Xenia... Hotfix in AIGER witness reader state machine commit | commitdiff | tree
2022-02-28 Miodrag MilanovicVCD reader support by using external tool commit | commitdiff | tree
2022-02-28 Miodrag MilanovićMerge pull request #3216 from YosysHQ/claire/simstuff commit | commitdiff | tree
2022-02-27 Miodrag MilanovicSupport extended aiw format commit | commitdiff | tree
2022-02-25 Miodrag MilanovicFix for last clock edge data commit | commitdiff | tree
2022-02-25 Claire Xenia... Experimental sim changes commit | commitdiff | tree
2022-02-25 github-actions... Bump version commit | commitdiff | tree
2022-02-24 YRabbitgowin: Remove unnecessary attributes commit | commitdiff | tree
2022-02-24 YRabbitgowin: Add support for true differential output commit | commitdiff | tree
2022-02-22 N. Engelhardtprint cell name for properties in yosys-smtbmc commit | commitdiff | tree
2022-02-22 Claire XenMerge pull request #3211 from YosysHQ/micko/witness commit | commitdiff | tree
2022-02-22 Claire XenMerge pull request #3197 from YosysHQ/claire/smtbmcfix commit | commitdiff | tree
2022-02-22 github-actions... Bump version commit | commitdiff | tree
2022-02-21 Miodrag MilanovićMerge pull request #3203 from YosysHQ/micko/sim_ff commit | commitdiff | tree
2022-02-21 Marcelina Kościelnickaecp5: Do not use specify in generate in cells_sim.v. commit | commitdiff | tree
2022-02-21 Miodrag MilanovicFix handling of ce_over_srst commit | commitdiff | tree
2022-02-18 N. Engelhardtfix handling of escaped chars in json backend and frontend commit | commitdiff | tree
2022-02-18 Claire Xenia... Fix cycle 0 in aiger witness co-simulation commit | commitdiff | tree
2022-02-18 Miodrag MilanovicChanged error message commit | commitdiff | tree
2022-02-18 Miodrag MilanovicAdded AIGER witness file co simulation commit | commitdiff | tree
2022-02-18 Miodrag Milanovicsimplify logic of handling flip-flops and latches commit | commitdiff | tree
2022-02-17 Miodrag MilanovicReview cleanup commit | commitdiff | tree
2022-02-16 Miodrag MilanovicRemove quotes if any from attribute commit | commitdiff | tree
2022-02-16 Miodrag Milanovictest dlatchsr and adlatch commit | commitdiff | tree
2022-02-16 Miodrag MilanovicAdded test cases commit | commitdiff | tree
2022-02-16 Miodrag MilanovicAdd support for various ff/latch cells simulation commit | commitdiff | tree
2022-02-16 github-actions... Bump version commit | commitdiff | tree
2022-02-15 Miodrag MilanovićMerge pull request #3204 from YosysHQ/claire/update-abc commit | commitdiff | tree
2022-02-15 Miodrag MilanovicBump ABC version commit | commitdiff | tree
2022-02-15 github-actions... Bump version commit | commitdiff | tree
2022-02-14 Zachary Snowverilog: support for time scale delay values commit | commitdiff | tree
2022-02-14 Kamil RakoczyFix access to whole sub-structs (#3086) commit | commitdiff | tree
2022-02-13 github-actions... Bump version commit | commitdiff | tree
2022-02-12 Marcelina Kościelnickagowin: Add remaining block RAM blackboxes. commit | commitdiff | tree
2022-02-12 github-actions... Bump version commit | commitdiff | tree
2022-02-11 Zachary Snowverilog: fix dynamic dynamic range asgn elab commit | commitdiff | tree
2022-02-11 Zachary Snowverilog: fix const func eval with upto variables commit | commitdiff | tree
2022-02-11 Claire XenMerge pull request #2376 from nmoroze/clk2ff-better... commit | commitdiff | tree
2022-02-11 Claire Xenia... Add a bit of flexibilty re trace length when processing... commit | commitdiff | tree
2022-02-11 Miodrag MilanovićMerge pull request #3164 from zachjs/fix-ast-warn commit | commitdiff | tree
2022-02-11 Claire XenMerge branch 'master' into clk2ff-better-names commit | commitdiff | tree
2022-02-11 Claire XenMerge pull request #2019 from boqwxp/glift commit | commitdiff | tree
2022-02-10 github-actions... Bump version commit | commitdiff | tree
2022-02-09 Miodrag MilanovićMerge pull request #3193 from YosysHQ/micko/verific_f commit | commitdiff | tree
2022-02-09 Miodrag MilanovicAdd ability to override verilog mode for verific -f... commit | commitdiff | tree
2022-02-09 Marcelina Kościelnickagowin: Fix LUT RAM inference, add more models. commit | commitdiff | tree
2022-02-09 Marcelina Kościelnickaecp5: Fix DPR16X4 sim model. commit | commitdiff | tree
2022-02-08 github-actions... Bump version commit | commitdiff | tree
2022-02-07 Miodrag MilanovicNext dev cycle commit | commitdiff | tree
2022-02-07 Miodrag MilanovicRelease version 0.14 yosys-0.14 commit | commitdiff | tree
2022-02-07 Miodrag MilanovicUpdate CHANGELOG and manual commit | commitdiff | tree
2022-02-07 Miodrag MilanovićMerge pull request #3185 from YosysHQ/micko/co_sim commit | commitdiff | tree
2022-02-07 github-actions... Bump version commit | commitdiff | tree
2022-02-06 Marcelina Kościelnickanexus: Fix arith_map CO signal. commit | commitdiff | tree
2022-02-04 Miodrag MilanovicError detection for co-simulation commit | commitdiff | tree
2022-02-04 Miodrag Milanovicbug fix and cleanups commit | commitdiff | tree
2022-02-03 github-actions... Bump version commit | commitdiff | tree
2022-02-02 Miodrag MilanovićMerge pull request #3183 from YosysHQ/micko/nto1mux commit | commitdiff | tree
2022-02-02 Miodrag MilanovicUse bmux for NTO1MUX commit | commitdiff | tree
2022-02-02 Miodrag MilanovicAdd test cases for co-simulation commit | commitdiff | tree
2022-02-02 Miodrag MilanovićMerge pull request #3182 from yrabbit/wip-doc2 commit | commitdiff | tree
2022-02-02 YRabbitCorrect a typo in the manual commit | commitdiff | tree
2022-02-02 Miodrag MilanovicFix Visual Studio build commit | commitdiff | tree
2022-02-02 Miodrag Milanovicrespect hide_internal flag commit | commitdiff | tree
2022-02-02 Miodrag Milanovicunify cycles counting and cleanup commit | commitdiff | tree
2022-02-02 Miodrag Milanovicadded stimulus mode and param check commit | commitdiff | tree
2022-02-02 Scott ThibaultUpdate comment commit | commitdiff | tree
2022-02-02 Scott ThibaultFix unextend method for signed constants commit | commitdiff | tree
2022-01-31 Miodrag Milanovicerror when no signal found commit | commitdiff | tree
2022-01-31 Miodrag MilanovićMerge pull request #3176 from higuoxing/fix-ref-manual commit | commitdiff | tree
2022-01-31 Miodrag MilanovicCleanup commit | commitdiff | tree
2022-01-31 Miodrag MilanovicCompare bits when not all are defined commit | commitdiff | tree
2022-01-31 Miodrag MilanovicCleanup commit | commitdiff | tree
2022-01-31 Miodrag Milanovicmessage update commit | commitdiff | tree
2022-01-31 Miodrag MilanovicDisplay simulation time data commit | commitdiff | tree
next