projects / gram.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
setup.py: Removed deps as per bug #1086#c7.
[gram.git] / .build.yml
2020-08-03 Jean THOMASCompile libgram in SourceHut builds blob | commitdiff | raw
2020-07-29 Jean THOMASRemove iverilog, use Yosys/SymbiYosys from YoWASP blob | commitdiff | raw | diff to current
2020-07-24 Jean THOMASUse Yices from Fedora repository blob | commitdiff | raw | diff to current
2020-07-24 Jean THOMASUse Z3 from Fedora repos for faster CI blob | commitdiff | raw | diff to current
2020-07-20 Jean THOMASDisable SSH access for successful builds blob | commitdiff | raw | diff to current
2020-07-09 Jean THOMASUpdate build script to include software version blob | commitdiff | raw | diff to current
2020-07-08 Jean THOMASDrop YoWASP, build Yosys and SymbiYosys from source blob | commitdiff | raw | diff to current
2020-07-03 Jean THOMASRemove Diamond install script blob | commitdiff | raw | diff to current
2020-07-03 Jean THOMASRemove Diamond install as it only comes with models... blob | commitdiff | raw | diff to current
2020-07-03 Jean THOMASUse Yosys from YoWASP blob | commitdiff | raw | diff to current
2020-07-03 Jean THOMASAdd simulation script into SourceHut builds blob | commitdiff | raw | diff to current
2020-07-03 Jean THOMASAdd build script for SourceHut blob | commitdiff | raw | diff to current