description | Unnamed repository; edit this file 'description' to name the repository. |
owner | Brian Demsky |
last change | Thu, 14 Jan 2021 19:31:04 +0000 (11:31 -0800) |
URL | git://plrg.ics.uci.edu/tsan11-tsan11rec-docker.git |
ssh://plrg.ics.uci.edu/home/git/tsan11-tsan11rec-docker.git |
2021-01-14 | weiyu | Change permission of the ssh key master | commit | commitdiff | tree | snapshot |
2020-12-17 | weiyu | Update readme | commit | commitdiff | tree | snapshot |
2020-12-16 | weiyu | Build two versions of Silo, a debug version that checks... | commit | commitdiff | tree | snapshot |
2020-12-16 | weiyu | update scripts | commit | commitdiff | tree | snapshot |
2020-12-15 | weiyu | Add readme | commit | commitdiff | tree | snapshot |
2020-12-15 | weiyu | Add docker image | commit | commitdiff | tree | snapshot |
2020-12-15 | weiyu | add scripts and key | commit | commitdiff | tree | snapshot |
2020-12-15 | weiyu | Add an empty readme | commit | commitdiff | tree | snapshot |
4 years ago | master | shortlog | log | tree |