Commits · master · joydeep / VerifyTESLA

Apr 30, 2019
- fixed typo · bce9eebc
  bamoon authored 6 years ago
  
  bce9eebc
Apr 26, 2019
- Update tesla.scm · e18592fa
  bamoon authored 6 years ago
  
  e18592fa
- Added key commitment constraint · b76177c9
  Kayla Mesh authored 6 years ago
  
  b76177c9
- resolved merge conflicts · cf794446
  Joy Mitra authored 6 years ago
  
  cf794446
- tesla changes · a9b9168a
  Joy Mitra authored 6 years ago
  
  a9b9168a
Apr 24, 2019
- Delete tesla.scm-3.txt · c6570a05
  mowens authored 6 years ago
  
  c6570a05
Apr 17, 2019
- Minor changes to my spec · 79632748
  Kayla Mesh authored 6 years ago
  
  79632748
Apr 14, 2019
- Merge branch 'master' of https://gitlab.cs.ksu.edu/joydeep/verifytesla · f86f416c
  Kayla Mesh authored 6 years ago
  f86f416c
- Refined protocol spec for checking if key is safe, began intruder spec · 233a9d36
  Kayla Mesh authored 6 years ago
  
  233a9d36
Apr 12, 2019
- refactored to new variable names for clarity, added second message to get... · 6c9d716c
  bamoon authored 6 years ago
  6c9d716c
Apr 04, 2019
- Add new file · 9f3371da
  mowens authored 6 years ago
  
  9f3371da
- included Mowen's non-orig constraints · 1b105c21
  bamoon authored 6 years ago
  
  1b105c21
- tesls protocol refinement for maude-npa · dc845e96
  Joy Mitra authored 6 years ago
  
  dc845e96
Apr 02, 2019
- Added my changes in tesla-kayla.psl to compare with JoyDeep's changes in tesla.psl · b9513cd9
  Kayla Mesh authored 6 years ago
  
  b9513cd9
- Merge branch 'master' of https://gitlab.cs.ksu.edu/joydeep/verifytesla · 9b5536f8
  Joy Mitra authored 6 years ago
  
  9b5536f8
- tesla protocol · e67c0ac1
  Joy Mitra authored 6 years ago
  
  e67c0ac1
Mar 29, 2019
- removed comments and cleaned up syntax. Should compile without the (ki ki) declaration · 66ee2fc8
  bamoon authored 6 years ago
  
  66ee2fc8
- adding an ignore file · dc772c68
  Joy Mitra authored 6 years ago
  
  dc772c68
- Merge branch 'master' of https://gitlab.cs.ksu.edu/joydeep/verifytesla · 4fcc1bfc
  Joy Mitra authored 6 years ago
  
  4fcc1bfc
- start modeling the protocol · 928f22e1
  Joy Mitra authored 6 years ago
  
  928f22e1
Mar 27, 2019
- Delete .DS_Store · aeabefdb
  eyv authored 6 years ago
  
  aeabefdb
Mar 26, 2019
- Upload New File · e1898551
  bamoon authored 6 years ago
  
  e1898551
Mar 20, 2019
- Began specifying the key chain · 033a2a19
  Kayla Mesh authored 6 years ago
  
  033a2a19
Mar 19, 2019
- Add new directory for cpsa code · e4086908
  bamoon authored 6 years ago
  
  e4086908
- restructuring · 3d6cf6df
  Joy Mitra authored 6 years ago
  
  3d6cf6df
- Merge branch 'master' of https://gitlab.cs.ksu.edu/joydeep/verifytesla · 3f41317d
  Joy Mitra authored 6 years ago
  
  3f41317d
- playing with tesla · 34686aaa
  Joy Mitra authored 6 years ago
  
  34686aaa
Feb 22, 2019
- Initial commit · 500a47b8
  joydeep authored 6 years ago
  
  500a47b8
Aug 06, 2016
- Updated my e-mail address in the vim syntax file. · e62e834d
  AKA Russell authored 8 years ago
  
  e62e834d
- Unknown malformed terms are printed. · 51fbb5c0
  AKA Russell authored 8 years ago
  51fbb5c0
May 15, 2015
- Forgot to add license to pslErrors.py · c5c5e17e
  acholewa authored 10 years ago
  
  c5c5e17e
- Merge branch 'master' of https://github.com/archolewa/Maude-PSL · 7d45bd99
  acholewa authored 10 years ago
  
  7d45bd99
- Added copyright notices to the PSL files. · 3014b25a
  acholewa authored 10 years ago
  
  3014b25a
May 14, 2015
- Added a note to see the psl_description.pdf file for more details about Maude-PSL. · e3c0bcc9
  Andrew authored 10 years ago
  
  e3c0bcc9
- Updated the README. · 7db3b42e
  Andrew authored 10 years ago
  
  7db3b42e
- Now that I've finished updating all the PSL files, I've moved all the PSL... · 47c9a669
  Andrew authored 10 years ago
  47c9a669
- Done Woolam. · 14f94e10
  Andrew authored 10 years ago
  
  14f94e10
- Did wmf. · fdfa41b9
  Andrew authored 10 years ago
  
  fdfa41b9
- Finished nsl.psl. · 7282c235
  Andrew authored 10 years ago
  
  7282c235
- Added code for handling errors where a Substitution is not properly sorted. · 65de0238
  Andrew authored 10 years ago
  
  65de0238