X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=.gitignore;h=2d1b9f1b8d7cd96e8299ce2f07102a6b4914e384;hp=50857424b9e3d1692ec01e51c4bb1ff76457c06b;hb=67de286d5d94420d14a9f7910b78e7271a65a842;hpb=2234ee277dea007e90e3c91c2386e7672f04d6d4;ds=sidebyside diff --git a/.gitignore b/.gitignore index 5085742..2d1b9f1 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,11 @@ #Ignoring netbeans configs nbproject/ +sat_solver +setup.sh #Ignoring binary files src/bin/ src/lib_cons_comp.so +/src/mymemory.cc +.* +*.dSYM