• cr
  • GearsAgdaでのモデル検査
  • RedBlackTreeの続き
  • GearsAgda によるRed Black Treeの検証
  • nvim-agda
  • 卒業ハリーズ2024
  • CbCのインストールとpackage作成
  • 2/1　xv6とCbClang
  • 1/22　clang xv6-aarch64 コンパイル log
  • DBMS卒論のアイデア
  • Rustのモデル検査機 kani
  • 抽象化されたTransactionを実装する
  • トランザクションのモデル検査
  • SimpleDBのテストの実行(成功)+モデル検査(失敗)
  • SimpleDBのディスクIOをメモリIOに置換してモデル検査(失敗)
  • SimpleDBのモデル検査-環境構築
  • 1/20　xv6-UEFI ブートローダー実装　log
  • 1/18 xv6-UEFI ブートローダー実装　log
  • 1/19　xv6-UEFI ブートローダー実装　log
  • 論文リポジトリ