projects
/
SymbiYosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Merge pull request #195 from jix/sbyproc-truncated-output
2022-03-15
Claire Xen
Merge pull request #120 from ythoma/patch-1
commit
|
commitdiff
|
tree
2021-12-18
Claire Xenia Wolf
Improvements and cleanups in tasks handling
...by: Claire Xenia Wolf <claire@
clairexen
.net>
commit
|
commitdiff
|
tree
2021-12-17
Claire Xenia Wolf
Fixed [tasks] section parsing
...by: Claire Xenia Wolf <claire@
clairexen
.net>
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 Wolf
Add inductive invariants example
...by: Claire Xenia Wolf <claire@
clairexen
.net>
commit
|
commitdiff
|
tree
2021-12-17
Claire Xenia Wolf
Add ":"-syntax for [tasks] section
...by: Claire Xenia Wolf <claire@
clairexen
.net>
commit
|
commitdiff
|
tree
2021-11-30
Claire Xenia Wolf
Update docs theme
...by: Claire Xenia Wolf <claire@
clairexen
.net>
commit
|
commitdiff
|
tree
2021-11-29
Claire Xenia Wolf
Update docs theme
...by: Claire Xenia Wolf <claire@
clairexen
.net>
commit
|
commitdiff
|
tree
2021-11-26
Claire Xenia Wolf
update docs theme
...by: Claire Xenia Wolf <claire@
clairexen
.net>
commit
|
commitdiff
|
tree
2021-10-31
Claire Xenia Wolf
Add support for directories in [files] section
...by: Claire Xenia Wolf <claire@
clairexen
.net>
commit
|
commitdiff
|
tree
2021-10-31
Claire Xenia Wolf
Fixed names and links
commit
|
commitdiff
|
tree
2021-08-23
Claire Xen
Merge pull request #126 from piegamesde/master
commit
|
commitdiff
|
tree
2021-05-21
Claire Xenia Wolf
Update docs conf.py
...by: Claire Xenia Wolf <claire@
clairexen
.net>
commit
|
commitdiff
|
tree
2021-05-21
Claire Xenia Wolf
New docs conf.py
...by: Claire Xenia Wolf <claire@
clairexen
.net>
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
2020-07-24
clairexen
Merge pull request #104 from nakengelhardt/more_tests
commit
|
commitdiff
|
tree
2020-07-20
clairexen
Merge pull request #102 from YosysHQ/claire/maketest
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-03
clairexen
Merge pull request #98 from YosysHQ/cosa2_to_pono
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
clairexen
Merge pull request #96 from YosysHQ/claire/btorscript
commit
|
commitdiff
|
tree
2020-05-18
clairexen
Merge pull request #88 from YosysHQ/claire/cosa2
commit
|
commitdiff
|
tree