- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Hidden files and folders path like ".*/[.][a-zA-Z0-9_]+.*" 51 files: .gitignore ironclad-apps/.gitignore ironclad-apps/src/Checked/BootLoader/SingLdrPc/.gitignore ironclad-apps/src/Dafny/.gitignore ironclad-apps/src/Dafny/Apps/.gitignore ironclad-apps/src/Dafny/Apps/Common/.gitignore ironclad-apps/src/Dafny/Apps/DiffPriv/.gitignore ironclad-apps/src/Dafny/Apps/Notary/.gitignore ironclad-apps/src/Dafny/Apps/TrInc/.gitignore ironclad-apps/src/Dafny/Drivers/.gitignore ironclad-apps/src/Dafny/Drivers/Network/.gitignore ironclad-apps/src/Dafny/Drivers/Network/Intel/.gitignore ironclad-apps/src/Dafny/Drivers/TPM/.gitignore ironclad-apps/src/Dafny/Libraries/.gitignore ironclad-apps/src/Dafny/Libraries/BigNum/.gitignore ironclad-apps/src/Dafny/Libraries/Crypto/.gitignore ironclad-apps/src/Dafny/Libraries/Crypto/Hash/.gitignore ironclad-apps/src/Dafny/Libraries/Crypto/RSA/.gitignore ironclad-apps/src/Dafny/Libraries/Math/.gitignore ironclad-apps/src/Dafny/Libraries/Net/.gitignore ironclad-apps/src/Dafny/Libraries/Util/.gitignore ironclad-apps/tools/DafnyCC/.gitignore ironclad-apps/tools/DafnySpec/.gitignore ironclad-apps/tools/NuBuild/.gitignore ironclad-apps/tools/NuBuild/NuBuild/.gitignore ironclad-apps/tools/NuBuild/NuBuildExecutionService/.gitignore ironclad-apps/tools/NuBuild2/.gitignore ironclad-apps/tools/NuBuild2/NuBuild/.gitignore ironclad-apps/tools/NuBuild2/NuBuildExecutionService/.gitignore ironclad-apps/tools/scripts/.gitignore ironclad-apps/tools/standalone/.gitignore ironfleet/.gitignore ironfleet/src/CreateIronServiceCerts/.gitignore ironfleet/src/Dafny/.gitignore ironfleet/src/Dafny/Distributed/Common/.gitignore ironfleet/src/Dafny/Distributed/Services/Lock/.gitignore ironfleet/src/Dafny/Distributed/Services/RSL/.gitignore ironfleet/src/Dafny/Distributed/Services/SHT/.gitignore ironfleet/src/Dafny/Libraries/.gitignore ironfleet/src/Dafny/Libraries/Math/.gitignore ironfleet/src/IronLockServer/.gitignore ironfleet/src/IronRSLClient/.gitignore ironfleet/src/IronRSLCounterClient/.gitignore ironfleet/src/IronRSLCounterServer/.gitignore ironfleet/src/IronRSLKVClient/.gitignore ironfleet/src/IronRSLKVServer/.gitignore ironfleet/src/IronSHTClient/.gitignore ironfleet/src/IronSHTServer/.gitignore ironfleet/src/RedisClient/.gitignore ironfleet/src/TestIoFramework/.gitignore ironfleet/tools/scripts/.gitignore - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Text files path like ".*[.]txt" 10 files: ironclad-apps/boot/boothosts.txt ironclad-apps/src/Checked/Nucleus/Main/mul_plan.txt ironclad-apps/tools/Beat/nubuild-manifest.txt ironclad-apps/tools/BoogieAsm/nubuild-manifest.txt ironclad-apps/tools/DafnyCC/nubuild-manifest.txt ironclad-apps/tools/DafnySpec/DafnySpecAst/nubuild-manifest.txt ironclad-apps/tools/DafnySpec/Parser/ReadMe.txt ironclad-apps/tools/DafnySpec/Parser/nubuild-manifest.txt ironclad-apps/tools/DafnySpec/nubuild-manifest.txt ironclad-apps/tools/NuBuild2/NuBuild/ToDo.txt - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Too long lines (1000+ characters) 2 files: ironclad-apps/src/Clients/Notary/Program.cs ironclad-apps/tools/fsharp/FSharp.PowerPack.Metadata.xml - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - The resx resource files path like ".*[.]resx" 1 files: ironclad-apps/src/Clients/Benchmark/BenchmarkRequestGui/Properties/Resources.resx - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Sokrates scoping conventions path like ".*/sokrates_conventions[.]json" 1 files: sokrates_conventions.json - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Git history path like ".*/git[-]history[.]txt" 1 files: git-history.txt - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -