git.libre-soc.org Git - SymbiYosys.git/history

2022-07-06	Jannis Harder	Make SbyProc hide Windows differences in retcode handling	blob \| commitdiff \| raw
2022-07-04	Jannis Harder	Merge pull request #187 from jix/const_clocks	blob \| commitdiff \| raw \| diff to current
2022-07-04	Jannis Harder	test uninited FFs with const clks and fix btor script...	blob \| commitdiff \| raw \| diff to current
2022-07-03	Jannis Harder	Merge pull request #170 from programmerjake/add-simchec...	blob \| commitdiff \| raw \| diff to current
2022-06-29	Jannis Harder	Merge pull request #158 from jix/autotune	blob \| commitdiff \| raw \| diff to current
2022-06-27	Jannis Harder	Automatic engine selection	blob \| commitdiff \| raw \| diff to current
2022-06-24	Jannis Harder	sby_design: Extract total memory size and forall usage	blob \| commitdiff \| raw \| diff to current
2022-06-23	Jacob Lifshay	switch to using hierarchy -smtcheck for smtlib2 solvers... add-simcheck-option	blob \| commitdiff \| raw \| diff to current
2022-06-15	Jannis Harder	Merge pull request #182 from jix/taskloop	blob \| commitdiff \| raw \| diff to current
2022-06-15	Jannis Harder	Decouple taskloop from task	blob \| commitdiff \| raw \| diff to current
2022-06-15	Jannis Harder	Merge pull request #181 from jix/monotonic	blob \| commitdiff \| raw \| diff to current
2022-06-15	Jannis Harder	Use monotonic clock for timeouts	blob \| commitdiff \| raw \| diff to current
2022-06-15	Jannis Harder	Merge pull request #180 from jix/sby-fewer-asserts	blob \| commitdiff \| raw \| diff to current
2022-06-15	Jannis Harder	Don't use python asserts to handle unexpected solver...	blob \| commitdiff \| raw \| diff to current
2022-06-15	Jannis Harder	SbyProc: New error_callback instead of exit_callback...	blob \| commitdiff \| raw \| diff to current
2022-04-25	Jannis Harder	Merge pull request #156 from jix/refactor-tests	blob \| commitdiff \| raw \| diff to current
2022-04-11	Jannis Harder	Add --dumptaskinfo option to output some .sby metadata...	blob \| commitdiff \| raw \| diff to current
2022-04-08	Miodrag Milanović	Merge pull request #140 from nakengelhardt/junit_jny	blob \| commitdiff \| raw \| diff to current
2022-04-06	N. Engelhardt	junit: use write_jny instead of write_json	blob \| commitdiff \| raw \| diff to current
2022-03-30	N. Engelhardt	Merge pull request #150 from nakengelhardt/fix_junit_ty...	blob \| commitdiff \| raw \| diff to current
2022-03-30	Jannis Harder	Merge pull request #147 from jix/smtbmc-keepgoing	blob \| commitdiff \| raw \| diff to current
2022-03-29	N. Engelhardt	note unexpected return statuses in junit	blob \| commitdiff \| raw \| diff to current
2022-03-28	N. Engelhardt	Merge pull request #148 from nakengelhardt/docs_updates	blob \| commitdiff \| raw \| diff to current
2022-03-28	N. Engelhardt	Merge pull request #145 from nakengelhardt/fix_junit_tr...	blob \| commitdiff \| raw \| diff to current
2022-03-28	N. Engelhardt	Merge pull request #142 from nakengelhardt/fix_backslas...	blob \| commitdiff \| raw \| diff to current
2022-03-26	Miodrag Milanović	Merge pull request #146 from jix/aim_vs_smt2_nonzero_st...	blob \| commitdiff \| raw \| diff to current
2022-03-25	Jannis Harder	Use `-no-startoffset`, avoiding index mismatch between...	blob \| commitdiff \| raw \| diff to current
2022-03-15	Claire Xen	Merge pull request #120 from ythoma/patch-1	blob \| commitdiff \| raw \| diff to current
2022-03-07	N. Engelhardt	Merge pull request #133 from nakengelhardt/sby_junit	blob \| commitdiff \| raw \| diff to current
2022-02-24	N. Engelhardt	add testcase for overall run result	blob \| commitdiff \| raw \| diff to current
2022-02-22	N. Engelhardt	validate junit files (with extra attributes added to...	blob \| commitdiff \| raw \| diff to current
2022-02-07	N. Engelhardt	fix induction	blob \| commitdiff \| raw \| diff to current
2022-02-07	N. Engelhardt	fix junit error/failure/skipped count	blob \| commitdiff \| raw \| diff to current
2022-02-07	N. Engelhardt	handle unreached cover properties	blob \| commitdiff \| raw \| diff to current
2022-02-07	N. Engelhardt	refactor junit print into own function	blob \| commitdiff \| raw \| diff to current
2022-01-31	N. Engelhardt	refactor model to have single base	blob \| commitdiff \| raw \| diff to current
2022-01-27	N. Engelhardt	parse solver location output for assert failures (cover...	blob \| commitdiff \| raw \| diff to current
2022-01-19	N. Engelhardt	create json export and read in properties	blob \| commitdiff \| raw \| diff to current
2022-01-12	Miodrag Milanović	Merge pull request #136 from nakengelhardt/fix_pono	blob \| commitdiff \| raw \| diff to current
2022-01-12	N. Engelhardt	create only a single bad when using pono solver; workar...	blob \| commitdiff \| raw \| diff to current
2022-01-12	N. Engelhardt	Merge pull request #135 from nakengelhardt/rename_task	blob \| commitdiff \| raw \| diff to current
2022-01-11	N. Engelhardt	Rename SbyJob to SbyTask and SbyTask to SbyProc to...	blob \| commitdiff \| raw \| diff to current
2021-10-31	Claire Xenia Wolf	Add support for directories in [files] section	blob \| commitdiff \| raw \| diff to current
2021-10-31	Claire Xenia Wolf	Fixed names and links	blob \| commitdiff \| raw \| diff to current
2021-09-13	Miodrag Milanović	Merge pull request #127 from christian-krieg/feat/updat...	blob \| commitdiff \| raw \| diff to current
2021-08-23	Claire Xen	Merge pull request #126 from piegamesde/master	blob \| commitdiff \| raw \| diff to current
2021-06-26	piegames	Turn .format() strings into f-strings	blob \| commitdiff \| raw \| diff to current
2021-06-21	piegames	Print paths as absolute	blob \| commitdiff \| raw \| diff to current
2021-03-22	Miodrag Milanović	Merge pull request #121 from YosysHQ/windows_fix	blob \| commitdiff \| raw \| diff to current
2021-03-22	Miodrag Milanovic	Windows specific fixes	blob \| commitdiff \| raw \| diff to current
2020-08-22	whitequark	Merge pull request #101 from YosysHQ/program-prefix	blob \| commitdiff \| raw \| diff to current
2020-08-22	whitequark	Add a PROGRAM_PREFIX= Makefile option for packages...	blob \| commitdiff \| raw \| diff to current
2020-07-31	Marcelina Kościelnicka	Run dffunmap before writing the design with aiger/btor...	blob \| commitdiff \| raw \| diff to current
2020-07-09	clairexen	Merge pull request #99 from whitequark/patch-1	blob \| commitdiff \| raw \| diff to current
2020-07-05	whitequark	Inject executable dependencies from the environment	blob \| commitdiff \| raw \| diff to current
2020-07-03	clairexen	Merge pull request #98 from YosysHQ/cosa2_to_pono	blob \| commitdiff \| raw \| diff to current
2020-07-03	Miodrag Milanovic	cosa2 -> pono rename	blob \| commitdiff \| raw \| diff to current
2020-07-01	clairexen	Merge pull request #97 from nakengelhardt/seed_arg	blob \| commitdiff \| raw \| diff to current
2020-07-01	clairexen	Merge pull request #94 from nakengelhardt/fix_93	blob \| commitdiff \| raw \| diff to current
2020-07-01	clairexen	Merge pull request #96 from YosysHQ/claire/btorscript	blob \| commitdiff \| raw \| diff to current
2020-06-23	Claire Wolf	Be more conservative in btor ys script	blob \| commitdiff \| raw \| diff to current
2020-06-16	N. Engelhardt	ignore race condition in killing already-terminated...	blob \| commitdiff \| raw \| diff to current
2020-05-18	clairexen	Merge pull request #88 from YosysHQ/claire/cosa2	blob \| commitdiff \| raw \| diff to current
2020-05-18	Claire Wolf	Add support for cosa2 BTOR solver	blob \| commitdiff \| raw \| diff to current
2020-05-13	N. Engelhardt	Merge pull request #87 from nakengelhardt/cover_trace_s...	blob \| commitdiff \| raw \| diff to current
2020-05-08	Claire Wolf	Add silent mode to SbyTask	blob \| commitdiff \| raw \| diff to current
2020-04-29	N. Engelhardt	Merge pull request #85 from nakengelhardt/new_btorsim	blob \| commitdiff \| raw \| diff to current
2020-04-08	N. Engelhardt	merge master	blob \| commitdiff \| raw \| diff to current
2020-04-02	Claire Wolf	Merge pull request #74 from mattvenn/master	blob \| commitdiff \| raw \| diff to current
2020-04-02	Claire Wolf	Merge pull request #73 from nakengelhardt/str_format	blob \| commitdiff \| raw \| diff to current
2020-03-30	N. Engelhardt	add btor cover mode; use btorsim for vcd generation	blob \| commitdiff \| raw \| diff to current
2020-03-25	N. Engelhardt	Use .format() instead of %	blob \| commitdiff \| raw \| diff to current
2020-02-11	Claire Wolf	Improve BTOR and AIG yosys scripts	blob \| commitdiff \| raw \| diff to current
2020-01-27	Claire Wolf	Add special handling for command not found errors	blob \| commitdiff \| raw \| diff to current
2020-01-21	Claire Wolf	Merge pull request #67 from mmicko/mmicko/windows_fix	blob \| commitdiff \| raw \| diff to current
2020-01-15	Miodrag Milanovic	Added sleep for non-posix, allow supported signals	blob \| commitdiff \| raw \| diff to current
2019-11-17	Miodrag Milanovic	Fix sby execution on Windows	blob \| commitdiff \| raw \| diff to current
2019-08-01	Clifford Wolf	Merge pull request #55 from YosysHQ/q3k/fix-bash	blob \| commitdiff \| raw \| diff to current
2019-07-24	Serge Bazanski	sby_core: fix hardcoded /bin/bash path	blob \| commitdiff \| raw \| diff to current
2019-06-27	Clifford Wolf	Merge branch 'feature_file_paths' of https://github...	blob \| commitdiff \| raw \| diff to current
2019-05-08	Jeppe Johansen	Add support for expanding environment variables.	blob \| commitdiff \| raw \| diff to current
2019-05-01	Clifford Wolf	Check if config contains any engines, fixes #38	blob \| commitdiff \| raw \| diff to current
2019-04-30	Clifford Wolf	Fix re-run in same directory feature	blob \| commitdiff \| raw \| diff to current
2019-03-22	Clifford Wolf	Add extra "setundef -anyseq" to aiger script	blob \| commitdiff \| raw \| diff to current
2019-03-21	Clifford Wolf	Backward compatibility with Python 3.4 API	blob \| commitdiff \| raw \| diff to current
2019-03-21	Clifford Wolf	Significantly improve management of child processes	blob \| commitdiff \| raw \| diff to current
2019-03-20	Clifford Wolf	Improve logfile/output flushing	blob \| commitdiff \| raw \| diff to current
2019-03-20	Clifford Wolf	Do not overwrite config.sby in reusedir mode	blob \| commitdiff \| raw \| diff to current
2019-03-19	Clifford Wolf	Merge pull request #33 from cr1901/no-resource	blob \| commitdiff \| raw \| diff to current
2019-03-18	William D. Jones	Annotate cmdline comment, summary string, and output...	blob \| commitdiff \| raw \| diff to current
2019-03-18	William D. Jones	Choose command separator for tasks based on OS.	blob \| commitdiff \| raw \| diff to current
2019-03-12	William D. Jones	Merge branch 'master' into no-resource	blob \| commitdiff \| raw \| diff to current
2019-03-12	Clifford Wolf	Merge pull request #32 from cr1901/win-shell	blob \| commitdiff \| raw \| diff to current
2019-03-10	William D. Jones	Gate Unix-specific functionality from resources and...	blob \| commitdiff \| raw \| diff to current
2019-03-09	Clifford Wolf	Add support for (re-)running in existing workdir	blob \| commitdiff \| raw \| diff to current
2018-12-08	Clifford Wolf	Fixes and improvements in BTOR engine	blob \| commitdiff \| raw \| diff to current
2018-12-08	Clifford Wolf	Merge pull request #22 from YosysHQ/btor	blob \| commitdiff \| raw \| diff to current
2018-12-08	Clifford Wolf	Working BTOR BMC engine	blob \| commitdiff \| raw \| diff to current
2018-12-08	Clifford Wolf	Add btor engine	blob \| commitdiff \| raw \| diff to current
2018-11-12	Clifford Wolf	Generate AIGERs with -I -B	blob \| commitdiff \| raw \| diff to current
next

RSS Atom