Commit history

1. Commits on Sep 18, 2026

   • Rust: Model `[T;n] -> [T]` unsized coercions as implicit derefs

     hvitved

     committed
     1f8b466View commit details

     Copy full SHA for 1f8b466

     View code at this pointBrowse repository at this point
2. Commits on Apr 14, 2026

   • Rust: Also add specialized `IndexMut` implementations

     hvitved

     committed
     467933bView commit details

     Copy full SHA for 467933b

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

   • Rust: Replace special handling of index expressions

     hvitved

     committed
     40eff65View commit details

     Copy full SHA for 40eff65

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

   • Rust: Fix naming of `mention_dyn_fn`

     paldepind

     committed
     8e6f920View commit details

     Copy full SHA for 8e6f920

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

   • Rust: Improve type inference for closures and function traits

     paldepind

     committed
     dabc5d5View commit details

     Copy full SHA for dabc5d5

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

   • Rust: Type inference for raw pointers

     paldepind

     committed
     785025fView commit details

     Copy full SHA for 785025f

     View code at this pointBrowse repository at this point
7. Commits on Nov 26, 2025

   • Rust: Model `async` return types as `dyn Future`

     hvitved

     committed
     a9b58b8View commit details

     Copy full SHA for a9b58b8

     View code at this pointBrowse repository at this point
8. Commits on Nov 23, 2025

   • Rust: Add placeholder declarations for `&mut` and `*mut`

     hvitved

     committed
     17e1e17View commit details

     Copy full SHA for 17e1e17

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

   • Address review comments

     hvitved

     committed
     ec15085View commit details

     Copy full SHA for ec15085

     View code at this pointBrowse repository at this point
10. Commits on Nov 17, 2025

    • Rust: Handle builtin types in path resolution

      hvitved

      committed
      46f5d89View commit details

      Copy full SHA for 46f5d89

      View code at this pointBrowse repository at this point
11. Commits on Jun 23, 2025

    • Rust: Implement `await` expression using `SatisfiesConstraint` module

      paldepind

      committed
      6e9fd49View commit details

      Copy full SHA for 6e9fd49

      View code at this pointBrowse repository at this point
12. Commits on Jun 10, 2025

    • Rust: Reimplement type inference for impl Traits and await expressions

      hvitved

      committed
      c6efc05View commit details

      Copy full SHA for c6efc05

      View code at this pointBrowse repository at this point
13. Commits on May 1, 2025

    • Rust: extract declarations of builtin types

      aibaars

      committed
      53b2e97View commit details

      Copy full SHA for 53b2e97

      View code at this pointBrowse repository at this point
14. Commits on Mar 13, 2025

    • Rust: fix `qltest.sh` for some versions of macOS

      Show description for 8cc39af
      

      Paolo Tranquilli

      committed
      8cc39afView commit details

      Copy full SHA for 8cc39af

      View code at this pointBrowse repository at this point
15. Commits on Mar 4, 2025

    • Rust: address review

      

      Paolo Tranquilli

      committed
      4d10c41View commit details

      Copy full SHA for 4d10c41

      View code at this pointBrowse repository at this point

    • Rust: tweak qltest logs

      Show description for e0d0dc9
      

      Paolo Tranquilli

      committed
      e0d0dc9View commit details

      Copy full SHA for e0d0dc9

      View code at this pointBrowse repository at this point
16. Commits on Dec 19, 2024

    • Rust: support `paths` and `paths-ignore` from the code scanning configuration file

      Show description for 73a5a3f
      

      Paolo Tranquilli

      committed
      73a5a3fView commit details

      Copy full SHA for 73a5a3f

      View code at this pointBrowse repository at this point
17. Commits on Oct 25, 2024

    • Rust: fix qltest on macOS, and add CI cross-platform testing of it

      

      Paolo Tranquilli

      committed
      4e8b6dcView commit details

      Copy full SHA for 4e8b6dc

      View code at this pointBrowse repository at this point
18. Commits on Oct 24, 2024

    • Rust: address review

      

      Paolo Tranquilli

      committed
      41d0085View commit details

      Copy full SHA for 41d0085

      View code at this pointBrowse repository at this point

    • Rust: move `qltest` to rust code, add `options` with cargo check

      

      Paolo Tranquilli

      committed
      3f8d438View commit details

      Copy full SHA for 3f8d438

      View code at this pointBrowse repository at this point
19. Commits on Oct 10, 2024

    • Rust: improve QL test script

      aibaars

      committed
      1135bf6View commit details

      Copy full SHA for 1135bf6

      View code at this pointBrowse repository at this point

    • Rust: set RUST_BACKTRACE=1

      aibaars

      committed
      0c10f08View commit details

      Copy full SHA for 0c10f08

      View code at this pointBrowse repository at this point
20. Commits on Sep 17, 2024

    • Rust: add windows tools

      

      Paolo Tranquilli

      committed
      afb9ffaView commit details

      Copy full SHA for afb9ffa

      View code at this pointBrowse repository at this point
21. Commits on Sep 16, 2024

    • Merge branch 'main' into redsun82/rust-cli-flags

      

      Paolo Tranquilli

      committed
      cb53911View commit details

      Copy full SHA for cb53911

      View code at this pointBrowse repository at this point
22. Commits on Sep 12, 2024

    • Rust: update rust/tools/qltest.sh

      Show description for ed0370b
      

      redsun82

      and

      aibaars

      authored
      ed0370bView commit details

      Copy full SHA for ed0370b

      View code at this pointBrowse repository at this point

    • Rust: make ql tests extract files together

      Show description for aeae922
      

      Paolo Tranquilli

      committed
      aeae922View commit details

      Copy full SHA for aeae922

      View code at this pointBrowse repository at this point
23. Commits on Sep 11, 2024

    • Rust: make the cli flags override automatic

      Show description for 1b3a5cd
      

      Paolo Tranquilli

      committed
      1b3a5cdView commit details

      Copy full SHA for 1b3a5cd

      View code at this pointBrowse repository at this point

    • Rust: make QL test crates workspaces

      

      Paolo Tranquilli

      committed
      e4766b6View commit details

      Copy full SHA for e4766b6

      View code at this pointBrowse repository at this point
24. Commits on Sep 5, 2024

    • Rust: add autobuild.sh

      aibaars

      committed
      be16954View commit details

      Copy full SHA for be16954

      View code at this pointBrowse repository at this point

    • Add 'version' field to generated Cargo.toml file

      aibaars

      committed
      52ef1e3View commit details

      Copy full SHA for 52ef1e3

      View code at this pointBrowse repository at this point
25. Commits on Aug 30, 2024

    • Rust: first running tests

      

      Paolo Tranquilli

      committed
      885e89aView commit details

      Copy full SHA for 885e89a

      View code at this pointBrowse repository at this point

    • Rust: bazel packaging

      

      Paolo Tranquilli

      committed
      4f0fe1cView commit details

      Copy full SHA for 4f0fe1c

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