sync.sh - oopsla21_fvhls - Formal verification of high-level synthesis.

summary refs log tree commit diff stats

path: root/sync.sh

blob: 06c89ebae6aa39af83c1ad37c38bd762f7f6dd7c (plain)

1
2
3

#!/bin/bash
git pull --rebase origin master
git push origin master