diff --git a/StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr b/StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr new file mode 100644 index 000000000..cbbde04a1 --- /dev/null +++ b/StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr @@ -0,0 +1,254 @@ +file_format_version = "1.0" +dafny_version = "4.8.0.0" +[options_by_module.Wrappers] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.Relations] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."Seq.MergeSort"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.Math] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.Seq] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.BoundedInts] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.AbstractUnicodeStrings] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.Unicode] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.Functions] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.UnicodeEncodingForm] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.Utf8EncodingForm] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.Utf16EncodingForm] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.UnicodeStrings] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.FileIO] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.GeneralInternals] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.MulInternalsNonlinear] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.MulInternals] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.Mul] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.ModInternalsNonlinear] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.DivInternalsNonlinear] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.ModInternals] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.DivInternals] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.DivMod] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.Power] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.Logarithm] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.StandardLibraryInterop] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."StandardLibrary.UInt"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."StandardLibrary.Sequence"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."StandardLibrary.String"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.StandardLibrary] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.UUID] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.UTF8] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.Time] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.Streams] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.Sorting] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.SortedSets] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.HexStrings] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.GetOpt] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.FloatCompare] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.ConcurrentCall] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.Base64] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.Base64Lemmas] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.Actions] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module.DafnyLibraries] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.Utils.Views.Core"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.Utils.Views.Writers"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.Utils.Lexers.Core"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.Utils.Lexers.Strings"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.Utils.Cursors"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.Utils.Parsers"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.Utils.Str.ParametricConversion"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.Utils.Str.ParametricEscaping"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.Utils.Str.CharStrConversion"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.Utils.Str.CharStrEscaping"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.Utils.Str"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.Utils.Seq"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.Utils.Vectors"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.Errors"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.Values"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.Spec"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.Grammar"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.Serializer.ByteStrConversion"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.Serializer"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.Deserializer.Uint16StrConversion"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.Deserializer.ByteStrConversion"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.Deserializer"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.ConcreteSyntax.Spec"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.ConcreteSyntax.SpecProperties"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.ZeroCopy.Serializer"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.ZeroCopy.Deserializer.Core"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.ZeroCopy.Deserializer.SequenceParams"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.ZeroCopy.Deserializer.Sequences"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.ZeroCopy.Deserializer.Strings"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.ZeroCopy.Deserializer.Numbers"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.ZeroCopy.Deserializer.ObjectParams"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.ZeroCopy.Deserializer.Objects"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.ZeroCopy.Deserializer.ArrayParams"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.ZeroCopy.Deserializer.Arrays"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.ZeroCopy.Deserializer.Constants"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.ZeroCopy.Deserializer.Values"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.ZeroCopy.Deserializer.API"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.ZeroCopy.Deserializer"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.ZeroCopy.API"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" +[options_by_module."JSON.API"] +legacy-module-names = false +python-module-name = "smithy_dafny_standard_library.internaldafny.generated" diff --git a/StandardLibrary/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr b/StandardLibrary/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr new file mode 100644 index 000000000..0a74fc0d7 --- /dev/null +++ b/StandardLibrary/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr @@ -0,0 +1,24 @@ +file_format_version = "1.0" +dafny_version = "4.8.0.0" +[options_by_module.TestUTF8] +legacy-module-names = false +[options_by_module.TestTime] +legacy-module-names = false +[options_by_module.TestComputeSetToOrderedSequenceCharLess] +legacy-module-names = false +[options_by_module.Sets] +legacy-module-names = false +[options_by_module.TestHexStrings] +legacy-module-names = false +[options_by_module.FloatCompareTest] +legacy-module-names = false +[options_by_module.TestCallMany] +legacy-module-names = false +[options_by_module.GetOptTest] +legacy-module-names = false +[options_by_module.TestUUID] +legacy-module-names = false +[options_by_module.TestComputeSetToOrderedSequenceUInt8Less] +legacy-module-names = false +[options_by_module.TestStrings] +legacy-module-names = false diff --git a/scripts/release/git_add_gitignore_bypass_release_files.sh b/scripts/release/git_add_gitignore_bypass_release_files.sh index 535bec9bf..db202e578 100755 --- a/scripts/release/git_add_gitignore_bypass_release_files.sh +++ b/scripts/release/git_add_gitignore_bypass_release_files.sh @@ -15,6 +15,8 @@ cd ../.. while IFS= read -r line; do # Only proceed if the line is not empty if [[ -n "$line" ]]; then - git add -f --all "$line" + # If `git add` doesn't match any files, it errors. + # Swallow error. Release technician should detect issue. + git add -f --all "$line" 2>/dev/null || true fi done <<< "$gitignore_bypass_release_files" \ No newline at end of file