Commit history

1. Commits on Oct 5, 2026

   • Compliance with CodeQL (#139)

     Show description for edc79fd
     wojciechozga

     authored
     edc79fdView commit details

     Copy full SHA for edc79fd

     View code at this pointBrowse repository at this point
2. Commits on Aug 10, 2026

   • Add OOPSLA paper, update dependencies (#126)

     Show description for 9727ac9
     wojciechozga

     authored
     9727ac9View commit details

     Copy full SHA for 9727ac9

     View code at this pointBrowse repository at this point
3. Commits on Mar 26, 2026

   • Finish page allocator verification (#119)

     Show description for b64f6c8
     lgaeher

     authored
     b64f6c8View commit details

     Copy full SHA for b64f6c8

     View code at this pointBrowse repository at this point
4. Commits on Jan 8, 2026

   • Progress on page allocator verification (#116)

     Show description for 24be7b6
     lgaeher

     authored
     24be7b6View commit details

     Copy full SHA for 24be7b6

     View code at this pointBrowse repository at this point
5. Commits on Oct 20, 2025

   • Bump Rust + RefinedRust versions (#112)

     Show description for 1aaabb9
     lgaeher

     authored
     1aaabb9View commit details

     Copy full SHA for 1aaabb9

     View code at this pointBrowse repository at this point
6. Commits on Oct 6, 2025

   • Update actions/checkout action to v5 (#109)

     Show description for 494c83d
     renovate[bot]

     authored
     494c83dView commit details

     Copy full SHA for 494c83d

     View code at this pointBrowse repository at this point
7. Commits on May 28, 2025

   • Run functional tests in CI (#102)

     Show description for 9322cae
     

     wojciechozga

     and

     lgaeher

     authored
     9322caeView commit details

     Copy full SHA for 9322cae

     View code at this pointBrowse repository at this point

   • Fix verification CI (#104)

     Show description for d0871fa
     

     wojciechozga

     and

     lgaeher

     authored
     d0871faView commit details

     Copy full SHA for d0871fa

     View code at this pointBrowse repository at this point
8. 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
9. 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
10. 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
11. 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
12. 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
13. 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
14. 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
15. 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
16. 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
17. 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
18. 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
19. 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
20. 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
21. Loading