projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2022-03-11 Miodrag MilanovićMerge pull request #3228 from YosysHQ/micko/disable_tests commit | commitdiff | tree
2022-03-11 Claire Xenia... Add "sim -q" option commit | commitdiff | tree
2022-03-11 Claire Xenia... Small fix in "sim" help message commit | commitdiff | tree
2022-03-11 Miodrag MilanovićMerge pull request #3226 from YosysHQ/micko/btor2witness commit | commitdiff | tree
2022-03-11 Miodrag MilanovicFstData already do conversion to VCD commit | commitdiff | tree
2022-03-11 Miodrag MilanovicSupport cell name in btor witness file commit | commitdiff | tree
2022-03-11 Claire Xenia... Fix handling of some formal cells in btor back-end commit | commitdiff | tree
2022-03-11 Miodrag Milanovichandle state names of $anyconst and $anyseq commit | commitdiff | tree
2022-03-11 Miodrag MilanovicProper write of memory data commit | commitdiff | tree
2022-03-10 Miodrag MilanovicDisable tests on most of platforms commit | commitdiff | tree
2022-03-10 github-actions... Bump version commit | commitdiff | tree
2022-03-09 Loftyintel_alm: M10K write-enable is negative-true commit | commitdiff | tree
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-07 Miodrag MilanovićMerge pull request #3210 from rqou/json-signed 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 Rjson: Add help message for `signed` field 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
next