Skip to content

Commit 0157c44

Browse files
JellixJellix
committed
* Renamed project to Saatana
 (SPARK/Ada Algorithms Targeting Advanced Network Applications)
1 parent 304b948 commit 0157c44

13 files changed

+141
-109
lines changed

‎README.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
# security
1+
# Saatana - SPARK/Ada Algorithms Targeting Advanced Network Applications
22
A cryptographic framework, proven for correctness in SPARK
33

44
[![](https://github.com/HeisenbugLtd/security/workflows/Build%20Linux/badge.svg)](https://github.com/HeisenbugLtd/security/actions?query=event%3Apush)

security.gpr renamed to saatana.gpr

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
project Security is
1+
project Saatana is
22

33
for Source_Dirs use ("src/phelix", "src", "tests/phelix", "tests");
44
for Main use ("test_phelix.adb");
@@ -33,4 +33,4 @@ project Security is
3333
for Default_Switches ("ada") use ("-rules", "-from=rules/coding-standards.txt");
3434
end Check;
3535

36-
end Security;
36+
end Saatana;

‎scripts/ci-build.sh‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ set -o errexit
77
set -o nounset
88

99
# Build test_phelix
10-
gprbuild -j0 -p -P security.gpr
10+
gprbuild -j0 -p -P saatana.gpr
1111

1212
# For the record
1313
echo ENVIRONMENT:

‎scripts/ci-proof.sh‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,4 +14,4 @@ SPARKDIR=/opt/gnat/libexec/spark/bin
1414
(test -x ${SPARKDIR}/cvc4 && echo `${SPARKDIR}/cvc4 --version`) || true
1515
(test -x ${SPARKDIR}/z3 && echo `${SPARKDIR}/z3 -version`) || true
1616

17-
gnatprove -P security.gpr | tee gnatprove.stdout
17+
gnatprove -P saatana.gpr | tee gnatprove.stdout

src/phelix/crypto-phelix.adb renamed to src/phelix/saatana-crypto-phelix.adb

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
------------------------------------------------------------------------------
2-
-- Source code copyright (C) 2017 by Heisenbug Ltd. --
2+
-- Source code copyright (C) 2017-2020 by Heisenbug Ltd. --
33
-- --
44
-- DO WHAT THE FUCK YOU WANT TO PUBLIC LICENSE --
55
-- Version 2, December 2004 --
@@ -16,7 +16,7 @@
1616
-- 0. You just DO WHAT THE FUCK YOU WANT TO. --
1717
------------------------------------------------------------------------------
1818

19-
package body Crypto.Phelix is
19+
package body Saatana.Crypto.Phelix is
2020

2121
--
2222
-- Exclusive_Or
@@ -605,4 +605,4 @@ package body Crypto.Phelix is
605605
This.Setup_Phase := Nonce_Has_Been_Setup;
606606
end Setup_Nonce;
607607

608-
end Crypto.Phelix;
608+
end Saatana.Crypto.Phelix;

src/phelix/crypto-phelix.ads renamed to src/phelix/saatana-crypto-phelix.ads

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
------------------------------------------------------------------------------
2-
-- Source code copyright (C) 2017 by Heisenbug Ltd. --
2+
-- Source code copyright (C) 2017-2020 by Heisenbug Ltd. --
33
-- --
44
-- DO WHAT THE FUCK YOU WANT TO PUBLIC LICENSE --
55
-- Version 2, December 2004 --
@@ -54,7 +54,7 @@
5454
-- E-mail Address: schneier@counterpane.com
5555
------------------------------------------------------------------------------
5656

57-
package Crypto.Phelix with
57+
package Saatana.Crypto.Phelix with
5858
SPARK_Mode => On,
5959
Pure => True
6060
is
@@ -407,4 +407,4 @@ private
407407
function Setup_Nonce_Called (Ctx : Context) return Boolean is
408408
(Ctx.Setup_Phase in Nonce_Has_Been_Setup);
409409

410-
end Crypto.Phelix;
410+
end Saatana.Crypto.Phelix;

src/crypto.adb renamed to src/saatana-crypto.adb

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
------------------------------------------------------------------------------
2-
-- Source code copyright (C) 2017 by Heisenbug Ltd. --
2+
-- Source code copyright (C) 2017-2020 by Heisenbug Ltd. --
33
-- --
44
-- DO WHAT THE FUCK YOU WANT TO PUBLIC LICENSE --
55
-- Version 2, December 2004 --
@@ -16,7 +16,7 @@
1616
-- 0. You just DO WHAT THE FUCK YOU WANT TO. --
1717
------------------------------------------------------------------------------
1818

19-
package body Crypto is
19+
package body Saatana.Crypto is
2020

2121
--
2222
-- "+"
@@ -64,4 +64,4 @@ package body Crypto is
6464
return Result;
6565
end "+";
6666

67-
end Crypto;
67+
end Saatana.Crypto;

src/crypto.ads renamed to src/saatana-crypto.ads

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
------------------------------------------------------------------------------
2-
-- Source code copyright (C) 2017 by Heisenbug Ltd. --
2+
-- Source code copyright (C) 2017-2020 by Heisenbug Ltd. --
33
-- --
44
-- DO WHAT THE FUCK YOU WANT TO PUBLIC LICENSE --
55
-- Version 2, December 2004 --
@@ -26,7 +26,7 @@
2626

2727
with Interfaces;
2828

29-
package Crypto with
29+
package Saatana.Crypto with
3030
Pure => True,
3131
SPARK_Mode => On
3232
is
@@ -108,4 +108,4 @@ private
108108
(if Value'Length > 2 then Word_32 (Value (Value'First + 2)) * 2 ** 16 else 0) +
109109
(if Value'Length > 3 then Word_32 (Value (Value'First + 3)) * 2 ** 24 else 0));
110110

111-
end Crypto;
111+
end Saatana.Crypto;

‎src/saatana.ads‎

Lines changed: 32 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,32 @@
1+
------------------------------------------------------------------------------
2+
-- Source code copyright (C) 2020 by Heisenbug Ltd. --
3+
-- --
4+
-- DO WHAT THE FUCK YOU WANT TO PUBLIC LICENSE --
5+
-- Version 2, December 2004 --
6+
-- --
7+
-- Copyright (C) 2004 Sam Hocevar <sam@hocevar.net> --
8+
-- --
9+
-- Everyone is permitted to copy and distribute verbatim or modified --
10+
-- copies of this license document, and changing it is allowed as long --
11+
-- as the name is changed. --
12+
-- --
13+
-- DO WHAT THE FUCK YOU WANT TO PUBLIC LICENSE --
14+
-- TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION --
15+
-- --
16+
-- 0. You just DO WHAT THE FUCK YOU WANT TO. --
17+
------------------------------------------------------------------------------
18+
19+
------------------------------------------------------------------------------
20+
--
21+
-- SPARK/Ada Algorithms Targeting Advanced Network Applications
22+
--
23+
-- Saatana - Root package
24+
--
25+
------------------------------------------------------------------------------
26+
27+
package Saatana with
28+
Pure => True,
29+
SPARK_Mode => On
30+
is
31+
32+
end Saatana;

tests/phelix/crypto-phelix-test_vectors.ads renamed to tests/phelix/saatana-crypto-phelix-test_vectors.ads

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
------------------------------------------------------------------------------
2-
-- Source code copyright (C) 2017 by Heisenbug Ltd. --
2+
-- Source code copyright (C) 2017-2020 by Heisenbug Ltd. --
33
-- --
44
-- DO WHAT THE FUCK YOU WANT TO PUBLIC LICENSE --
55
-- Version 2, December 2004 --
@@ -16,9 +16,9 @@
1616
-- 0. You just DO WHAT THE FUCK YOU WANT TO. --
1717
------------------------------------------------------------------------------
1818

19-
with Crypto.Stream_Tools;
19+
with Saatana.Crypto.Stream_Tools;
2020

21-
package Crypto.Phelix.Test_Vectors with
21+
package Saatana.Crypto.Phelix.Test_Vectors with
2222
SPARK_Mode => Off
2323
is
2424
type Test_Vector is
@@ -2154,4 +2154,4 @@ is
21542154
-- MAC: 60 A2 31 C1 C9 F5 E4 EF 40 AA 0A 1C
21552155
);
21562156

2157-
end Crypto.Phelix.Test_Vectors;
2157+
end Saatana.Crypto.Phelix.Test_Vectors;

0 commit comments

Comments
 (0)