diff --git a/examples/smtbmc/glift/C7552.v b/examples/smtbmc/glift/C7552.v
old mode 100755
new mode 100644
diff --git a/examples/smtbmc/glift/C880.v b/examples/smtbmc/glift/C880.v
old mode 100755
new mode 100644
diff --git a/examples/smtbmc/glift/alu2.v b/examples/smtbmc/glift/alu2.v
old mode 100755
new mode 100644
diff --git a/examples/smtbmc/glift/alu4.v b/examples/smtbmc/glift/alu4.v
old mode 100755
new mode 100644
diff --git a/examples/smtbmc/glift/t481.v b/examples/smtbmc/glift/t481.v
old mode 100755
new mode 100644
diff --git a/examples/smtbmc/glift/too_large.v b/examples/smtbmc/glift/too_large.v
old mode 100755
new mode 100644
diff --git a/examples/smtbmc/glift/ttt2.v b/examples/smtbmc/glift/ttt2.v
old mode 100755
new mode 100644
diff --git a/examples/smtbmc/glift/x1.v b/examples/smtbmc/glift/x1.v
old mode 100755
new mode 100644
diff --git a/tests/sim/tb/tb_adff.v b/tests/sim/tb/tb_adff.v
old mode 100755
new mode 100644
diff --git a/tests/sim/tb/tb_adffe.v b/tests/sim/tb/tb_adffe.v
old mode 100755
new mode 100644
diff --git a/tests/sim/tb/tb_adlatch.v b/tests/sim/tb/tb_adlatch.v
old mode 100755
new mode 100644
diff --git a/tests/sim/tb/tb_aldff.v b/tests/sim/tb/tb_aldff.v
old mode 100755
new mode 100644
diff --git a/tests/sim/tb/tb_aldffe.v b/tests/sim/tb/tb_aldffe.v
old mode 100755
new mode 100644
diff --git a/tests/sim/tb/tb_dff.v b/tests/sim/tb/tb_dff.v
old mode 100755
new mode 100644
diff --git a/tests/sim/tb/tb_dffe.v b/tests/sim/tb/tb_dffe.v
old mode 100755
new mode 100644
diff --git a/tests/sim/tb/tb_dffsr.v b/tests/sim/tb/tb_dffsr.v
old mode 100755
new mode 100644
diff --git a/tests/sim/tb/tb_dlatch.v b/tests/sim/tb/tb_dlatch.v
old mode 100755
new mode 100644
diff --git a/tests/sim/tb/tb_dlatchsr.v b/tests/sim/tb/tb_dlatchsr.v
old mode 100755
new mode 100644
diff --git a/tests/sim/tb/tb_sdff.v b/tests/sim/tb/tb_sdff.v
old mode 100755
new mode 100644
diff --git a/tests/sim/tb/tb_sdffce.v b/tests/sim/tb/tb_sdffce.v
old mode 100755
new mode 100644
diff --git a/tests/sim/tb/tb_sdffe.v b/tests/sim/tb/tb_sdffe.v
old mode 100755
new mode 100644