projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2022-04-30 github-actions... Bump version commit | commitdiff | tree
2022-04-29 Miodrag MilanovićMerge pull request #3294 from YosysHQ/micko/verific_mer... commit | commitdiff | tree
2022-04-29 Miodrag MilanovicIgnore merging past ffs that we are not properly merging commit | commitdiff | tree
2022-04-26 github-actions... Bump version commit | commitdiff | tree
2022-04-25 Rick LuikenAdd missing parameters for ecp5 commit | commitdiff | tree
2022-04-25 Jannis HarderMerge pull request #3287 from jix/smt2-conditional... commit | commitdiff | tree
2022-04-25 Jannis HarderMerge pull request #3257 from jix/tribuf-formal commit | commitdiff | tree
2022-04-25 Miodrag MilanovićMerge pull request #3290 from mpasternacki/bugfix/freeb... commit | commitdiff | tree
2022-04-25 Miodrag MilanovićMerge pull request #3289 from YosysHQ/micko/sim_improve commit | commitdiff | tree
2022-04-24 Maciej PasternackiFix build on FreeBSD, which has no alloca.h commit | commitdiff | tree
2022-04-22 Miodrag MilanovicMatch $anyseq input if connected to public wire commit | commitdiff | tree
2022-04-22 Miodrag MilanovicTreat $anyseq as input from FST commit | commitdiff | tree
2022-04-22 Miodrag MilanovicIgnore change on last edge commit | commitdiff | tree
2022-04-22 Miodrag MilanovicLast sample from input does not represent change commit | commitdiff | tree
2022-04-22 Miodrag Milanoviclatches are always set to zero commit | commitdiff | tree
2022-04-22 Miodrag MilanovicIf not multiclock, output only on clock edges commit | commitdiff | tree
2022-04-22 Miodrag MilanovicSet init state for all wires from FST and set past commit | commitdiff | tree
2022-04-22 Miodrag MilanovicFix multiclock for btor2 witness commit | commitdiff | tree
2022-04-20 Jannis Hardersmt2: Make write port array stores conditional on nonze... commit | commitdiff | tree
2022-04-19 github-actions... Bump version commit | commitdiff | tree
2022-04-18 Miodrag MilanovićMerge pull request #3280 from YosysHQ/micko/fix_readaiw commit | commitdiff | tree
2022-04-18 Miodrag MilanovicUpdate abc commit | commitdiff | tree
2022-04-18 Miodrag Milanovicverific: allow memories to be inferred in loops (vhdl) commit | commitdiff | tree
2022-04-18 Miodrag MilanovićMerge pull request #3282 from nakengelhardt/verific_loo... commit | commitdiff | tree
2022-04-16 github-actions... Bump version commit | commitdiff | tree
2022-04-15 Marcelina Kościelnickamemory_share: Fix up mismatched address widths. commit | commitdiff | tree
2022-04-15 Marcelina Kościelnickaopt_dff: Fix behavior on $ff with D == Q. commit | commitdiff | tree
2022-04-15 N. Engelhardtverific: allow memories to be inferred in loops commit | commitdiff | tree
2022-04-15 Miodrag MilanovicFix reading aiw from other solvers commit | commitdiff | tree
2022-04-12 Jannis Hardertribuf: `-formal` option: convert all to logic and... commit | commitdiff | tree
2022-04-09 github-actions... Bump version commit | commitdiff | tree
2022-04-08 Miodrag MilanovićMerge pull request #3275 from YosysHQ/micko/clk2fflogic_fix commit | commitdiff | tree
2022-04-08 Miodrag MilanovicUse wrap_async_control_gate if ff is fine commit | commitdiff | tree
2022-04-08 Miodrag MilanovićMerge pull request #3273 from modwizcode/fix-build commit | commitdiff | tree
2022-04-08 Aki Van Nesspass jny: flipped the defaults for the inclusion of... commit | commitdiff | tree
2022-04-08 Aki Van Nesspass jny: ensured the cell collection is cleared betwee... commit | commitdiff | tree
2022-04-08 Aki Van Nesspass jny: fixed missing quotes around the type value... commit | commitdiff | tree
2022-04-08 Aki Van Nesspass jny: fixed the backslash escape for strings commit | commitdiff | tree
2022-04-08 Aki Van Nesspass jny: removed the invalid json escapes commit | commitdiff | tree
2022-04-08 Aki Van Nesspass jny: added some todo comments about things that... commit | commitdiff | tree
2022-04-08 Aki Van Nesspass jny: changed the constructor initializers to use... commit | commitdiff | tree
2022-04-08 Aki Van Nesspass jny: fixed the string escape method to be less... commit | commitdiff | tree
2022-04-08 Aki Van Nesspass jny: fixed the signed output for param value output commit | commitdiff | tree
2022-04-08 Aki Van Nesspass jny: added connection output commit | commitdiff | tree
2022-04-08 Aki Van Nesspass jny: added filter options for including connection... commit | commitdiff | tree
2022-04-08 Aki Van Nesspass jny: large chunk of refactoring to make the JSON... commit | commitdiff | tree
2022-04-08 Aki Van Nessmetadata -> jny: migrated to the proper name for the... commit | commitdiff | tree
2022-04-08 Aki Van Nesspass metadata: added the machinery to write param and... commit | commitdiff | tree
2022-04-08 Aki Van Nesspass metadata: removed superfluous `stringf` calls commit | commitdiff | tree
2022-04-08 Aki Van Nesspass metadata: some more rough work on dumping the... commit | commitdiff | tree
2022-04-08 Aki Van Nesspass metadata: fixed the MetadataWriter object initiali... commit | commitdiff | tree
2022-04-08 Aki Van Nesspass metadata: added the output of parameters, commit | commitdiff | tree
2022-04-08 Aki Van Nesspass metadata: fixed some of the output formatting commit | commitdiff | tree
2022-04-08 Aki Van Nesspass metadata: initial commit of the metadata pass... commit | commitdiff | tree
2022-04-08 Iris JohnsonMakefile: properly conditionalize features requiring... commit | commitdiff | tree
2022-04-08 github-actions... Bump version commit | commitdiff | tree
2022-04-07 CatherineMerge pull request #3269 from YosysHQ/micko/fix_autotop commit | commitdiff | tree
2022-04-07 Marcelina Kościelnickaabc: Add support for FFs with reset in -dff commit | commitdiff | tree
2022-04-06 github-actions... Bump version commit | commitdiff | tree
2022-04-05 Zachary Snowsv: fix always_comb auto nosync for nested and function... commit | commitdiff | tree
2022-04-05 Miodrag MilanovicReorder steps in -auto-top to fix synth command, fixes... commit | commitdiff | tree
2022-04-05 Miodrag MilanovicNext dev cycle commit | commitdiff | tree
2022-04-05 Miodrag MilanovicRelease version 0.16 yosys-0.16 commit | commitdiff | tree
2022-04-05 github-actions... Bump version commit | commitdiff | tree
2022-04-04 Marcelina Kościelnickashow: Fix width labels. commit | commitdiff | tree
2022-04-04 Miodrag MilanovicUpdate CHANGELOG and manual commit | commitdiff | tree
2022-04-04 Miodrag MilanovićMerge pull request #3265 from YosysHQ/micko/sim_improve... commit | commitdiff | tree
2022-04-02 Miodrag Milanovicpast_ad initial value setting commit | commitdiff | tree
2022-04-02 Miodrag MilanovicsetInitState can be only one altering values commit | commitdiff | tree
2022-04-02 Miodrag MilanovicSet past_d value for init state commit | commitdiff | tree
2022-04-02 Jannis HarderMerge pull request #3264 from jix/invalid_ff_dcinit_merge commit | commitdiff | tree
2022-04-02 github-actions... Bump version commit | commitdiff | tree
2022-04-01 Jannis Harderopt_merge: Add `-keepdc` option required for formal... commit | commitdiff | tree
2022-04-01 Miodrag MilanovićMerge pull request #3263 from YosysHQ/micko/clk2ff_init commit | commitdiff | tree
2022-04-01 Miodrag MilanovicSet init values for wrapped async control signals 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
next