Commits

Commit history

1. Commits on Sep 24, 2026

   • Relax CMake version requirement to 3.26 (#10909)

     Show description for f4181f7
     alexreinking

     authored
     f4181f7View commit details

     Copy full SHA for f4181f7

     View code at this pointBrowse repository at this point
2. Commits on Sep 23, 2026

   • Scope push events to master in ci.yml and ocaml.yaml (#10845)

     Show description for 1b56381
     alexreinking

     authored
     1b56381View commit details

     Copy full SHA for 1b56381

     View code at this pointBrowse repository at this point
3. Commits on Sep 19, 2026

   • Schedule FStar master build weekly (#10875)

     Show description for 908e09b
     

     Copilot

     and

     NikolajBjorner

     authored
     908e09bView commit details

     Copy full SHA for 908e09b

     View code at this pointBrowse repository at this point

   • [WIP] Fix failing GitHub Actions job 'Ubuntu Doc build' (#10872)

     Show description for 5130141
     

     Copilot

     and

     NikolajBjorner

     authored
     5130141View commit details

     Copy full SHA for 5130141

     View code at this pointBrowse repository at this point
4. Commits on Sep 18, 2026

   • Kill the legacy Python build system (#10830)

     Show description for 4df01e1
     

     4 peopleauthored
     4df01e1View commit details

     Copy full SHA for 4df01e1

     View code at this pointBrowse repository at this point
5. Commits on Sep 16, 2026

   • Fix Java full-version lookup on Linux (#10805)

     Show description for d5d9266
     

     Copilot

     and

     NikolajBjorner

     authored
     d5d9266View commit details

     Copy full SHA for d5d9266

     View code at this pointBrowse repository at this point
6. Commits on Sep 11, 2026

   • Bump pypa/cibuildwheel from 4.2.0 to 4.2.1 (#10779)

     Show description for f85ec6c
     dependabot[bot]

     authored
     f85ec6cView commit details

     Copy full SHA for f85ec6c

     View code at this pointBrowse repository at this point
7. Commits on Sep 10, 2026

   • Make NFV audit dispatch advisory (#10777)

     levnach

     authored
     5049e27View commit details

     Copy full SHA for 5049e27

     View code at this pointBrowse repository at this point

   • Author-sign NuGet packages before publishing to NuGet.org (#10773)

     Show description for 25d3047
     

     Copilot

     and

     NikolajBjorner

     authored
     25d3047View commit details

     Copy full SHA for 25d3047

     View code at this pointBrowse repository at this point

   • [WIP] Fix failing GitHub Actions job publish to NuGet.org (#10768)

     Show description for 761391d
     

     Copilot

     and

     NikolajBjorner

     authored
     761391dView commit details

     Copy full SHA for 761391d

     View code at this pointBrowse repository at this point

   • Fix "Publish to NuGet.org" job failing with `mono: not found` (#10767)

     Show description for 286cb6b
     

     Copilot

     and

     NikolajBjorner

     authored
     286cb6bView commit details

     Copy full SHA for 286cb6b

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

   • cross-build: force Ninja generator in ubuntu:noble cross-arch job (#10757)

     Show description for 9c1227b
     

     Copilot

     and

     NikolajBjorner

     authored
     9c1227bView commit details

     Copy full SHA for 9c1227b

     View code at this pointBrowse repository at this point

   • Use trusted publishing for NuGet releases

     Show description for 7992e1a
     

     NikolajBjorner

     and

     Copilot

     committed
     7992e1aView commit details

     Copy full SHA for 7992e1a

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

   • Dispatch NFV audits for pull request updates (#10758)

     Show description for 7081c53
     

     NikolajBjorner

     and

     Copilot

     authored
     7081c53View commit details

     Copy full SHA for 7081c53

     View code at this pointBrowse repository at this point

   • [CMake] Refresh build documentation and invocation style (#10753)

     Show description for 226d6cc
     alexreinking

     authored
     226d6ccView commit details

     Copy full SHA for 226d6cc

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

    • [CMake] Rework the CMake component graph (#10741) TY

      Show description for c2c198d
      alexreinking

      authored
      c2c198dView commit details

      Copy full SHA for c2c198d

      View code at this pointBrowse repository at this point
11. Commits on Sep 5, 2026

    • [CMake] Miscellaneous cleanup (#10740)

      Show description for 00ebb15
      alexreinking

      authored
      00ebb15View commit details

      Copy full SHA for 00ebb15

      View code at this pointBrowse repository at this point
12. Commits on Sep 4, 2026

    • [CMake] Make pkg-config metadata relocatable (#10734)

      Show description for 6b3eb24
      alexreinking

      authored
      6b3eb24View commit details

      Copy full SHA for 6b3eb24

      View code at this pointBrowse repository at this point

    • [CMake] Use z3::libz3 as the preferred way to consume Z3 (#10733)

      Show description for 69a4be9
      alexreinking

      authored
      69a4be9View commit details

      Copy full SHA for 69a4be9

      View code at this pointBrowse repository at this point

    • [CMake] Add CI coverage for co-installed static and shared packages (#10728)

      Show description for 820e361
      alexreinking

      authored
      820e361View commit details

      Copy full SHA for 820e361

      View code at this pointBrowse repository at this point
13. Commits on Sep 3, 2026

    • recompile

      Show description for 0d4a2db
      NikolajBjorner

      committed
      0d4a2dbView commit details

      Copy full SHA for 0d4a2db

      View code at this pointBrowse repository at this point

    • Fix broken `github/gh-aw-actions/setup@v0.83.4` pin breaking the "activation" job (#10729)

      Show description for 5dc2433
      

      Copilot

      and

      NikolajBjorner

      authored
      5dc2433View commit details

      Copy full SHA for 5dc2433

      View code at this pointBrowse repository at this point

    • updated workflows

      Show description for a729c62
      NikolajBjorner

      committed
      a729c62View commit details

      Copy full SHA for a729c62

      View code at this pointBrowse repository at this point
14. Commits on Aug 24, 2026

    • Ensure memory-safety report workflow can read sanitizer artifacts on `workflow_run` (#10641)

      Show description for f4178cd
      

      Copilot

      and

      NikolajBjorner

      authored
      f4178cdView commit details

      Copy full SHA for f4178cd

      View code at this pointBrowse repository at this point
15. Commits on Aug 20, 2026

    • update working version, unreleased

      Show description for 628af15
      NikolajBjorner

      committed
      628af15View commit details

      Copy full SHA for 628af15

      View code at this pointBrowse repository at this point
16. Commits on Aug 18, 2026

    • Remove obsolete FStar build options (#10574)

      Show description for 9d78155
      

      NikolajBjorner

      and

      Copilot

      authored
      9d78155View commit details

      Copy full SHA for 9d78155

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

    • Install CMake-built OCaml bindings (#10549)

      Show description for 93c609d
      

      NikolajBjorner

      and

      Copilot

      authored
      93c609dView commit details

      Copy full SHA for 93c609d

      View code at this pointBrowse repository at this point

    • Enable manual triggering for OCaml workflow

      Show description for fd73b38
      NikolajBjorner

      authored
      fd73b38View commit details

      Copy full SHA for fd73b38

      View code at this pointBrowse repository at this point
18. Commits on Aug 16, 2026

    • Remove wip.yml and build-warning-fixer agentic workflow; update README

      Show description for bc4585e
      

      NikolajBjorner

      and

      Copilot

      committed
      bc4585eView commit details

      Copy full SHA for bc4585e

      View code at this pointBrowse repository at this point

    • incrementing version to 5.1

      Show description for 74fb6c4
      NikolajBjorner

      committed
      74fb6c4View commit details

      Copy full SHA for 74fb6c4

      View code at this pointBrowse repository at this point
19. Commits on Aug 13, 2026

    • Bump pypa/cibuildwheel from 4.1.1 to 4.2.0 (#10504)

      Show description for 6c33dfe
      dependabot[bot]

      authored
      6c33dfeView commit details

      Copy full SHA for 6c33dfe

      View code at this pointBrowse repository at this point
20. Commits on Aug 8, 2026

    • remove stale workflows

      Show description for 009f3c1
      NikolajBjorner

      committed
      009f3c1View commit details

      Copy full SHA for 009f3c1

      View code at this pointBrowse repository at this point
21. Commits on Aug 7, 2026

    • Extend Ostrich benchmark workflow to include cvc5 and Ostrich2 (#10429)

      Show description for 991d4be
      

      CEisenhofer

      and

      Copilot

      authored
      991d4beView commit details

      Copy full SHA for 991d4be

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

    • Enable cross-workflow artifact access for Clang-Tidy Warning Fixer (#10414)

      Show description for 10852ed
      

      Copilot

      and

      levnach

      authored
      10852edView commit details

      Copy full SHA for 10852ed

      View code at this pointBrowse repository at this point
23. Commits on Aug 5, 2026

    • CI: collect F* test suite failure artifacts (#10390)

      Show description for 2497781
      

      levnach

      and

      Copilot

      authored
      2497781View commit details

      Copy full SHA for 2497781

      View code at this pointBrowse repository at this point