HeisenbugLtd/Saatana

Issues

• Manual proof run

  #29 opened 4 years ago by Jellix
  0

• Wrong Assume pragmas

  #28 opened 4 years ago by Jellix
  1

• Use Relaxed_Initialization aspect to prove array initialization

  #26 opened 4 years ago by Jellix
  0

• Upload gnatprove results upon CI run

  #5 opened 5 years ago by Jellix
  1

• Upload KAT results

  #12 opened 5 years ago by Jellix
  0

• Split workflows into build and proof

  #16 opened 5 years ago by Jellix
  0

• Broken "--exclude" expression for tar in work flow file

  #24 opened 5 years ago by Jellix
  1

• Prove bijectivity of conversion functions

  #22 opened 5 years ago by Jellix
  1

• Run gnat check automatically

  #19 opened 5 years ago by Jellix
  1

• Lemmas package not run through SPARK

  #25 opened 5 years ago by Jellix
  1

• Performance test

  #3 opened 5 years ago by Jellix
  0

• Improve readability of post condition

  #2 opened 7 years ago by Jellix
  0

• Implement more encryption algorithms

  #15 opened 5 years ago by Jellix
  0

• Precondition not proved in Decrypt/Encrypt_Packet

  #1 opened 7 years ago by Jellix
  1

• Investigate and fix the new "medium" proof failures

  #8 opened 5 years ago by Jellix
  3