projects
/
dev-env-setup.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
update to released version of cvc5 that includes powerpc64le fixes
[dev-env-setup.git]
/
hdl-tools-yosys
2022-07-22
Jacob Lifshay
update to released version of cvc5 that includes powerp...
blob
|
commitdiff
|
raw
2022-07-12
R Veera Kumar
Add initial support for cvc5 and bitwuzla
blob
|
commitdiff
|
raw
|
diff to current
2022-07-06
Luke Kenneth Casso...
add bitwuzla/cvc5 to hdl-tools-yosys
blob
|
commitdiff
|
raw
|
diff to current
2022-06-16
Luke Kenneth Casso...
update yosys tag
blob
|
commitdiff
|
raw
|
diff to current
2022-06-16
Luke Kenneth Casso...
clone from libre-soc.org for SymbiYosys
blob
|
commitdiff
|
raw
|
diff to current
2022-06-14
Luke Kenneth Casso...
set src directory to $SUDO_USER
blob
|
commitdiff
|
raw
|
diff to current
2022-06-14
Luke Kenneth Casso...
update to 0.13-with-write_jny tag in yosys
blob
|
commitdiff
|
raw
|
diff to current
2022-03-25
Luke Kenneth Casso...
more notes about yosys and ghdl
blob
|
commitdiff
|
raw
|
diff to current
2022-03-25
Luke Kenneth Casso...
require specific versions of yosys and ghdl and ghdl...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-20
Tobias Platen
fix broken build on ppc64le
blob
|
commitdiff
|
raw
|
diff to current
2022-01-29
Tobias Platen
add ghdl-yosys-plugin, update links to yosyshq
blob
|
commitdiff
|
raw
|
diff to current
2021-09-10
Andrey Miroshnikov
Changed chown and chgrp to change ownership of the...
blob
|
commitdiff
|
raw
|
diff to current
2021-05-02
Luke Kenneth Casso...
correct mkdir paths in hdl-tools-yosys
blob
|
commitdiff
|
raw
|
diff to current
2021-03-12
Luke Kenneth Casso...
clean up build scripts
blob
|
commitdiff
|
raw
|
diff to current
2021-03-08
Luke Kenneth Casso...
add comments
blob
|
commitdiff
|
raw
|
diff to current
2020-07-24
Cole Poirier
Remove use of uid=1000 in favour of $SUDO_USER globally
blob
|
commitdiff
|
raw
|
diff to current
2020-07-24
Cole Poirier
Fix minor bugs, give better name to yosys install script
blob
|
commitdiff
|
raw
|
diff to current