descriptionSPARK Cryptographic Library
ownerAlexander Senier
last changeThu, 15 Nov 2018 08:47:50 +0000 (09:47 +0100)
shortlog
2018-11-15 Stefan BerghoferAdapted to Isabelle2017 master
2018-02-02 Stefan BerghoferAdapted to Isabelle2016-1
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
...
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
4 weeks ago master
18 months ago SPARK2014
4 years ago Isabelle2014
5 years ago sha3
8 years ago apidoc