git.libre-soc.org Git - yosys.git/history - libs/minisat/00

[yosys.git] / libs / minisat / 00_UPDATE.sh

2020-06-04	whitequark	Merge pull request #2006 from jersey99/signed-in-rtlil...	blob \| commitdiff \| raw
2020-05-14	Eddie Hung	Merge pull request #1994 from YosysHQ/eddie/fix_bug1758	blob \| commitdiff \| raw
2020-05-04	Eddie Hung	Merge pull request #1996 from boqwxp/rtlil_source_locations	blob \| commitdiff \| raw
2020-05-03	whitequark	Merge pull request #2000 from whitequark/log_error...	blob \| commitdiff \| raw
2020-05-02	Claire Wolf	Merge pull request #2010 from YosysHQ/claire/fixopt	blob \| commitdiff \| raw
2020-05-01	whitequark	Merge pull request #2001 from whitequark/wasi	blob \| commitdiff \| raw
2020-04-30	whitequark	Add WASI platform support.	blob \| commitdiff \| raw
2020-01-29	Claire Wolf	Merge branch 'vector_fix' of https://github.com/Kmanfi...	blob \| commitdiff \| raw \| diff to current
2017-11-28	Clifford Wolf	Merge pull request #462 from daveshah1/up5k	blob \| commitdiff \| raw \| diff to current
2017-11-27	Clifford Wolf	Merge branch 'master' into btor-ng	blob \| commitdiff \| raw \| diff to current
2017-11-26	Clifford Wolf	Merge pull request #460 from mithro/g3-fixes	blob \| commitdiff \| raw \| diff to current
2017-11-26	Tim 'mithro' Ansell	minisat: Make update script executable.	blob \| commitdiff \| raw \| diff to current
2017-11-26	Tim 'mithro' Ansell	minisat: Only define __STDC_XXX_MACROS if not already...	blob \| commitdiff \| raw \| diff to current
2017-03-27	Clifford Wolf	Add minisat 00_PATCH_typofixes.patch	blob \| commitdiff \| raw \| diff to current
2017-03-27	Clifford Wolf	Remove use of <fpu_control.h> in minisat	blob \| commitdiff \| raw \| diff to current
2014-09-22	Ahmed Irfan	Merge branch 'master' of https://github.com/cliffordwol...	blob \| commitdiff \| raw \| diff to current
2014-07-25	Clifford Wolf	Removed Minisat dependency on zlib	blob \| commitdiff \| raw \| diff to current

RSS Atom