From: Patrick Lam <prof.lam@gmail.com>
Date: Thu, 15 Dec 2016 06:27:56 +0000 (-0800)
Subject: Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/satcheck-priv
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=5f3838b041321eb417737eed51c8639266c0d77c;hp=fc4a3bc4e90fad4f37ac0e44e33bb90d7a5749c3;p=satcheck.git

Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/satcheck-priv
---

diff --git a/C.cfg b/C.cfg
new file mode 100644
index 0000000..a464e72
--- /dev/null
+++ b/C.cfg
@@ -0,0 +1,13 @@
+indent_with_tabs = 2
+indent_cmt_with_tabs = True
+indent_columns = 2
+indent_class = True
+output_tab_size = 2
+nl_func_leave_one_liners = True
+sp_after_semi = Ignore
+sp_after_semi_for = Remove
+sp_before_semi_for = Ignore
+sp_special_semi                           = ignore
+sp_before_semi                            = ignore
+sp_before_semi_for_empty                  = ignore
+sp_after_semi_for_empty                   = ignore
diff --git a/Makefile b/Makefile
index 639f51a..a5eb60f 100644
--- a/Makefile
+++ b/Makefile
@@ -87,6 +87,10 @@ tests: $(LIB_SO)
 PHONY += pdfs
 pdfs: $(patsubst %.dot,%.pdf,$(wildcard *.dot))
 
+tabbing:
+	uncrustify -c C.cfg --no-backup *.cc
+	uncrustify -c C.cfg --no-backup *.h
+
 .PHONY: $(PHONY)
 
 # A 1-inch margin PDF generated by 'pandoc'