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
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-12-17
Claire Xenia Wolf
Fixed [tasks] section parsing
Signed-off-by:
Claire Xen
ia 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
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-12-17
Claire Xenia Wolf
Add ":"-syntax for [tasks] section
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-11-30
Claire Xenia Wolf
Update docs theme
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-11-29
Claire Xenia Wolf
Update docs theme
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-11-26
Claire Xenia Wolf
update docs theme
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-10-31
Claire Xenia Wolf
Add support for directories in [files] section
Signed-off-by:
Claire Xen
ia 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
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-05-21
Claire Xenia Wolf
New docs conf.py
Signed-off-by:
Claire Xen
ia 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