projects
/
SymbiYosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
SymbiYosys.git
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-01-26
Miodrag Milanovic
Fix syntax errors
commit
|
commitdiff
|
tree
2020-10-23
Miodrag Milanovic
Extract installation procedure to separate file
commit
|
commitdiff
|
tree
2020-10-15
Matt Venn
copyright
commit
|
commitdiff
|
tree
2020-10-15
Matt Venn
logo and links
commit
|
commitdiff
|
tree
2020-10-12
N. Engelhardt
Merge pull request #116 from nakengelhardt/sed_mac
commit
|
commitdiff
|
tree
2020-10-09
N. Engelhardt
sed -i option is not posix, and argument syntax is...
commit
|
commitdiff
|
tree
2020-09-11
Miodrag Milanović
Merge pull request #115 from nakengelhardt/rename_test
commit
|
commitdiff
|
tree
2020-09-11
N. Engelhardt
rename make test to make ci
commit
|
commitdiff
|
tree
2020-08-22
whitequark
Merge pull request #101 from YosysHQ/program-prefix
commit
|
commitdiff
|
tree
2020-08-22
whitequark
Add a PROGRAM_PREFIX= Makefile option for packages...
commit
|
commitdiff
|
tree
2020-07-31
Marcelina Kościelnicka
Run dffunmap before writing the design with aiger/btor...
commit
|
commitdiff
|
tree
2020-07-24
N. Engelhardt
fix test rule
commit
|
commitdiff
|
tree
2020-07-24
Claire Wolf
Remove redundant copy of picorv32
commit
|
commitdiff
|
tree
2020-07-24
Claire Wolf
Improvements in "make test"
commit
|
commitdiff
|
tree
2020-07-24
clairexen
Merge pull request #104 from nakengelhardt/more_tests
commit
|
commitdiff
|
tree
2020-07-24
N. Engelhardt
add tests directory with additional tests
commit
|
commitdiff
|
tree
2020-07-21
N. Engelhardt
fix error message formatting
commit
|
commitdiff
|
tree
2020-07-21
Claire Wolf
Include verilog source files for demo1.sby
commit
|
commitdiff
|
tree
2020-07-20
clairexen
Merge pull request #102 from YosysHQ/claire/maketest
commit
|
commitdiff
|
tree
2020-07-20
Claire Wolf
Add "Unexpected response" handling to smtbmc engine
commit
|
commitdiff
|
tree
2020-07-20
Claire Wolf
Add "make test"
commit
|
commitdiff
|
tree
2020-07-09
clairexen
Merge pull request #99 from whitequark/patch-1
commit
|
commitdiff
|
tree
2020-07-09
clairexen
Merge pull request #100 from edbordin/master
commit
|
commitdiff
|
tree
2020-07-08
Ed Bordin
use latest win python launcher from yosys
commit
|
commitdiff
|
tree
2020-07-05
whitequark
Inject executable dependencies from the environment
commit
|
commitdiff
|
tree
2020-07-03
clairexen
Merge pull request #98 from YosysHQ/cosa2_to_pono
commit
|
commitdiff
|
tree
2020-07-03
Miodrag Milanovic
cosa2 -> pono rename
commit
|
commitdiff
|
tree
2020-07-01
clairexen
Merge pull request #97 from nakengelhardt/seed_arg
commit
|
commitdiff
|
tree
2020-07-01
clairexen
Merge pull request #94 from nakengelhardt/fix_93
commit
|
commitdiff
|
tree
2020-07-01
N. Engelhardt
add --seed option to smtbmc and btor engines
commit
|
commitdiff
|
tree
2020-07-01
clairexen
Merge pull request #96 from YosysHQ/claire/btorscript
commit
|
commitdiff
|
tree
2020-06-30
N. Engelhardt
Merge pull request #95 from adumont/patch-1
commit
|
commitdiff
|
tree
2020-06-28
Alexandre Dumont...
Tipo missing * in Global Clock example
commit
|
commitdiff
|
tree
2020-06-23
Claire Wolf
Be more conservative in btor ys script
commit
|
commitdiff
|
tree
2020-06-16
N. Engelhardt
ignore race condition in killing already-terminated...
commit
|
commitdiff
|
tree
2020-05-18
clairexen
Merge pull request #88 from YosysHQ/claire/cosa2
commit
|
commitdiff
|
tree
2020-05-18
Claire Wolf
Add support for cosa2 BTOR solver
commit
|
commitdiff
|
tree
2020-05-18
N. Engelhardt
btor engine: handle models with 0 properties
commit
|
commitdiff
|
tree
2020-05-13
N. Engelhardt
Merge pull request #87 from nakengelhardt/cover_trace_s...
commit
|
commitdiff
|
tree
2020-05-13
N. Engelhardt
fix trace summary printing
commit
|
commitdiff
|
tree
2020-05-13
N. Engelhardt
call job.terminate at end of btor engine run to kill...
commit
|
commitdiff
|
tree
2020-05-12
N. Engelhardt
start btorsim as soon as a witness is ready, print...
commit
|
commitdiff
|
tree
2020-05-08
Claire Wolf
Add silent mode to SbyTask
commit
|
commitdiff
|
tree
2020-04-29
N. Engelhardt
fix return code check in btor engine
commit
|
commitdiff
|
tree
2020-04-29
N. Engelhardt
Merge pull request #85 from nakengelhardt/new_btorsim
commit
|
commitdiff
|
tree
2020-04-22
Claire Wolf
Update wolf_goat_cabbage.sv
commit
|
commitdiff
|
tree
2020-04-22
Claire Wolf
Merge pull request #86 from mattvenn/master
commit
|
commitdiff
|
tree
2020-04-22
matt venn
consistent naming and put person moving line at the top
commit
|
commitdiff
|
tree
2020-04-22
matt venn
Merge branch 'master' of https://github.com/YosysHQ...
commit
|
commitdiff
|
tree
2020-04-22
matt venn
change order of statements and make gender neutral
commit
|
commitdiff
|
tree
2020-04-14
Claire Wolf
Add task pattern matching, closes #76
commit
|
commitdiff
|
tree
2020-04-14
Claire Wolf
Add a status message when one or more tasks returned...
commit
|
commitdiff
|
tree
2020-04-09
Claire Wolf
Add djb2hash example
commit
|
commitdiff
|
tree
2020-04-08
N. Engelhardt
merge master
commit
|
commitdiff
|
tree
2020-04-08
N. Engelhardt
use info file for btorsim
commit
|
commitdiff
|
tree
2020-04-03
Claire Wolf
Get rid of verific warning in abstraction example
commit
|
commitdiff
|
tree
2020-04-03
Claire Wolf
Fix typo
commit
|
commitdiff
|
tree
2020-04-02
Claire Wolf
Merge pull request #74 from mattvenn/master
commit
|
commitdiff
|
tree
2020-04-02
N. Engelhardt
and another
commit
|
commitdiff
|
tree
2020-04-02
N. Engelhardt
fix formatting error
commit
|
commitdiff
|
tree
2020-04-02
Claire Wolf
Merge pull request #73 from nakengelhardt/str_format
commit
|
commitdiff
|
tree
2020-03-30
N. Engelhardt
fix callback functions
commit
|
commitdiff
|
tree
2020-03-30
N. Engelhardt
add btor cover mode; use btorsim for vcd generation
commit
|
commitdiff
|
tree
2020-03-30
N. Engelhardt
remove stray braces
commit
|
commitdiff
|
tree
2020-03-26
matt venn
use argument for name of .sby and .sv files
commit
|
commitdiff
|
tree
2020-03-25
matt venn
add --init-config option
commit
|
commitdiff
|
tree
2020-03-25
N. Engelhardt
Use .format() instead of %
commit
|
commitdiff
|
tree
2020-03-24
Claire Wolf
Fix primegen example
commit
|
commitdiff
|
tree
2020-02-11
Claire Wolf
Improve BTOR and AIG yosys scripts
commit
|
commitdiff
|
tree
2020-02-01
Claire Wolf
Merge pull request #70 from dh73/master
commit
|
commitdiff
|
tree
2020-01-30
Diego H
Fix typo in log message
commit
|
commitdiff
|
tree
2020-01-27
Claire Wolf
Add special handling for command not found errors
commit
|
commitdiff
|
tree
next