index
:
oopsla21_fvhls
master
Formal verification of high-level synthesis.
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
sync.sh
blob: 06c89ebae6aa39af83c1ad37c38bd762f7f6dd7c (
plain
)
1
2
3
#!/bin/bash
git pull
--rebase
origin master git push origin master