projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #1729 from rqou/coolrunner2
[yosys.git] / libs /
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
2014-10-17 Clifford WolfMore win32 (mxe and vs) build fixes tree | commitdiff
2014-10-17 Clifford WolfVarious win32 / vs build fixes tree | commitdiff
2014-10-17 William SpeirsHeader changes so it will compile on VS tree | commitdiff
2014-10-14 Clifford WolfMerge branch 'win32' tree | commitdiff
2014-10-14 Clifford WolfA few indent fixes tree | commitdiff
2014-10-14 William SpeirsChanged to explicit heap allocated memory tree | commitdiff
2014-10-11 Clifford WolfNot using std::to_string in ezsat (problems with mingw) tree | commitdiff
2014-10-11 Clifford WolfDisabled ezminisat timeout feature for Win32 tree | commitdiff
2014-10-10 Clifford WolfMore Win32 build fixes tree | commitdiff
2014-10-10 Clifford WolfRenamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because... tree | commitdiff
2014-09-22 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... tree | commitdiff
2014-09-06 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2014-09-06 Clifford WolfMerge pull request #38 from rubund/master tree | commitdiff
2014-09-06 Ruben UndheimCorrected spelling mistakes found by lintian tree | commitdiff
2014-09-02 Clifford WolfRemoved yosys-svgviewer tree | commitdiff
2014-08-01 Clifford WolfReplaced sha1 implementation tree | commitdiff
2014-07-31 Clifford WolfMoved some stuff to kernel/yosys.{h,cc}, using Yosys... tree | commitdiff
2014-07-30 Clifford WolfAdded native support for shift operations to ezSAT tree | commitdiff
2014-07-25 Clifford WolfRemoved Minisat dependency on zlib tree | commitdiff
2014-07-21 Clifford WolfAdded ezSAT::keep_cnf() and ezSAT::non_incremental() tree | commitdiff
2014-07-20 Clifford WolfFixed ezSAT stand-alone build tree | commitdiff
2014-07-20 Clifford WolfUpdated minisat tree | commitdiff
2014-07-20 Clifford WolfUsing relative path names in minisat headers tree | commitdiff
2014-05-09 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2014-05-06 Clifford WolfImproved ezsat stand-alone tests tree | commitdiff
2014-04-20 Clifford Wolfminisat compile fix tree | commitdiff
2014-04-05 Clifford WolfMerge pull request #31 from bentley/posix-rm tree | commitdiff
2014-04-04 Anthony J. BentleyPOSIX find requires a path argument. tree | commitdiff
2014-03-13 Clifford WolfMerge branch 'master' of https://github.com/Siesh1oo... tree | commitdiff
2014-03-13 Clifford WolfMerged OSX fixes from Siesh1oo with some modifications tree | commitdiff
2014-03-13 Siesh1ooMerge branch 'master' of https://github.com/Siesh1oo... tree | commitdiff
2014-03-12 Clifford WolfSome fixes in libs/minisat (thanks to Siesh1oo) tree | commitdiff
2014-03-12 Siesh1oo - libs/minisat/Solver.cc: insert spaces between string... tree | commitdiff
2014-03-12 Siesh1oo - libs/minisat/System.cc: fix definition/declaration... tree | commitdiff
2014-03-12 Siesh1ooMerge branch 'master' of https://github.com/Siesh1oo... tree | commitdiff
2014-03-12 Clifford WolfAdded libs/minisat (copy of minisat git master) tree | commitdiff
2014-03-11 Clifford WolfMerged a few fixes for non-posix systems from github... tree | commitdiff
2014-03-10 Siesh1oo - libs/ezsat/ezminisat.cc: use sigemptyset() to clear... tree | commitdiff
2014-03-10 Siesh1oo - libs/ezsat/ezminisat.cc: use POSIX.2001 sigaction... tree | commitdiff
2014-03-10 Siesh1oo - libs/ezsat/ezsat.cc: need to #include <cmath> or... tree | commitdiff
next