projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2017-08-31 Andrew Zonenbergextract_counter: Added optimizations to remove unused... commit | commitdiff | tree
2017-08-30 Andrew Zonenbergextract_counter: Minor changes requested to comply... commit | commitdiff | tree
2017-08-29 Andrew ZonenbergFinished refactoring counter extraction to be nice... commit | commitdiff | tree
2017-08-29 Andrew ZonenbergRefactored extract_counter to be generic vs GreenPAK... commit | commitdiff | tree
2017-08-29 Andrew ZonenbergRefactoring: Renamed greenpak4_counters pass to extract... commit | commitdiff | tree
2017-08-28 Clifford WolfMerge branch 'azonenberg-recover-reduce' commit | commitdiff | tree
2017-08-28 Clifford WolfRename recover_reduce to extract_reduce, fix args handling commit | commitdiff | tree
2017-08-28 Clifford WolfMerge branch 'recover-reduce' of https://github.com... commit | commitdiff | tree
2017-08-28 Clifford WolfFurther improve extract_fa pass commit | commitdiff | tree
2017-08-28 Clifford WolfMerge pull request #392 from azonenberg/greenpak-portfixes commit | commitdiff | tree
2017-08-27 Andrew ZonenbergFixed bug causing GP_SPI model to not synthesize commit | commitdiff | tree
2017-08-27 Robert Ourecover_reduce: Update documentation commit | commitdiff | tree
2017-08-27 Robert Ourecover_reduce: Reindent using tabs commit | commitdiff | tree
2017-08-27 Robert Ourecover_reduce: Rename recover_reduce_core to recover_r... commit | commitdiff | tree
2017-08-27 Robert Ourecover_reduce: Add driver script for the $reduce_... commit | commitdiff | tree
2017-08-27 Robert Ourecover_reduce_core: Finish implementing the core function commit | commitdiff | tree
2017-08-27 Robert Ourecover_reduce_core: Initial commit commit | commitdiff | tree
2017-08-25 Clifford WolfDon't track , ... contradictions through x/z-bits commit | commitdiff | tree
2017-08-25 Clifford WolfAdd removing of redundant pairs of bits in ==, ===... commit | commitdiff | tree
2017-08-25 Clifford WolfMerge branch 'extract_fa' commit | commitdiff | tree
2017-08-25 Clifford WolfFurther improve extract_fa (seems to be fully functiona... commit | commitdiff | tree
2017-08-25 Clifford WolfRename "adders" to "extract_fa" commit | commitdiff | tree
2017-08-25 Clifford WolfFix bug in write_smt2 (export logic driving hierarchica... commit | commitdiff | tree
2017-08-23 Clifford WolfTowards more generic "adder" function extractor commit | commitdiff | tree
2017-08-22 Clifford WolfAdd experimental adders pass commit | commitdiff | tree
2017-08-22 Clifford WolfAdd hashlib support for hashing of pools commit | commitdiff | tree
2017-08-22 Clifford WolfAdd consteval support for $_ANDNOT_ and $_ORNOT_ commit | commitdiff | tree
2017-08-21 Clifford WolfRemove some dead code from fsm_map commit | commitdiff | tree
2017-08-20 Clifford WolfRename "singleton" pass to "uniquify" commit | commitdiff | tree
2017-08-18 Clifford WolfMore intuitive handling of "cd .." for singleton modules commit | commitdiff | tree
2017-08-18 Clifford WolfAdd "sim -zinit -rstlen" commit | commitdiff | tree
2017-08-18 Clifford WolfMerge branch 'sim' commit | commitdiff | tree
2017-08-18 Clifford WolfAdd "sim" support for memories commit | commitdiff | tree
2017-08-18 Clifford WolfAdd Const methods is_fully_zero(), is_fully_def(),... commit | commitdiff | tree
2017-08-18 Clifford WolfAdd support for assert/assume/cover to "sim" command commit | commitdiff | tree
2017-08-17 Clifford WolfAdd writeback mode to "sim" command commit | commitdiff | tree
2017-08-17 Clifford WolfImprove "sim" command commit | commitdiff | tree
2017-08-16 Clifford WolfMerge pull request #386 from azonenberg/gpak-counters commit | commitdiff | tree
2017-08-16 Clifford WolfAdd "sim" command skeleton commit | commitdiff | tree
2017-08-15 Andrew ZonenbergFixed more issues with GreenPAK counter sim models commit | commitdiff | tree
2017-08-15 Andrew ZonenbergUpdated PGEN model to have level triggered reset (match... commit | commitdiff | tree
2017-08-15 Andrew ZonenbergFixed bug in GP_COUNTx model commit | commitdiff | tree
2017-08-15 Andrew ZonenbergFixed bug where GP_COUNTx_ADV would wrap even when... commit | commitdiff | tree
2017-08-15 Clifford WolfMerge branch 'azonenberg-rmports' commit | commitdiff | tree
2017-08-15 Clifford WolfMostly coding style related fixes in rmports pass commit | commitdiff | tree
2017-08-15 Clifford WolfMerge branch 'rmports' of https://github.com/azonenberg... commit | commitdiff | tree
2017-08-14 Clifford WolfMerge pull request #381 from azonenberg/countfix commit | commitdiff | tree
2017-08-14 Clifford WolfMerge pull request #383 from azonenberg/abcfnames commit | commitdiff | tree
2017-08-14 Clifford WolfMerge pull request #382 from azonenberg/jsoniofix commit | commitdiff | tree
2017-08-14 Clifford WolfMerge pull request #384 from azonenberg/crtechlib commit | commitdiff | tree
2017-08-14 Robert Oucoolrunner2: Add INVERT parameter to some BUFGs commit | commitdiff | tree
2017-08-14 Robert Oucoolrunner2: Add FFs with clock enable to cells_sim.v commit | commitdiff | tree
2017-08-14 Robert Ouabc: Allow +/ filenames in the abc command commit | commitdiff | tree
2017-08-14 Robert Oujson: Parse inout correctly rather than as an output commit | commitdiff | tree
2017-08-14 Andrew Zonenbergrmports: Now remove ports from cell instances if we... commit | commitdiff | tree
2017-08-14 Andrew ZonenbergProcessModule is no longer virtual (why was it in the... commit | commitdiff | tree
2017-08-14 Andrew Zonenbergrmports now works on all modules in the design, not... commit | commitdiff | tree
2017-08-14 Andrew ZonenbergUpdated Makefile to reflect opt_rmports being renamed... commit | commitdiff | tree
2017-08-14 Andrew ZonenbergRenamed opt_rmports pass to rmports commit | commitdiff | tree
2017-08-14 Andrew ZonenbergFixed typo in GP_COUNT8 sim model commit | commitdiff | tree
2017-08-14 Andrew ZonenbergFixed typo in error message commit | commitdiff | tree
2017-08-14 Andrew ZonenbergChanged LEVEL resets for GP_COUNTx to be properly synth... commit | commitdiff | tree
2017-08-14 Andrew ZonenbergChanged LEVEL resets to be edge triggered anyway commit | commitdiff | tree
2017-08-14 Andrew ZonenbergAdded level-triggered reset support to GP_COUNTx simula... commit | commitdiff | tree
2017-08-14 Andrew ZonenbergFixed undeclared "count" in GP_COUNT8_ADV commit | commitdiff | tree
2017-08-14 Andrew ZonenbergFixed undeclared "count" in GP_COUNT14_ADV commit | commitdiff | tree
2017-08-14 Andrew ZonenbergFixed typo in last commit commit | commitdiff | tree
2017-08-14 Andrew ZonenbergFinished initial GP_COUNT8/14/8_ADV/14_ADV sim models... commit | commitdiff | tree
2017-08-14 Andrew ZonenbergFixed typo in COUNT8 model commit | commitdiff | tree
2017-08-14 Andrew ZonenbergMoved GP_POR out of digital cells b/c it has delays commit | commitdiff | tree
2017-08-14 Andrew ZonenbergImproved cells_sim_digital model for GP_COUNT8 commit | commitdiff | tree
2017-08-14 Andrew ZonenbergRefactored GreenPAK4 cells_sim into cells_sim_ams and... commit | commitdiff | tree
2017-08-14 Andrew ZonenbergImproved handling of constant connections in opt_rmports commit | commitdiff | tree
2017-08-14 Andrew ZonenbergFixed handling of cell ports that aren't wires commit | commitdiff | tree
2017-08-14 Andrew Zonenbergopt_rmports: Fixed incorrect handling of multi-bit... commit | commitdiff | tree
2017-08-14 Andrew ZonenbergRemoved commented out debug code commit | commitdiff | tree
2017-08-14 Andrew ZonenbergAdded opt_rmports pass (remove unconnected ports from... commit | commitdiff | tree
2017-08-09 Clifford WolfAdd support for set-reset cell variants to opt_rmdff commit | commitdiff | tree
2017-08-09 Clifford WolfAuto-detect JSON front-end commit | commitdiff | tree
2017-08-06 Clifford WolfAdd handling of constant reset signals to opt_rmdff commit | commitdiff | tree
2017-08-04 Clifford WolfAdd "yosys-smtbmc --smtc-init --smtc-top --noinit" commit | commitdiff | tree
2017-08-04 Clifford WolfAdd "-undefined dynamic_lookup" to OSX "yosys-config... commit | commitdiff | tree
2017-07-29 Clifford WolfFix typo in "abc" pass help message commit | commitdiff | tree
2017-07-28 Clifford WolfAdd merging of "past FFs" to verific importer commit | commitdiff | tree
2017-07-28 Clifford WolfAdd consolidation of init attributes to opt_clean,... commit | commitdiff | tree
2017-07-28 Clifford WolfAdd minimal support for PSL in VHDL via Verific commit | commitdiff | tree
2017-07-28 Clifford WolfAdd simple VHDL+PSL example commit | commitdiff | tree
2017-07-28 Clifford WolfImprove Verific HDL language options commit | commitdiff | tree
2017-07-28 Clifford WolfFix handling of non-user-declared Verific netbus commit | commitdiff | tree
2017-07-27 Clifford WolfImprove Verific SVA importer commit | commitdiff | tree
2017-07-27 Clifford WolfAdd counter.sv SVA test commit | commitdiff | tree
2017-07-27 Clifford WolfAdd log_warning_noprefix() API, Use for Verific warning... commit | commitdiff | tree
2017-07-27 Clifford WolfAdd "verific -import -n" and "verific -import -nosva" commit | commitdiff | tree
2017-07-27 Clifford WolfImprove SVA tests, add Makefile and scripts commit | commitdiff | tree
2017-07-27 Clifford WolfImprove Verific SVA import: negedge and $past commit | commitdiff | tree
2017-07-27 Clifford WolfImprove Verific SVA importer commit | commitdiff | tree
2017-07-26 Clifford WolfAdd "opt_expr -fine" feature to remove neutral bits... commit | commitdiff | tree
2017-07-26 Clifford WolfImprove Verific bindings (mostly related to SVA) commit | commitdiff | tree
2017-07-25 Clifford WolfImprove "help verific" message commit | commitdiff | tree
2017-07-25 Clifford WolfAdd "verific -extnets" commit | commitdiff | tree
next