Set up automatic testing in Github repository

This is my post documenting how to set up automatic testing for Github repository.

Continue reading

Advertisements
Posted in Uncategorized | Leave a comment

Push to github with a different user

git config –local credential.helper “”
and then just do a push, you will be prompt to enter username and password

Posted in Uncategorized | Leave a comment

Updating the Nvidia drivers

Here are some notes for updating the Nvidia drivers

Continue reading

Posted in Uncategorized | Leave a comment

Performance monitoring of GPU

Here are some notes on how to monitor the utilization of GPU

Continue reading

Posted in Uncategorized | Leave a comment

GraphIt development guide

Here are some notes of how to add new features into the GraphIt domain specific language (http://graphit-lang.org/).

Continue reading

Posted in Uncategorized | Leave a comment

Setting up env vars for gcc5.4

I was trying to use gcc 5.4, mostly to use the latest cilk version.

Here are some notes on what needs to be set up in order for gcc to compile (assuming the compiler is already built)

Continue reading

Posted in Uncategorized | Leave a comment

How to use GitHub pages

GitHub pages is an easy way to host and set up a website, especially for projects. I am using it for our high-performance graph domain specific language, GraphIt.

Continue reading

Posted in Uncategorized | Leave a comment