projects
/
SymbiYosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
SymbiYosys.git
2022-06-07
Jannis Harder
tests: Move required tool checks from rule generation...
commit
|
commitdiff
|
tree
2022-06-03
Jannis Harder
Don't fail tests when xmlschema is missing
commit
|
commitdiff
|
tree
2022-06-02
Jannis Harder
tests: Fail on CI when any required tool is missing
commit
|
commitdiff
|
tree
2022-06-02
Jannis Harder
tests: Check for btorsim --vcd
commit
|
commitdiff
|
tree
2022-05-30
Jannis Harder
Check for the tabby/oss cad suite before running make...
commit
|
commitdiff
|
tree
2022-05-30
Jannis Harder
Better checking of available solvers
commit
|
commitdiff
|
tree
2022-05-30
Jannis Harder
Makefile: Rename run_tests to test, update help, use...
commit
|
commitdiff
|
tree
2022-05-26
Jannis Harder
Merge pull request #161 from programmerjake/add-div...
commit
|
commitdiff
|
tree
2022-05-25
Jacob Lifshay
add depth 1
commit
|
commitdiff
|
tree
2022-05-25
Jacob Lifshay
add test for yosys's $divfloor and $modfloor cells
commit
|
commitdiff
|
tree
2022-05-24
N. Engelhardt
docs: add instructions for newer btorsim version required
commit
|
commitdiff
|
tree
2022-05-11
Jannis Harder
Merge pull request #159 from jix/fix-dpmem-example
commit
|
commitdiff
|
tree
2022-05-11
Jannis Harder
examples: Fix use of SVA value change expressions
commit
|
commitdiff
|
tree
2022-04-25
Jannis Harder
Merge pull request #156 from jix/refactor-tests
commit
|
commitdiff
|
tree
2022-04-11
Jannis Harder
Refactor tests
commit
|
commitdiff
|
tree
2022-04-11
Jannis Harder
Add --dumptaskinfo option to output some .sby metadata...
commit
|
commitdiff
|
tree
2022-04-11
Jannis Harder
Add envvar to enable automatic .gitignore creation...
commit
|
commitdiff
|
tree
2022-04-08
Miodrag Milanović
Merge pull request #140 from nakengelhardt/junit_jny
commit
|
commitdiff
|
tree
2022-04-06
N. Engelhardt
junit: use write_jny instead of write_json
commit
|
commitdiff
|
tree
2022-04-03
Miodrag Milanović
Merge pull request #155 from jix/invalid_ff_dcinit_merge
commit
|
commitdiff
|
tree
2022-04-01
Jannis Harder
Regression test: do not merge FFs with unconstrained...
commit
|
commitdiff
|
tree
2022-03-31
Jannis Harder
Merge pull request #154 from jix/sby_design-fixes
commit
|
commitdiff
|
tree
2022-03-31
Jannis Harder
Fix design_hierarchy handling of $paramod cells
commit
|
commitdiff
|
tree
2022-03-31
Jannis Harder
Fix variable name in find_property_by_cellname's error...
commit
|
commitdiff
|
tree
2022-03-30
Jannis Harder
Merge pull request #151 from jix/prefer-first-trace
commit
|
commitdiff
|
tree
2022-03-30
Jannis Harder
Prefer the first tracefile for each failing assertion
commit
|
commitdiff
|
tree
2022-03-30
N. Engelhardt
Merge pull request #150 from nakengelhardt/fix_junit_ty...
commit
|
commitdiff
|
tree
2022-03-30
Jannis Harder
Merge pull request #147 from jix/smtbmc-keepgoing
commit
|
commitdiff
|
tree
2022-03-30
Jannis Harder
Tests for `--keep-going`
commit
|
commitdiff
|
tree
2022-03-29
N. Engelhardt
note unexpected return statuses in junit
commit
|
commitdiff
|
tree
2022-03-28
N. Engelhardt
Merge pull request #148 from nakengelhardt/docs_updates
commit
|
commitdiff
|
tree
2022-03-28
N. Engelhardt
Merge pull request #145 from nakengelhardt/fix_junit_tr...
commit
|
commitdiff
|
tree
2022-03-28
N. Engelhardt
Merge pull request #142 from nakengelhardt/fix_backslas...
commit
|
commitdiff
|
tree
2022-03-26
Miodrag Milanović
Merge pull request #146 from jix/aim_vs_smt2_nonzero_st...
commit
|
commitdiff
|
tree
2022-03-25
N. Engelhardt
document btor engine, add overview of mode/engine/solve...
commit
|
commitdiff
|
tree
2022-03-25
Jannis Harder
Test signals with nonzero start offsets in aim files...
commit
|
commitdiff
|
tree
2022-03-25
Jannis Harder
Use `-no-startoffset`, avoiding index mismatch between...
commit
|
commitdiff
|
tree
2022-03-24
Jannis Harder
Initial support for the new smtbmc --keep-going option
commit
|
commitdiff
|
tree
2022-03-22
N. Engelhardt
junit: handle multiple asserts failing with the same...
commit
|
commitdiff
|
tree
2022-03-22
N. Engelhardt
translate backslashes in cell names the same way as...
commit
|
commitdiff
|
tree
2022-03-15
Claire Xen
Merge pull request #120 from ythoma/patch-1
commit
|
commitdiff
|
tree
2022-03-15
N. Engelhardt
Merge pull request #139 from nakengelhardt/housekeeping
commit
|
commitdiff
|
tree
2022-03-15
N. Engelhardt
ci housekeeping
commit
|
commitdiff
|
tree
2022-03-07
N. Engelhardt
Merge pull request #133 from nakengelhardt/sby_junit
commit
|
commitdiff
|
tree
2022-03-07
N. Engelhardt
fix ci
commit
|
commitdiff
|
tree
2022-02-24
N. Engelhardt
add testcase for overall run result
commit
|
commitdiff
|
tree
2022-02-22
N. Engelhardt
validate junit files (with extra attributes added to...
commit
|
commitdiff
|
tree
2022-02-07
N. Engelhardt
fix induction
commit
|
commitdiff
|
tree
2022-02-07
N. Engelhardt
fix junit error/failure/skipped count
commit
|
commitdiff
|
tree
2022-02-07
N. Engelhardt
handle unreached cover properties
commit
|
commitdiff
|
tree
2022-02-07
N. Engelhardt
refactor junit print into own function
commit
|
commitdiff
|
tree
2022-02-06
N. Engelhardt
handle status of cover properties
commit
|
commitdiff
|
tree
2022-01-31
N. Engelhardt
refactor model to have single base
commit
|
commitdiff
|
tree
2022-01-27
N. Engelhardt
parse solver location output for assert failures (cover...
commit
|
commitdiff
|
tree
2022-01-21
N. Engelhardt
add fallback if solver can't tell which property fails
commit
|
commitdiff
|
tree
2022-01-19
N. Engelhardt
create json export and read in properties
commit
|
commitdiff
|
tree
2022-01-13
N. Engelhardt
WIP change junit print to conform to schema; needs...
commit
|
commitdiff
|
tree
2022-01-13
N. Engelhardt
add JUnit schema and validator
commit
|
commitdiff
|
tree
2022-01-12
Miodrag Milanović
Merge pull request #138 from YosysHQ/mmicko/ci
commit
|
commitdiff
|
tree
2022-01-12
Miodrag Milanovic
Added CI
commit
|
commitdiff
|
tree
2022-01-12
Miodrag Milanović
Merge pull request #136 from nakengelhardt/fix_pono
commit
|
commitdiff
|
tree
2022-01-12
N. Engelhardt
create only a single bad when using pono solver; workar...
commit
|
commitdiff
|
tree
2022-01-12
N. Engelhardt
add testcase exposing #137
commit
|
commitdiff
|
tree
2022-01-12
N. Engelhardt
use --witness option when calling pono
commit
|
commitdiff
|
tree
2022-01-12
N. Engelhardt
Merge pull request #135 from nakengelhardt/rename_task
commit
|
commitdiff
|
tree
2022-01-11
N. Engelhardt
Merge pull request #134 from nakengelhardt/advertise_su...
commit
|
commitdiff
|
tree
2022-01-11
N. Engelhardt
Rename SbyJob to SbyTask and SbyTask to SbyProc to...
commit
|
commitdiff
|
tree
2022-01-04
N. Engelhardt
mention tabby+oss cad suite in readme
commit
|
commitdiff
|
tree
2021-12-18
Claire Xenia...
Improvements and cleanups in tasks handling
commit
|
commitdiff
|
tree
2021-12-17
Claire Xenia...
Fixed [tasks] section parsing
commit
|
commitdiff
|
tree
2021-12-17
Claire Xen
Update README.md
commit
|
commitdiff
|
tree
2021-12-17
Claire Xen
Update README.md
commit
|
commitdiff
|
tree
2021-12-17
Claire Xenia...
Add inductive invariants example
commit
|
commitdiff
|
tree
2021-12-17
Claire Xenia...
Add ":"-syntax for [tasks] section
commit
|
commitdiff
|
tree
2021-11-30
Claire Xenia...
Update docs theme
commit
|
commitdiff
|
tree
2021-11-29
Claire Xenia...
Update docs theme
commit
|
commitdiff
|
tree
2021-11-26
Claire Xenia...
update docs theme
commit
|
commitdiff
|
tree
2021-10-31
Claire Xenia...
Add support for directories in [files] section
commit
|
commitdiff
|
tree
2021-10-31
Claire Xenia...
Fixed names and links
commit
|
commitdiff
|
tree
2021-09-13
Miodrag Milanović
Merge pull request #127 from christian-krieg/feat/updat...
commit
|
commitdiff
|
tree
2021-08-25
Miodrag Milanovic
Fix regression
commit
|
commitdiff
|
tree
2021-08-25
Miodrag Milanovic
Initialize variable
commit
|
commitdiff
|
tree
2021-08-23
Claire Xen
Merge pull request #126 from piegamesde/master
commit
|
commitdiff
|
tree
2021-07-20
Christian Krieg
Updated install instructions for super_prove
commit
|
commitdiff
|
tree
2021-07-12
piegames
fixup! Allow to set a working directory even when havin...
commit
|
commitdiff
|
tree
2021-06-26
piegames
Better error message when tasks failed
commit
|
commitdiff
|
tree
2021-06-26
piegames
Turn .format() strings into f-strings
commit
|
commitdiff
|
tree
2021-06-21
piegames
Allow to set a working directory even when having multi...
commit
|
commitdiff
|
tree
2021-06-21
piegames
Print paths as absolute
commit
|
commitdiff
|
tree
2021-05-21
Claire Xenia...
Update docs conf.py
commit
|
commitdiff
|
tree
2021-05-21
Claire Xenia...
New docs conf.py
commit
|
commitdiff
|
tree
2021-04-16
N. Engelhardt
Make readme of abstraction example more tutorial-like
commit
|
commitdiff
|
tree
2021-03-22
Miodrag Milanović
Merge pull request #121 from YosysHQ/windows_fix
commit
|
commitdiff
|
tree
2021-03-22
Miodrag Milanovic
Windows specific fixes
commit
|
commitdiff
|
tree
2021-03-04
Claire Xen
Update conf.py
commit
|
commitdiff
|
tree
2021-02-24
Claire Xen
Delete symbiotic_logo.png
commit
|
commitdiff
|
tree
2021-02-24
Claire Xen
Update conf.py
commit
|
commitdiff
|
tree
2021-02-05
ythoma
Update install.rst
commit
|
commitdiff
|
tree
2021-01-26
Miodrag Milanovic
Fix syntax errors
commit
|
commitdiff
|
tree
2020-10-23
Miodrag Milanovic
Extract installation procedure to separate file
commit
|
commitdiff
|
tree
next