diff --git a/_tags b/_tags
index e3b6de48..c1b52373 100644
--- a/_tags
+++ b/_tags
@@ -1,3 +1,10 @@
 <smt/*.cmx>: for-pack(Msat)
 <sat/*.cmx>: for-pack(Msat)
 
+# enable stronger inlining everywhere
+<common/**/*.cmx>: inline(15)
+<sat/**/*.cmx>: inline(10)
+<smt/**/*.cmx>: inline(10)
+
+# more warnings
+<**/*.ml>: warn_K, warn_Y, warn_X