Google Git
Sign in
apache/incubator-teaclave-verification/HEAD
  1. 566a295 extra lemma proof and redundant proof procedure deletion (#5) by SeanVer · 4 years, 2 months ago master
  2. 7e2a7a6 Merge pull request #4 from apache/ci by Yulong Zhang · 5 years ago
  3. 79cd9db Integrate with Travis CI by Yulong Zhang · 5 years ago
  4. 2881641 Merge pull request #3 from apache/cmd_build by Yulong Zhang · 5 years ago
  5. afc0721 Add Isabelle command line build file by Yulong Zhang · 5 years ago
  6. cc3aa0c Merge pull request #2 from SeanVer/master by Yulong Zhang · 5 years ago
  7. 8617dc0 Extra lemma proof and add more axioms by 小狈 · 5 years ago
  8. 50fe7b2 update README.md at root directory by 小狈 · 5 years ago
  9. 76abb09 baseline for the formal description and verification of access control module of incubator-teaclave by 小狈 · 5 years ago
  10. 952d50e Initial commit by Mingshen Sun · 5 years ago