projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2022-04-01 Jannis Harderopt_merge: Add `-keepdc` option required for formal... commit | commitdiff | tree
2022-04-01 Miodrag MilanovićMerge pull request #3262 from YosysHQ/micko/verific_hiernet commit | commitdiff | tree
2022-04-01 Miodrag MilanovicPreserve internal wires for external nets commit | commitdiff | tree
2022-04-01 github-actions... Bump version commit | commitdiff | tree
2022-03-31 Miodrag MilanovićMerge pull request #3256 from YosysHQ/micko/aiw_multiclock commit | commitdiff | tree
2022-03-31 Miodrag Milanovic Support memories in aiw and multiclock commit | commitdiff | tree
2022-03-31 github-actions... Bump version commit | commitdiff | tree
2022-03-30 Miodrag MilanovićMerge pull request #3259 from YosysHQ/micko/verific_val... commit | commitdiff | tree
2022-03-30 Miodrag MilanovicFix valgrind tests when using verific commit | commitdiff | tree
2022-03-30 Miodrag MilanovićMerge pull request #3260 from YosysHQ/micko/proper_scop... commit | commitdiff | tree
2022-03-30 Miodrag MilanovicProper scope naming from FST commit | commitdiff | tree
2022-03-30 Miodrag MilanovićMerge pull request #3250 from YosysHQ/micko/verific_con... commit | commitdiff | tree
2022-03-30 github-actions... Bump version commit | commitdiff | tree
2022-03-29 Miodrag MilanovićMerge pull request #3258 from jix/fix-no-assertions commit | commitdiff | tree
2022-03-29 Jannis Hardersmtbmc: fix bmc with no assertions commit | commitdiff | tree
2022-03-29 github-actions... Bump version commit | commitdiff | tree
2022-03-28 Marcelina Kościelnickakernel/mem: Only use FF init in read-first emu for... commit | commitdiff | tree
2022-03-28 Jannis HarderMerge pull request #3253 from jix/smtbmc-nodeepcopy commit | commitdiff | tree
2022-03-28 Jannis HarderMerge pull request #3247 from jix/smtbmc-keepgoing commit | commitdiff | tree
2022-03-28 LoftyMerge pull request #3194 from Ravenslofty/abc9-flow3mfs commit | commitdiff | tree
2022-03-28 LoftyMerge pull request #3246 from YosysHQ/gatecat/timing... commit | commitdiff | tree
2022-03-28 Tim Pamborgowin: Add oscillator primitives commit | commitdiff | tree
2022-03-28 Jannis Hardersmtbmc: Avoid unnecessary deep copies during unrolling commit | commitdiff | tree
2022-03-28 Miodrag MilanovićUpdate URL to zlib commit | commitdiff | tree
2022-03-26 Miodrag MilanovicProperly mark modules imported commit | commitdiff | tree
2022-03-26 github-actions... Bump version commit | commitdiff | tree
2022-03-25 NotAFileAdd some more reserve calls to RTLIL::Const commit | commitdiff | tree
2022-03-25 Miodrag MilanovićMerge pull request #3249 from YosysHQ/micko/no_startoffset commit | commitdiff | tree
2022-03-25 Miodrag MilanovicImport verific netlist in consistent order commit | commitdiff | tree
2022-03-25 Miodrag MilanovicAdd -no-startoffset option to write_aiger commit | commitdiff | tree
2022-03-25 github-actions... Bump version commit | commitdiff | tree
2022-03-24 Miodrag MilanovićMerge pull request #3243 from nakengelhardt/fix_aiw_comment commit | commitdiff | tree
2022-03-24 Jannis Harderyosys-smtbmc: Option to keep going after failed asserti... commit | commitdiff | tree
2022-03-24 Jannis Harderyosys-smtbmc: Fix typo in help text, remove trailing... commit | commitdiff | tree
2022-03-24 gatecatabc9_ops: Also derive blackboxes with timing info commit | commitdiff | tree
2022-03-24 N. Engelhardtignore # comment lines commit | commitdiff | tree
2022-03-23 github-actions... Bump version commit | commitdiff | tree
2022-03-22 Miodrag MilanovicUpdate abc with latest fix commit | commitdiff | tree
2022-03-22 Miodrag MilanovicProper SigBit forming in sim commit | commitdiff | tree
2022-03-22 Miodrag MilanovicProper SigBit forming in sim commit | commitdiff | tree
2022-03-22 github-actions... Bump version commit | commitdiff | tree
2022-03-21 Marcelina Kościelnickaxilinx: Add RAMB4* blackboxes commit | commitdiff | tree
2022-03-19 github-actions... Bump version commit | commitdiff | tree
2022-03-18 Miodrag MilanovicMore verbose warnings commit | commitdiff | tree
2022-03-17 Miodrag MilanovićMerge pull request #3236 from YosysHQ/micko/tb_initial commit | commitdiff | tree
2022-03-17 github-actions... Bump version commit | commitdiff | tree
2022-03-16 Miodrag MilanovicRecognize registers and set initial state for them... commit | commitdiff | tree
2022-03-16 Miodrag MilanovicUpdate sim help message. commit | commitdiff | tree
2022-03-15 github-actions... Bump version commit | commitdiff | tree
2022-03-14 YRabbitgowin: add support for Double Data Rate primitives commit | commitdiff | tree
2022-03-14 Miodrag MilanovićMerge pull request #3232 from YosysHQ/micko/fst2tb commit | commitdiff | tree
2022-03-14 Miodrag MilanovicAdded fst2tb pass for generating testbench commit | commitdiff | tree
2022-03-14 Claire XenMerge pull request #3213 from antonblanchard/abc-typo commit | commitdiff | tree
2022-03-14 Miodrag MilanovicProper example code commit | commitdiff | tree
2022-03-12 github-actions... Bump version commit | commitdiff | tree
2022-03-11 Miodrag MilanovićMerge pull request #3229 from YosysHQ/micko/sim_date commit | commitdiff | tree
2022-03-11 Miodrag MilanovićMerge pull request #3222 from zachjs/prune-linux-ci commit | commitdiff | tree
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 Miodrag MilanovicAdd date parameter to enable full date/time and version... 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 Zachary SnowPrune Linux CI builds 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
next