projects / SymbiYosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
SymbiYosys.git
2020-03-30 N. Engelhardtfix callback functions commit | commitdiff | tree
2020-03-30 N. Engelhardtadd btor cover mode; use btorsim for vcd generation commit | commitdiff | tree
2020-03-30 N. Engelhardtremove stray braces commit | commitdiff | tree
2020-03-25 N. EngelhardtUse .format() instead of % commit | commitdiff | tree
2020-02-11 Claire WolfImprove BTOR and AIG yosys scripts commit | commitdiff | tree
2020-02-01 Claire WolfMerge pull request #70 from dh73/master commit | commitdiff | tree
2020-01-30 Diego HFix typo in log message commit | commitdiff | tree
2020-01-27 Claire WolfAdd special handling for command not found errors commit | commitdiff | tree
2020-01-21 Claire WolfMerge pull request #67 from mmicko/mmicko/windows_fix commit | commitdiff | tree
2020-01-15 Miodrag MilanovicAdded sleep for non-posix, allow supported signals commit | commitdiff | tree
2019-11-17 Miodrag MilanovicFix sby execution on Windows commit | commitdiff | tree
2019-10-03 Clifford WolfUse lowercase for non-final smtbmc status, treat PREUNS... commit | commitdiff | tree
2019-08-13 Clifford WolfFix YosysHQ links commit | commitdiff | tree
2019-08-01 Clifford WolfMerge pull request #55 from YosysHQ/q3k/fix-bash commit | commitdiff | tree
2019-07-24 Serge Bazanskisby_core: fix hardcoded /bin/bash path commit | commitdiff | tree
2019-07-23 Clifford WolfDocumentation update: Boolector is using the MIT licens... commit | commitdiff | tree
2019-06-27 Clifford WolfCleanup some command line option oddities commit | commitdiff | tree
2019-06-27 Clifford WolfMerge branch 'feature_file_paths' of https://github... commit | commitdiff | tree
2019-06-25 Hans AndersonFix default argument for tasknames commit | commitdiff | tree
2019-06-22 Hans AndersonSwitch from getopt to argparse commit | commitdiff | tree
2019-06-18 Clifford WolfAdd docs/examples/abstract/.gitignore commit | commitdiff | tree
2019-06-18 Clifford WolfFix quickstart demo to work with verific commit | commitdiff | tree
2019-05-22 Clifford WolfMerge pull request #49 from ZipCPU/verilog-doc commit | commitdiff | tree
2019-05-22 ZipCPUUpdated Verilog documentation commit | commitdiff | tree
2019-05-08 Jeppe JohansenAdd dumpfiles command line argument. commit | commitdiff | tree
2019-05-08 Jeppe JohansenAdd support for expanding environment variables. commit | commitdiff | tree
2019-05-01 Clifford WolfCheck if config contains any engines, fixes #38 commit | commitdiff | tree
2019-04-30 Clifford WolfFix re-run in same directory feature commit | commitdiff | tree
2019-04-18 Clifford WolfMerge pull request #42 from mithro/master commit | commitdiff | tree
2019-04-11 Tim 'mithro... Adding license info to the top level README file too. commit | commitdiff | tree
2019-04-11 Tim 'mithro... Adding top level COPYING file. commit | commitdiff | tree
2019-03-28 Clifford WolfImprove readability of boolector build instructions commit | commitdiff | tree
2019-03-27 Clifford WolfMinor improvements in docs/examples/abstract/abstr.sv commit | commitdiff | tree
2019-03-27 Clifford WolfAdd docs/examples/abstract commit | commitdiff | tree
2019-03-22 Clifford WolfAdd extra "setundef -anyseq" to aiger script commit | commitdiff | tree
2019-03-21 Clifford WolfBackward compatibility with Python 3.4 API commit | commitdiff | tree
2019-03-21 Clifford WolfSignificantly improve management of child processes commit | commitdiff | tree
2019-03-20 Clifford WolfImprove logfile/output flushing commit | commitdiff | tree
2019-03-20 Clifford WolfDo not overwrite config.sby in reusedir mode commit | commitdiff | tree
2019-03-19 Clifford WolfMerge pull request #33 from cr1901/no-resource commit | commitdiff | tree
2019-03-18 William D.... Annotate cmdline comment, summary string, and output... commit | commitdiff | tree
2019-03-18 William D.... Choose command separator for tasks based on OS. commit | commitdiff | tree
2019-03-17 Clifford WolfMerge pull request #35 from FelixVi/master commit | commitdiff | tree
2019-03-16 Felix VietmeyerUpdate Boolector build instructions commit | commitdiff | tree
2019-03-15 Clifford WolfRename ".stamp" file to "status" commit | commitdiff | tree
2019-03-12 William D.... Merge branch 'master' into no-resource commit | commitdiff | tree
2019-03-12 Clifford WolfMerge pull request #32 from cr1901/win-shell commit | commitdiff | tree
2019-03-12 William D.... Install launcher executable when running on Windows. commit | commitdiff | tree
2019-03-10 William D.... Gate Unix-specific functionality from resources and... commit | commitdiff | tree
2019-03-09 Clifford WolfImprove rerun-in-existing-dir functionality commit | commitdiff | tree
2019-03-09 Clifford WolfAdd support for (re-)running in existing workdir commit | commitdiff | tree
2019-03-08 Clifford WolfAdd --dumptasks to documentation commit | commitdiff | tree
2019-03-08 Clifford WolfImprove sby file pycode/tasks handling commit | commitdiff | tree
2019-03-03 Clifford WolfAdd --dumpcfg and --dumptasks commit | commitdiff | tree
2018-12-10 Clifford WolfFurther improve BTOR cex handling commit | commitdiff | tree
2018-12-10 Clifford WolfImprove BTOR cex handling commit | commitdiff | tree
2018-12-08 Clifford WolfAlso add install docs for btorsim commit | commitdiff | tree
2018-12-08 Clifford WolfUpdate boolector build instructions commit | commitdiff | tree
2018-12-08 Clifford WolfFixes and improvements in BTOR engine commit | commitdiff | tree
2018-12-08 Clifford WolfMerge pull request #22 from YosysHQ/btor commit | commitdiff | tree
2018-12-08 Clifford WolfWorking BTOR BMC engine commit | commitdiff | tree
2018-12-08 Clifford WolfAdd btor engine commit | commitdiff | tree
2018-11-22 Clifford WolfAdd "smtbmc ... -- ..." feature (for "raw" smtbmc options) commit | commitdiff | tree
2018-11-12 Clifford WolfGenerate AIGERs with -I -B commit | commitdiff | tree
2018-09-12 Clifford WolfImprove bogus task tags detection commit | commitdiff | tree
2018-09-12 Clifford WolfDetect bogus task tags commit | commitdiff | tree
2018-09-12 Clifford WolfAdd "skip" options (smtbmc only) commit | commitdiff | tree
2018-09-06 Clifford WolfUpdate docs commit | commitdiff | tree
2018-08-27 Clifford WolfUpdate README.md commit | commitdiff | tree
2018-08-25 Clifford WolfAdd "pour_853_4" puzzle to examples commit | commitdiff | tree
2018-08-21 Clifford WolfFixed "counterexample trace:" log message for things... commit | commitdiff | tree
2018-07-26 Clifford WolfFixed bug in examples/quickstart/demo.sv commit | commitdiff | tree
2018-07-19 Clifford WolfUse async2sync for "multiclock off" mode commit | commitdiff | tree
2018-06-29 Clifford WolfUpdate examples commit | commitdiff | tree
2018-06-29 Clifford WolfUpdate remaining quickstart examples commit | commitdiff | tree
2018-06-29 Clifford WolfUpdate quickstart demo commit | commitdiff | tree
2018-06-23 Clifford WolfImprove documentation of scripts and Verific bindings commit | commitdiff | tree
2018-05-12 Clifford WolfUse "multiclock on" option in dpmem.sby example commit | commitdiff | tree
2018-05-12 Clifford WolfUse "hierarchy -simcheck" in default script commit | commitdiff | tree
2018-05-01 Clifford WolfFix fix for chained tasks commit | commitdiff | tree
2018-05-01 Clifford WolfFix bug in handling of chained tasks commit | commitdiff | tree
2018-04-19 Clifford WolfAdd comment support in [tasks] section commit | commitdiff | tree
2018-04-18 Clifford WolfAdd [script] documentation, add some paragraphs on... commit | commitdiff | tree
2018-04-13 Clifford WolfTypo fix commit | commitdiff | tree
2018-04-13 Clifford WolfAdd check for malformed dst filename in [files] section commit | commitdiff | tree
2018-04-13 Clifford WolfAdd documentation on [files] and [file ..] sections commit | commitdiff | tree
2018-03-28 Clifford WolfAdd JUnit XML output file and .stamp files commit | commitdiff | tree
2018-03-27 Clifford WolfMore improvements in sby error handling commit | commitdiff | tree
2018-03-27 Clifford WolfDrastically improve sby error handling commit | commitdiff | tree
2018-03-15 Clifford WolfImprove handling of nomem models commit | commitdiff | tree
2018-03-11 Clifford WolfAdd localtime also to early log messages commit | commitdiff | tree
2018-03-11 Clifford WolfAdd localtime to log file commit | commitdiff | tree
2018-03-07 Clifford WolfExtend primegen example commit | commitdiff | tree
2018-03-07 Clifford WolfAdd "smtbmc --basecase/--induction" commit | commitdiff | tree
2018-03-07 Clifford WolfAdd smtbmc --progress option commit | commitdiff | tree
2018-03-07 Clifford WolfAdd "mkdir -p" to "make install" commit | commitdiff | tree
2018-03-06 Clifford WolfUpdate verific.rst commit | commitdiff | tree
2018-03-06 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/SymbiYosys commit | commitdiff | tree
2018-03-06 Clifford WolfUse memory_nordff in postprocess script commit | commitdiff | tree
2018-03-06 Clifford WolfImprovements in [tasks] handling commit | commitdiff | tree
next