Commits · main · GuideForce / GuideForceJava

Feb 06, 2022
- add ref of the ppdp paper into readme · 800ad3af
  Chuangjie Xu authored 3 years ago
  
  Unverified
  
  800ad3af
May 26, 2021
- Update README.md · 10428d66
  Ulrich Schöpp authored 3 years ago
  
  Unverified
  
  10428d66
- Update README.md · 2ec5da48
  Chuangjie Xu authored 3 years ago
  
  Unverified
  
  2ec5da48
- print analysis results · d8557c54
  Chuangjie Xu authored 3 years ago
  
  d8557c54
May 24, 2021
- add variables for controlling e.g. whether dot files will be generated · 14c14043
  Chuangjie Xu authored 3 years ago
  
  14c14043
- add variables for controlling e.g. whether analysis results will be printed · 381ad81a
  Chuangjie Xu authored 3 years ago
  
  381ad81a
May 22, 2021
- Set java version in build.gradle · 716073ee
  Ulrich Schöpp authored 3 years ago
  
  716073ee
May 21, 2021
- Licence tbc · fa5f4029
  Ulrich Schöpp authored 3 years ago
  
  Unverified
  
  fa5f4029
May 18, 2021
- add gradle files · 22b4f0c0
  Chuangjie Xu authored 3 years ago
  
  22b4f0c0
- add securibench micro · db3b8015
  Chuangjie Xu authored 3 years ago
  
  db3b8015
- add the evaluation and test cases · 4c225188
  Chuangjie Xu authored 3 years ago
  
  4c225188
- add the GuideForce implementation · cb408f66
  Chuangjie Xu authored 3 years ago
  
  cb408f66
- add the libraries for testing securibench micro · ea108886
  Chuangjie Xu authored 3 years ago
  
  ea108886
May 14, 2021
- gitignore for a Gradle java project · 2322c6b6
  Chuangjie Xu authored 3 years ago
  
  2322c6b6
- Initial commit · c7862430
  Chuangjie Xu authored 3 years ago
  
  Unverified
  
  c7862430