Home
last modified time | relevance | path

Searched refs:SPARK (Results 1 – 25 of 506) sorted by relevance

12345678910>>...21

/dports/devel/libspark2012/libspark2012-2012/src/
H A Dspark-ada-text_io-unbounded_string.adb19 with SPARK.Ada.Strings.Unbounded.Not_SPARK;
20 with SPARK.Ada.Text_IO.Not_SPARK;
22 package body SPARK.Ada.Text_IO.Unbounded_String is
36 Name => SPARK.Ada.Strings.Unbounded.Not_SPARK.To_String
38 Form => SPARK.Ada.Strings.Unbounded.Not_SPARK.To_String
59 Name => SPARK.Ada.Strings.Unbounded.Not_SPARK.To_String
61 Form => SPARK.Ada.Strings.Unbounded.Not_SPARK.To_String
95 Item => SPARK.Ada.Strings.Unbounded.Not_SPARK.To_String
112 Item => SPARK.Ada.Strings.Unbounded.Not_SPARK.To_String
129 Item => SPARK.Ada.Strings.Unbounded.Not_SPARK.To_String
[all …]
H A Dspark-ada-strings-unbounded.adb18 with SPARK.Ada.Strings.Not_SPARK;
19 with SPARK.Ada.Strings.Maps.Not_SPARK;
21 package body SPARK.Ada.Strings.Unbounded is
344 Set => SPARK.Ada.Strings.Maps.Not_SPARK.To_Character_Set
376 Set => SPARK.Ada.Strings.Maps.Not_SPARK.To_Character_Set
422 Set => SPARK.Ada.Strings.Maps.Not_SPARK.To_Character_Set
435 Set => SPARK.Ada.Strings.Maps.Not_SPARK.To_Character_Set
590 Left => SPARK.Ada.Strings.Maps.Not_SPARK.To_Character_Set
603 Left => SPARK.Ada.Strings.Maps.Not_SPARK.To_Character_Set
605 Right => SPARK.Ada.Strings.Maps.Not_SPARK.To_Character_Set
[all …]
H A Dspark-crypto-debug.ads41 with SPARK;
42 with SPARK.Crypto;
46 package SPARK.Crypto.Debug
57 end SPARK.Crypto.Debug;
H A Dspark-ada-command_line-unbounded_string.adb20 package body SPARK.Ada.Command_Line.Unbounded_String is
26 return SPARK.Ada.Strings.Unbounded.String_To_Unbounded_String
32 return SPARK.Ada.Strings.Unbounded.String_To_Unbounded_String
36 end SPARK.Ada.Command_Line.Unbounded_String;
H A Dspark-crypto-hash-skein.ads46 with SPARK;
47 with SPARK.Crypto;
48 with SPARK.Unsigned;
51 use type SPARK.Unsigned.U64;
59 package SPARK.Crypto.Hash.Skein
284 end SPARK.Crypto.Hash.Skein;
H A Dspark-crypto.ads42 with SPARK;
43 with SPARK.Unsigned;
46 package SPARK.Crypto
80 end SPARK.Crypto;
H A Dspark-ada-command_line-unbounded_string.ads40 with SPARK.Ada.Strings.Unbounded;
45 package SPARK.Ada.Command_Line.Unbounded_String is
57 end SPARK.Ada.Command_Line.Unbounded_String;
H A Dspark-crypto-debug.adb28 with SPARK.Unsigned;
30 package body SPARK.Crypto.Debug is
89 end SPARK.Crypto.Debug;
H A Dspark-ada-strings-unbounded-not_spark.ads29 with SPARK.Ada.Strings.Maps.Not_SPARK;
31 package SPARK.Ada.Strings.Unbounded.Not_SPARK is
72 end SPARK.Ada.Strings.Unbounded.Not_SPARK;
H A Dspark-ada-text_io-unbounded_string.ads54 with SPARK.Ada.Strings.Unbounded;
59 package SPARK.Ada.Text_IO.Unbounded_String is
185 end SPARK.Ada.Text_IO.Unbounded_String;
H A Dspark-ada.ads41 package SPARK.Ada is
43 end SPARK.Ada;
H A Dspark.ads41 package SPARK is packspec
43 end SPARK;
H A Dspark-crypto-hash.ads43 package SPARK.Crypto.Hash
46 end SPARK.Crypto.Hash;
H A Dspark-ada-containers.ads41 package SPARK.Ada.Containers is
52 end SPARK.Ada.Containers;
H A Dspark-ada-strings-unbounded-not_spark.adb19 with SPARK.Ada.Strings.Not_SPARK;
21 package body SPARK.Ada.Strings.Unbounded.Not_SPARK is
115 end SPARK.Ada.Strings.Unbounded.Not_SPARK;
H A Dspark-unsigned.adb18 package body SPARK.Unsigned is
26 end SPARK.Unsigned;
H A Dspark-ada-strings.ads41 package SPARK.Ada.Strings is
56 end SPARK.Ada.Strings;
H A Dspark-ada-strings-not_spark.ads31 package SPARK.Ada.Strings.Not_SPARK is
56 end SPARK.Ada.Strings.Not_SPARK;
H A Dspark-ada-text_io-not_spark.ads29 package SPARK.Ada.Text_IO.Not_SPARK is
61 end SPARK.Ada.Text_IO.Not_SPARK;
H A Dspark-ada-strings-maps-not_spark.ads31 package SPARK.Ada.Strings.Maps.Not_SPARK is
72 end SPARK.Ada.Strings.Maps.Not_SPARK;
H A Dspark-ada-command_line.ads40 package SPARK.Ada.Command_Line
63 end SPARK.Ada.Command_Line;
H A Dspark-ada-command_line.adb20 package body SPARK.Ada.Command_Line is
34 end SPARK.Ada.Command_Line;
/dports/devel/spark/spark-2.1.1/sql/catalyst/src/test/scala/org/apache/spark/sql/catalyst/analysis/
H A DAnalysisSuite.scala212 test("SPARK-9634: cleanup unnecessary Aliases in LogicalPlan") {
256 test("SPARK-10534: resolve attribute references in order by clause") {
271 test("SPARK-8654: invalid CAST in NULL IN(...) expression") {
278 test("SPARK-8654: different types in inlist but can be converted to a common type") {
285 test("SPARK-8654: check type compatibility error") {
292 test("SPARK-11725: correctly handle null inputs for ScalaUDF") {
336 test("SPARK-11863 mixture of aliases and real columns in order by clause - tpcds 19,55,71") {
360 test("SPARK-12102: Ignore nullablity when comparing two sides of case") {
411 test("SPARK-18058: union and set operations shall not care about the nullability" +
/dports/devel/spark/spark-2.1.1/docs/
H A Dml-migration-guides.md19 (see [SPARK-13944](https://issues.apache.org/jira/browse/SPARK-13944)).
112 * [SPARK-14984](https://issues.apache.org/jira/browse/SPARK-14984):
114 * [SPARK-13784](https://issues.apache.org/jira/browse/SPARK-13784):
117 * [SPARK-13761](https://issues.apache.org/jira/browse/SPARK-13761):
120 * [SPARK-14829](https://issues.apache.org/jira/browse/SPARK-14829):
123 * [SPARK-14900](https://issues.apache.org/jira/browse/SPARK-14900):
125 * [SPARK-15644](https://issues.apache.org/jira/browse/SPARK-15644):
133 * [SPARK-7780](https://issues.apache.org/jira/browse/SPARK-7780):
138 * [SPARK-13429](https://issues.apache.org/jira/browse/SPARK-13429):
174 * [SPARK-7770](https://issues.apache.org/jira/browse/SPARK-7770):
[all …]
H A Dml-guide.md92 * [SPARK-18592](https://issues.apache.org/jira/browse/SPARK-18592):
97 * [SPARK-17870](https://issues.apache.org/jira/browse/SPARK-17870):
99 * [SPARK-3261](https://issues.apache.org/jira/browse/SPARK-3261):
101 * [SPARK-17389](https://issues.apache.org/jira/browse/SPARK-17389):

12345678910>>...21