projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
sf2: fix name of AND modules
[yosys.git] / libs /
2020-11-25 Claire XenMerge pull request #2133 from dh73/nodev_head tree | commitdiff
2020-08-19 clairexenMerge pull request #2122 from PeterCrozier/struct_array2 tree | commitdiff
2020-07-02 clairexenMerge pull request #2132 from YosysHQ/eddie/verific_initial tree | commitdiff
2020-07-01 clairexenMerge pull request #2179 from splhack/static-cast tree | commitdiff
2020-06-25 clairexenMerge pull request #2168 from whitequark/assert-unused... tree | commitdiff
2020-06-25 clairexenMerge pull request #2135 from boqwxp/qbfsat-timeinfo tree | commitdiff
2020-06-25 clairexenMerge pull request #2093 from boqwxp/qbfsat-bugfixes tree | commitdiff
2020-06-22 whitequarkMerge pull request #2181 from whitequark/minisat-wasm... tree | commitdiff
2020-06-21 whitequarkminisat: add missing include guard for WASI. tree | commitdiff
2020-06-04 whitequarkMerge pull request #2006 from jersey99/signed-in-rtlil... tree | commitdiff
2020-05-14 Eddie HungMerge pull request #1994 from YosysHQ/eddie/fix_bug1758 tree | commitdiff
2020-05-04 Eddie HungMerge pull request #1996 from boqwxp/rtlil_source_locations tree | commitdiff
2020-05-03 whitequarkMerge pull request #2000 from whitequark/log_error... tree | commitdiff
2020-05-02 Claire WolfMerge pull request #2010 from YosysHQ/claire/fixopt tree | commitdiff
2020-05-01 whitequarkMerge pull request #2001 from whitequark/wasi tree | commitdiff
2020-04-30 whitequarkAdd WASI platform support. tree | commitdiff
2020-04-21 Claire WolfMerge pull request #1851 from YosysHQ/claire/bitselwrite tree | commitdiff
2020-04-17 whitequarkMerge pull request #1864 from boqwxp/cleanup_techmap_abc tree | commitdiff
2020-04-16 whitequarkMerge pull request #1947 from whitequark/cxxrtl-usability tree | commitdiff
2020-04-16 whitequarkMerge pull request #1896 from boqwxp/read_stdin_repl tree | commitdiff
2020-04-16 Claire WolfMerge pull request #1797 from epfl-vlsc/firrtl_backend_... tree | commitdiff
2020-04-16 Eddie HungMerge pull request #1927 from YosysHQ/eddie/design_remo... tree | commitdiff
2020-04-16 whitequarkMerge pull request #1915 from boqwxp/dict_move_semantics tree | commitdiff
2020-04-16 whitequarkMerge pull request #1900 from Xiretza/suppress-makefile... tree | commitdiff
2020-04-16 whitequarkMerge pull request #1937 from hzeller/consexpr-opportunity tree | commitdiff
2020-04-15 N. EngelhardtMerge pull request #1830 from boqwxp/qbfsat tree | commitdiff
2020-04-14 Henner ZellerUse static constexpr instead of static const where... tree | commitdiff
2020-04-10 whitequarkMerge pull request #1603 from whitequark/ice40-ram_style tree | commitdiff
2020-04-08 Sahand KashaniMerge branch 'master' of github.com:YosysHQ/yosys into... tree | commitdiff
2020-04-07 Claire WolfMerge pull request #1814 from YosysHQ/mmicko/pyosys_mak... tree | commitdiff
2020-04-06 whitequarkMerge pull request #1859 from boqwxp/design_duplicate tree | commitdiff
2020-04-02 Eddie HungMerge pull request #1853 from YosysHQ/eddie/fix_dynslice tree | commitdiff
2020-04-02 Claire WolfMerge pull request #1846 from dh73/ast_fe tree | commitdiff
2020-04-02 Claire WolfMerge pull request #1842 from YosysHQ/mwk/fix-deminout-xz tree | commitdiff
2020-04-02 Eddie HungMerge pull request #1845 from YosysHQ/eddie/kernel_speedup tree | commitdiff
2020-04-02 Claire WolfMerge pull request #1770 from YosysHQ/claire/btor_symbols tree | commitdiff
2020-04-02 Claire WolfMerge pull request #1765 from YosysHQ/claire/btor_info tree | commitdiff
2020-04-02 Claire WolfMerge pull request #1777 from YosysHQ/claire/manyhot tree | commitdiff
2020-04-02 Claire WolfImprove ezsat onehot encoding scheme tree | commitdiff
2020-04-02 Claire WolfUsing LFSR counter for ezSAT::manyhot() tree | commitdiff
2020-01-29 Claire WolfMerge branch 'vector_fix' of https://github.com/Kmanfi... tree | commitdiff
2019-11-22 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2019-10-27 Clifford WolfMerge pull request #1393 from whitequark/write_verilog... tree | commitdiff
2019-10-21 Pepijn de VosMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2019-10-01 SergeyMerge branch 'master' into SergeyDegtyar/efinix tree | commitdiff
2019-10-01 SergeyMerge branch 'master' into SergeyDegtyar/anlogic tree | commitdiff
2019-09-30 Eddie HungMerge branch 'SergeyDegtyar/ecp5' of https://github... tree | commitdiff
2019-09-30 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-09-30 whitequarkMerge pull request #1406 from whitequark/connect_rpc tree | commitdiff
2019-09-30 whitequarklibs: import json11. tree | commitdiff
2019-09-27 Aman GoelMerge pull request #7 from YosysHQ/master tree | commitdiff
2019-06-26 Eddie HungMerge branch 'xc7nocarrymux' of https://github.com... tree | commitdiff
2019-06-13 Serge BazanskiMerge pull request #829 from abdelrahmanhosny/master tree | commitdiff
2019-06-12 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-06-07 Clifford WolfMerge branch 'pr_elab_sys_tasks' of https://github... tree | commitdiff
2019-06-06 David ShahMerge pull request #1073 from whitequark/ecp5-diamond-iob tree | commitdiff
2019-06-05 Clifford WolfMerge pull request #999 from jakobwenzel/setundefInitFix tree | commitdiff
2019-05-31 Eddie HungMerge branch 'xaig' into xc7mux tree | commitdiff
2019-05-27 Clifford WolfMerge pull request #1026 from YosysHQ/clifford/fix1023 tree | commitdiff
2019-05-27 Clifford WolfMerge pull request #1030 from Kmanfi/makefile_osx tree | commitdiff
2019-05-23 Eddie HungMerge remote-tracking branch 'origin/eddie/opt_rmdff... tree | commitdiff
2019-05-23 Clifford WolfMerge pull request #1031 from mdaiter/optimizeLookupTab... tree | commitdiff
2019-05-22 Matthew DaiterOptimize numberOfPermutations tree | commitdiff
2019-05-08 Clifford WolfRemove added newline (by re-running minisat 00_UPDATE.sh) tree | commitdiff
2019-05-08 Clifford WolfMerge pull request #991 from kristofferkoch/gcc9-warnings tree | commitdiff
2019-05-08 Kristoffer Ellersg... Fix all warnings that occurred when compiling with... tree | commitdiff
2019-03-28 Benedikt TutzerMerge remote-tracking branch 'origin/master' into featu... tree | commitdiff
2019-02-11 Jim LawsonMerge remote-tracking branch 'upstream/master' tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #770 from whitequark/opt_expr_cmp tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #755 from Icenowy/anlogic-dram-init tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #750 from Icenowy/anlogic-ff-init tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #773 from whitequark/opt_lut_elim_fixes tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #772 from whitequark/synth_lut tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #771 from whitequark/techmap_cmp2lut tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #769 from whitequark/typos tree | commitdiff
2019-01-02 whitequarkFix typographical and grammatical errors and inconsiste... tree | commitdiff
2017-11-28 Clifford WolfMerge pull request #462 from daveshah1/up5k tree | commitdiff
2017-11-27 Clifford WolfMerge branch 'master' into btor-ng tree | commitdiff
2017-11-26 Clifford WolfMerge pull request #460 from mithro/g3-fixes tree | commitdiff
2017-11-26 Tim 'mithro' Ansellminisat: Make update script executable. tree | commitdiff
2017-11-26 Tim 'mithro' Ansellminisat: Only define __STDC_XXX_MACROS if not already... tree | commitdiff
2017-11-26 Tim 'mithro' Ansellminisat: Remove template with gzFile specialization. tree | commitdiff
2017-11-26 Tim 'mithro' Ansellsubcircuit: Class with virtual methods should have... tree | commitdiff
2017-03-27 Clifford WolfAdd minisat 00_PATCH_typofixes.patch tree | commitdiff
2017-03-27 Clifford WolfRemove use of <fpu_control.h> in minisat tree | commitdiff
2016-07-08 Clifford WolfMerge branch 'yosys-0.5-vtr' of https://github.com... tree | commitdiff
2016-02-13 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2016-02-13 Clifford WolfAdded "int ceil_log2(int)" function tree | commitdiff
2015-08-14 Clifford WolfSpell check (by Larry Doolittle) tree | commitdiff
2015-07-02 Clifford WolfFixed trailing whitespaces tree | commitdiff
2015-04-03 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... tree | commitdiff
2015-02-01 Clifford WolfMerge pull request #48 from rubund/master tree | commitdiff
2015-02-01 Clifford WolfImproved performance in equiv_simple tree | commitdiff
2015-01-24 Clifford WolfAdded ENABLE_NDEBUG makefile options tree | commitdiff
2014-12-29 Clifford WolfAdded statehash to ezSAT tree | commitdiff
2014-12-11 Clifford WolfCompile fix for visual studio tree | commitdiff
2014-11-20 Clifford WolfMerge pull request #42 from slowriot/master tree | commitdiff
2014-11-20 SlowRiotswitching from unreliable typedefs to precisely sized... tree | commitdiff
2014-11-20 SlowRiotfixing incorrect buffer size allocation, and unsafe... tree | commitdiff
2014-10-18 Clifford WolfFixed various VS warnings tree | commitdiff
next