Commits

Commit history

1. Commits on Nov 29, 2024

   • Removed qemu from submodules (#75)

     Show description for e0c4bcb
     wojciechozga

     authored
     e0c4bcbView commit details

     Copy full SHA for e0c4bcb

     View code at this pointBrowse repository at this point
2. Commits on Aug 12, 2024

   • Pin RefinedRust to a specific version (#70)

     Show description for ceccd81
     

     lgaeher

     and

     wojciechozga

     authored
     ceccd81View commit details

     Copy full SHA for ceccd81

     View code at this pointBrowse repository at this point
3. Commits on Jul 19, 2024

   • Initial formal verification results (#69)

     Show description for fb42733
     lgaeher

     authored
     fb42733View commit details

     Copy full SHA for fb42733

     View code at this pointBrowse repository at this point
4. Commits on May 31, 2024

   • Create pull_request_template.md (#61)

     Show description for c9a3121
     wojciechozga

     authored
     c9a3121View commit details

     Copy full SHA for c9a3121

     View code at this pointBrowse repository at this point
5. Commits on Apr 3, 2024

   • Modularization (#49)

     Show description for ac869ec
     wojciechozga

     authored
     ac869ecView commit details

     Copy full SHA for ac869ec

     View code at this pointBrowse repository at this point
6. Commits on Mar 15, 2024

   • Documentation improvements (#47)

     Show description for 3bceea7
     wojciechozga

     authored
     3bceea7View commit details

     Copy full SHA for 3bceea7

     View code at this pointBrowse repository at this point
7. Commits on Feb 16, 2024

   • Added a sample Linux kernel-based confidential VM (#37)

     Show description for cb47f00
     wojciechozga

     authored
     cb47f00View commit details

     Copy full SHA for cb47f00

     View code at this pointBrowse repository at this point
8. Commits on Feb 5, 2024

   • Code fixes, dependency updates, SBI cleaning (#35)

     Show description for c9f3d29
     wojciechozga

     authored
     c9f3d29View commit details

     Copy full SHA for c9f3d29

     View code at this pointBrowse repository at this point
9. Commits on Dec 6, 2023

   • Change CI image to Ubuntu (#27)

     Show description for 8a47595
     lgaeher

     authored
     8a47595View commit details

     Copy full SHA for 8a47595

     View code at this pointBrowse repository at this point
10. Commits on Dec 1, 2023

    • Update verification setup (#24)

      Show description for 9eb72f0
      lgaeher

      authored
      9eb72f0View commit details

      Copy full SHA for 9eb72f0

      View code at this pointBrowse repository at this point
11. Commits on Nov 23, 2023

    • initial verification setup (#22)

      Show description for f32f0bf
      lgaeher

      authored
      f32f0bfView commit details

      Copy full SHA for f32f0bf

      View code at this pointBrowse repository at this point
12. Commits on Nov 1, 2023

    • Add files via upload (#20)

      wojciechozga

      authored
      1ccf526View commit details

      Copy full SHA for 1ccf526

      View code at this pointBrowse repository at this point

    • Update logo (#19)

      wojciechozga

      authored
      60da35aView commit details

      Copy full SHA for 60da35a

      View code at this pointBrowse repository at this point

    • Add logo (#17)

      wojciechozga

      authored
      91bc739View commit details

      Copy full SHA for 91bc739

      View code at this pointBrowse repository at this point
13. Commits on Oct 5, 2023

    • Added a CI build badge to the README.md (#15)

      Show description for 8b8acbf
      wojciechozga

      authored
      8b8acbfView commit details

      Copy full SHA for 8b8acbf

      View code at this pointBrowse repository at this point

    • Configured Github Actions to automatically verify builds (#14)

      Show description for f2a8a28
      wojciechozga

      authored
      f2a8a28View commit details

      Copy full SHA for f2a8a28

      View code at this pointBrowse repository at this point
14. Loading