projects
/
SymbiYosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
SymbiYosys.git
2019-05-22
ZipCPU
Updated Verilog documentation
commit
|
commitdiff
|
tree
2019-05-01
Clifford Wolf
Check if config contains any engines, fixes #38
commit
|
commitdiff
|
tree
2019-04-30
Clifford Wolf
Fix re-run in same directory feature
commit
|
commitdiff
|
tree
2019-04-18
Clifford Wolf
Merge 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 Wolf
Improve readability of boolector build instructions
commit
|
commitdiff
|
tree
2019-03-27
Clifford Wolf
Minor improvements in docs/examples/abstract/abstr.sv
commit
|
commitdiff
|
tree
2019-03-27
Clifford Wolf
Add docs/examples/abstract
commit
|
commitdiff
|
tree
2019-03-22
Clifford Wolf
Add extra "setundef -anyseq" to aiger script
commit
|
commitdiff
|
tree
2019-03-21
Clifford Wolf
Backward compatibility with Python 3.4 API
commit
|
commitdiff
|
tree
2019-03-21
Clifford Wolf
Significantly improve management of child processes
commit
|
commitdiff
|
tree
2019-03-20
Clifford Wolf
Improve logfile/output flushing
commit
|
commitdiff
|
tree
2019-03-20
Clifford Wolf
Do not overwrite config.sby in reusedir mode
commit
|
commitdiff
|
tree
2019-03-19
Clifford Wolf
Merge 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 Wolf
Merge pull request #35 from FelixVi/master
commit
|
commitdiff
|
tree
2019-03-16
Felix Vietmeyer
Update Boolector build instructions
commit
|
commitdiff
|
tree
2019-03-15
Clifford Wolf
Rename ".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 Wolf
Merge 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 Wolf
Improve rerun-in-existing-dir functionality
commit
|
commitdiff
|
tree
2019-03-09
Clifford Wolf
Add support for (re-)running in existing workdir
commit
|
commitdiff
|
tree
2019-03-08
Clifford Wolf
Add --dumptasks to documentation
commit
|
commitdiff
|
tree
2019-03-08
Clifford Wolf
Improve sby file pycode/tasks handling
commit
|
commitdiff
|
tree
2019-03-03
Clifford Wolf
Add --dumpcfg and --dumptasks
commit
|
commitdiff
|
tree
2018-12-10
Clifford Wolf
Further improve BTOR cex handling
commit
|
commitdiff
|
tree
2018-12-10
Clifford Wolf
Improve BTOR cex handling
commit
|
commitdiff
|
tree
2018-12-08
Clifford Wolf
Also add install docs for btorsim
commit
|
commitdiff
|
tree
2018-12-08
Clifford Wolf
Update boolector build instructions
commit
|
commitdiff
|
tree
2018-12-08
Clifford Wolf
Fixes and improvements in BTOR engine
commit
|
commitdiff
|
tree
2018-12-08
Clifford Wolf
Merge pull request #22 from YosysHQ/btor
commit
|
commitdiff
|
tree
2018-12-08
Clifford Wolf
Working BTOR BMC engine
commit
|
commitdiff
|
tree
2018-12-08
Clifford Wolf
Add btor engine
commit
|
commitdiff
|
tree
2018-11-22
Clifford Wolf
Add "smtbmc ... -- ..." feature (for "raw" smtbmc options)
commit
|
commitdiff
|
tree
2018-11-12
Clifford Wolf
Generate AIGERs with -I -B
commit
|
commitdiff
|
tree
2018-09-12
Clifford Wolf
Improve bogus task tags detection
commit
|
commitdiff
|
tree
2018-09-12
Clifford Wolf
Detect bogus task tags
commit
|
commitdiff
|
tree
2018-09-12
Clifford Wolf
Add "skip" options (smtbmc only)
commit
|
commitdiff
|
tree
2018-09-06
Clifford Wolf
Update docs
commit
|
commitdiff
|
tree
2018-08-27
Clifford Wolf
Update README.md
commit
|
commitdiff
|
tree
2018-08-25
Clifford Wolf
Add "pour_853_4" puzzle to examples
commit
|
commitdiff
|
tree
2018-08-21
Clifford Wolf
Fixed "counterexample trace:" log message for things...
commit
|
commitdiff
|
tree
2018-07-26
Clifford Wolf
Fixed bug in examples/quickstart/demo.sv
commit
|
commitdiff
|
tree
2018-07-19
Clifford Wolf
Use async2sync for "multiclock off" mode
commit
|
commitdiff
|
tree
2018-06-29
Clifford Wolf
Update examples
commit
|
commitdiff
|
tree
2018-06-29
Clifford Wolf
Update remaining quickstart examples
commit
|
commitdiff
|
tree
2018-06-29
Clifford Wolf
Update quickstart demo
commit
|
commitdiff
|
tree
2018-06-23
Clifford Wolf
Improve documentation of scripts and Verific bindings
commit
|
commitdiff
|
tree
2018-05-12
Clifford Wolf
Use "multiclock on" option in dpmem.sby example
commit
|
commitdiff
|
tree
2018-05-12
Clifford Wolf
Use "hierarchy -simcheck" in default script
commit
|
commitdiff
|
tree
2018-05-01
Clifford Wolf
Fix fix for chained tasks
commit
|
commitdiff
|
tree
2018-05-01
Clifford Wolf
Fix bug in handling of chained tasks
commit
|
commitdiff
|
tree
2018-04-19
Clifford Wolf
Add comment support in [tasks] section
commit
|
commitdiff
|
tree
2018-04-18
Clifford Wolf
Add [script] documentation, add some paragraphs on...
commit
|
commitdiff
|
tree
2018-04-13
Clifford Wolf
Typo fix
commit
|
commitdiff
|
tree
2018-04-13
Clifford Wolf
Add check for malformed dst filename in [files] section
commit
|
commitdiff
|
tree
2018-04-13
Clifford Wolf
Add documentation on [files] and [file ..] sections
commit
|
commitdiff
|
tree
2018-03-28
Clifford Wolf
Add JUnit XML output file and .stamp files
commit
|
commitdiff
|
tree
2018-03-27
Clifford Wolf
More improvements in sby error handling
commit
|
commitdiff
|
tree
2018-03-27
Clifford Wolf
Drastically improve sby error handling
commit
|
commitdiff
|
tree
2018-03-15
Clifford Wolf
Improve handling of nomem models
commit
|
commitdiff
|
tree
2018-03-11
Clifford Wolf
Add localtime also to early log messages
commit
|
commitdiff
|
tree
2018-03-11
Clifford Wolf
Add localtime to log file
commit
|
commitdiff
|
tree
2018-03-07
Clifford Wolf
Extend primegen example
commit
|
commitdiff
|
tree
2018-03-07
Clifford Wolf
Add "smtbmc --basecase/--induction"
commit
|
commitdiff
|
tree
2018-03-07
Clifford Wolf
Add smtbmc --progress option
commit
|
commitdiff
|
tree
2018-03-07
Clifford Wolf
Add "mkdir -p" to "make install"
commit
|
commitdiff
|
tree
2018-03-06
Clifford Wolf
Update verific.rst
commit
|
commitdiff
|
tree
2018-03-06
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/SymbiYosys
commit
|
commitdiff
|
tree
2018-03-06
Clifford Wolf
Use memory_nordff in postprocess script
commit
|
commitdiff
|
tree
2018-03-06
Clifford Wolf
Improvements in [tasks] handling
commit
|
commitdiff
|
tree
2018-03-06
Clifford Wolf
Update verific.rst
commit
|
commitdiff
|
tree
2018-03-06
Clifford Wolf
Update verific.rst
commit
|
commitdiff
|
tree
2018-03-06
Clifford Wolf
Minor format fix in documentation
commit
|
commitdiff
|
tree
2018-03-06
Clifford Wolf
Add more documentation
commit
|
commitdiff
|
tree
2018-03-05
Clifford Wolf
Add fib example using tasks
commit
|
commitdiff
|
tree
2018-03-05
Clifford Wolf
Slightly change tasks syntax
commit
|
commitdiff
|
tree
2018-03-05
Clifford Wolf
Add documentation for [tasks] section
commit
|
commitdiff
|
tree
2018-03-05
Clifford Wolf
Add tasks in .sby files
commit
|
commitdiff
|
tree
2018-03-04
Clifford Wolf
Add multiclock option
commit
|
commitdiff
|
tree
2018-03-04
Clifford Wolf
Add smtbmc --stdt option
commit
|
commitdiff
|
tree
2018-03-03
Clifford Wolf
Fix --dump-smt2 trace name in cover mode
commit
|
commitdiff
|
tree
2018-03-03
Clifford Wolf
Add primegen example
commit
|
commitdiff
|
tree
2018-03-03
Clifford Wolf
Add wolf_goat_cabbage.sby
commit
|
commitdiff
|
tree
2018-03-03
Clifford Wolf
Add engines documentation
commit
|
commitdiff
|
tree
2018-01-22
Clifford Wolf
Merge pull request #4 from daveshah1/fix_filetop
commit
|
commitdiff
|
tree
2018-01-22
David Shah
Ignore whitespace at top of file
commit
|
commitdiff
|
tree
2018-01-19
Clifford Wolf
Improve handling of comments in .sby files
commit
|
commitdiff
|
tree
2018-01-17
Clifford Wolf
Add DESTDIR and PREFIX to Makefile
commit
|
commitdiff
|
tree
2017-12-14
Clifford Wolf
Disable unrolling per default for z3
commit
|
commitdiff
|
tree
2017-12-13
Clifford Wolf
Add dpmem multiclk example
commit
|
commitdiff
|
tree
2017-12-05
Clifford Wolf
Make --presat and --unroll the default for smtbmc
commit
|
commitdiff
|
tree
2017-11-24
Clifford Wolf
Add "sby -t", improve handling of stdin
commit
|
commitdiff
|
tree
2017-11-24
Clifford Wolf
Merge pull request #2 from awygle/scriptability
commit
|
commitdiff
|
tree
2017-11-24
Andrew Wygle
Minimum-modification change for stdin support
commit
|
commitdiff
|
tree
2017-10-28
Clifford Wolf
Add missing prerequisites to quickstart guide
commit
|
commitdiff
|
tree
next