Saatana 2.0.2

This is a bugfix (#28) only release, no functional changes have been introduced.

All previous versions were using some Assume pragmas to prove that range checks can't fail. As it turns out, these assumptions were wrong: Empty arrays (those where 'Last is smaller than 'First) can indeed have any index whose range is with the range of the base type (a 64 bit integer in our case).
With enabled range or assertions checks (like Assert, Assume pragmas are also checked at run-time) this would have raised a run-time error (either Assertion_Error for the failed Assumeption, or a range check error for the assignment to another variable later on).

sha512:7c1a189d572b7b24b07a228505f5d77eb973126c3b0524543c55b6f4c140cb5b778748017670c2c51d57d5b64f92010834d04d261388e102dd95a5555794fe85 Saatana-2.0.2.zip

sha512:edf1f2f600901d91a7e9993db30f705106ff735124487e77b21881d2022bad7a858276735504fa4788bb12f4cd051426021ac998d1b8399769f191ec1ea90a41 Saatana-2.0.2.tar.gz

Saatana V2.0.1

This version is virtually identical to the 2.0.0 release with the important difference that everything is proven automatically with no more manual justification (pragma Annotate) required. This comes at the expense of requiring a rather new version of SPARK/Ada due to the use of the "Relaxed_Initialization" aspect, though.

sha512:dc98d399cd18ea1e0928425a67da1c9b8071bc4c33556a1cdd4c4ba00fdc190cf17f045e085a867006f241087b7a1405036d96b2f5a7d205d030149550843458 Saatana-2.0.1.zip

sha512:44c5144068867a3a6f67311f9106780bd1f4de43112216cb7e04153dfa7e2489d665616093dcb7b1fcbbfdd1bb075cd46c079065445a31f1582a78678aea7ab6 Saatana-2.0.1.tar.gz

Saatana V2.0.0

Everything is now under an umbrella package Saatana, so source code compatibility is definitely broken compared to v1.0.x, hence v2.0.0. Technically, it is identical to the Security v1.0.1 release.

sha512:1e0eaf5687cf51a76d9491fa45bb3ba91ed996684ce7678e05b01b2e423cc99b7f0e4008f66613596cb9f4fcb46420eb1ce620f61956b46a7006774022e18b16

Initial release (with fixes)

Initial version.

Still, the only cryptographic algorithm contained is Phelix, but well. We have to start somewhere.

Changes to v1.0.0:

• Small fixes incorporated that were detected after I tried to add it to Alire (including a still present compilation error in the github version).

Initial release

Current version seems reasonably stable (as I haven't worked on it for a while, anyway), so I think we can do a release as 1.0.0.

Still, the only cryptographic algorithm contained is Phelix, but well. We have to start somewhere.