Commit history

1. Commits on Oct 8, 2026

   • ci(benchmark): surface head-build failures instead of hiding make output

     Show description for e218b39
     

     Levalicious

     and

     claude

     committed
     e218b39View commit details

     Copy full SHA for e218b39

     View code at this pointBrowse repository at this point
2. Commits on Jul 13, 2026

   • build(deps): bump actions/setup-node from 4 to 6

     Show description for a15440f
     dependabot[bot]

     authored
     a15440fView commit details

     Copy full SHA for a15440f

     View code at this pointBrowse repository at this point

   • Merge pull request #207 from Levalicious/dependabot/github_actions/develop/actions/checkout-7

     Show description for a13cb9f
     Levalicious

     authored
     a13cb9fView commit details

     Copy full SHA for a13cb9f

     View code at this pointBrowse repository at this point
3. Commits on Jun 29, 2026

   • build(deps): bump actions/checkout from 4 to 7

     Show description for 540d440
     dependabot[bot]

     authored
     540d440View commit details

     Copy full SHA for 540d440

     View code at this pointBrowse repository at this point

   • build(deps): bump actions/github-script from 7 to 9

     Show description for bde2af0
     dependabot[bot]

     authored
     bde2af0View commit details

     Copy full SHA for bde2af0

     View code at this pointBrowse repository at this point
4. Commits on Jun 28, 2026

   • Merge pull request #201 from Levalicious/feature/benchmarks

     Show description for 042368f
     Levalicious

     authored
     042368fView commit details

     Copy full SHA for 042368f

     View code at this pointBrowse repository at this point
5. Commits on Jun 27, 2026

   • proofs: ACSL/WP for the adjacency edge encoding + Frama-C CI gate

     Show description for eb672e6
     

     Levalicious

     and

     claude

     committed
     eb672e6View commit details

     Copy full SHA for eb672e6

     View code at this pointBrowse repository at this point

   • bench: per-op adaptive microbench + base-vs-head CI gate + creep history

     Show description for 3ac2c1e
     

     Levalicious

     and

     claude

     committed
     3ac2c1eView commit details

     Copy full SHA for 3ac2c1e

     View code at this pointBrowse repository at this point
6. Commits on Jun 22, 2026

   • Bump actions/checkout from 6 to 7

     Show description for 31fed00
     dependabot[bot]

     authored
     31fed00View commit details

     Copy full SHA for 31fed00

     View code at this pointBrowse repository at this point
7. Commits on Mar 4, 2026

   • OSX Compat

     Levalicious

     committed
     6587d0aView commit details

     Copy full SHA for 6587d0a

     View code at this pointBrowse repository at this point
8. Commits on Feb 10, 2026

   • Leenting

     Levalicious

     committed
     4b77092View commit details

     Copy full SHA for 4b77092

     View code at this pointBrowse repository at this point
9. Commits on Feb 9, 2026

   • Merge pull request #95 from Levalicious/feature/pagerank

     Show description for 5b636bf
     Levalicious

     authored
     5b636bfView commit details

     Copy full SHA for 5b636bf

     View code at this pointBrowse repository at this point

   • Bump actions/checkout from 4 to 6

     Show description for 6b470e8
     dependabot[bot]

     authored
     6b470e8View commit details

     Copy full SHA for 6b470e8

     View code at this pointBrowse repository at this point

   • Oops

     Levalicious

     committed
     4c2dd4eView commit details

     Copy full SHA for 4c2dd4e

     View code at this pointBrowse repository at this point

   • Hopefully fix tests

     Levalicious

     committed
     3786143View commit details

     Copy full SHA for 3786143

     View code at this pointBrowse repository at this point
10. Commits on Feb 6, 2026

    • CodeQL Advanced

      Levalicious

      authored
      67ad7e0View commit details

      Copy full SHA for 67ad7e0

      View code at this pointBrowse repository at this point

    • Add `CODEOWNERS`

      Levalicious

      committed
      aa7a18aView commit details

      Copy full SHA for aa7a18a

      View code at this pointBrowse repository at this point
11. Commits on Dec 26, 2025

    • Tweak 2 electric boogaloo

      

      Levalicious

      committed
      714fd97View commit details

      Copy full SHA for 714fd97

      View code at this pointBrowse repository at this point

    • Version tweak

      

      Levalicious

      committed
      7326991View commit details

      Copy full SHA for 7326991

      View code at this pointBrowse repository at this point

    • Potential fix for code scanning alert no. 4: Workflow does not contain permissions

      Show description for 98f8158
      

      Levalicious

      and

      github-advanced-security[bot]

      authored
      98f8158View commit details

      Copy full SHA for 98f8158

      View code at this pointBrowse repository at this point

    • Fix version sync

      

      Levalicious

      committed
      4270548View commit details

      Copy full SHA for 4270548

      View code at this pointBrowse repository at this point

    • Bump actions/checkout from 4 to 6

      Show description for f9f6295
      dependabot[bot]

      authored
      f9f6295View commit details

      Copy full SHA for f9f6295

      View code at this pointBrowse repository at this point

    • Version sync action

      

      Levalicious

      committed
      bec1f56View commit details

      Copy full SHA for bec1f56

      View code at this pointBrowse repository at this point
12. Commits on Dec 25, 2025

    • Merge pull request #75 from Levalicious/release/0.0.10

      Show description for 9a898a3
      Levalicious

      authored
      9a898a3View commit details

      Copy full SHA for 9a898a3

      View code at this pointBrowse repository at this point

    • Remove PR action triggers

      

      Levalicious

      committed
      24ee671View commit details

      Copy full SHA for 24ee671

      View code at this pointBrowse repository at this point
13. Commits on Dec 5, 2025

    • Update dependabot.yml

      Levalicious

      authored
      336ccafView commit details

      Copy full SHA for 336ccaf

      View code at this pointBrowse repository at this point
14. Commits on Dec 1, 2025

    • Add tests

      

      Levalicious

      committed
      38ad214View commit details

      Copy full SHA for 38ad214

      View code at this pointBrowse repository at this point
15. Commits on Nov 21, 2025

    • Bump actions/checkout from 5 to 6

      Show description for 7e8cf2f
      dependabot[bot]

      authored
      7e8cf2fView commit details

      Copy full SHA for 7e8cf2f

      View code at this pointBrowse repository at this point
16. Commits on Nov 4, 2025

    • Switch from npm to yarn fully

      

      Levalicious

      committed
      f39a4b9View commit details

      Copy full SHA for f39a4b9

      View code at this pointBrowse repository at this point

    • Merge pull request #46 from Levalicious/master

      Show description for 1fd8987
      Levalicious

      authored
      1fd8987View commit details

      Copy full SHA for 1fd8987

      View code at this pointBrowse repository at this point

    • Bump actions/setup-node from 4 to 6

      Show description for 50f482d
      dependabot[bot]

      authored
      50f482dView commit details

      Copy full SHA for 50f482d

      View code at this pointBrowse repository at this point
17. Commits on Aug 12, 2025

    • Bump actions/checkout from 4 to 5

      Show description for e2300fa
      dependabot[bot]

      authored
      e2300faView commit details

      Copy full SHA for e2300fa

      View code at this pointBrowse repository at this point
18. Commits on Jul 18, 2025

    • Forgot to update permissions

      Levalicious

      authored
      eb24f67View commit details

      Copy full SHA for eb24f67

      View code at this pointBrowse repository at this point

    • Update automerge.yml

      Levalicious

      authored
      a4feb06View commit details

      Copy full SHA for a4feb06

      View code at this pointBrowse repository at this point

    • Update automerge.yml

      Levalicious

      authored
      5401badView commit details

      Copy full SHA for 5401bad

      View code at this pointBrowse repository at this point