descriptionSPARK Cryptographic Library
ownerAlexander Senier
last changeFri, 2 Feb 2018 17:12:00 +0000 (18:12 +0100)
shortlog
2018-02-02 Stefan BerghoferAdapted to Isabelle2016-1 master
2017-01-24 Stefan BerghoferFix erroneous length calculation
2016-02-26 Stefan BerghoferAdapted to Isabelle2016
2015-06-11 Stefan BerghoferAdapted to Isabelle2015
2015-04-22 Stefan BerghoferAdded benchmarks for AES-CBC
2015-03-11 Stefan BerghoferRemoved deprecated -gnatN option
2014-12-04 Stefan BerghoferAdd support for Intel's AES instructions
2014-12-04 Stefan BerghoferExport SPARK_DIR to make it visible for tests
2014-11-21 Stefan BerghoferPrefix --gc-sections with -Wl
2014-11-21 Robert DornAdd SPARKSIMP_OPTS
2014-11-21 Robert DornDerive SPARK_DIR from location of sparksimp if not set
2014-09-09 Stefan BerghoferAdapted to renamings in Isabelle 2014 library Isabelle2014
2014-09-09 Stefan BerghoferMerge branch 'master' into Isabelle2014
2014-07-25 Stefan BerghoferAdapt to stricter style checks of GNAT Pro 7.3.0
2014-05-09 Stefan BerghoferAdapted to Isabelle2014
2014-05-09 Stefan BerghoferMerge with branch minor-fix
...
tags
8 years ago v0.1.1 Release of version 0.1.1
8 years ago v0.1.0 Release of version 0.1.0
8 years ago v0.1.0rc2 release candidate 2
8 years ago v0.1.0rc1 First release candidate of libspark...
heads
8 months ago master
16 months ago SPARK2014
4 years ago Isabelle2014
5 years ago sha3
8 years ago apidoc