model-checking
diff --git a/‎compiler-builtins/LICENSE.TXT renamed to ‎compiler-builtins/LICENSE.txt b/‎compiler-builtins/LICENSE.TXT renamed to ‎compiler-builtins/LICENSE.txt