Commits

Commit history

1. Commits on Sep 4, 2025

   • C++: Address review comments.

     michaelnebel

     committed
     61e8ad2View commit details

     Copy full SHA for 61e8ad2

     View code at this pointBrowse repository at this point
2. Commits on Sep 3, 2025

   • C++: Fix some Ql4Ql violations.

     michaelnebel

     committed
     83d53baView commit details

     Copy full SHA for 83d53ba

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

   • C++: Improve query description and fix alignment of the text

     jketema

     committed
     e50ebfcView commit details

     Copy full SHA for e50ebfc

     View code at this pointBrowse repository at this point

   • Add C++ query to extract the status of include file resolution

     esteffin

     committed
     e230166View commit details

     Copy full SHA for e230166

     View code at this pointBrowse repository at this point
4. Commits on Nov 18, 2024

   • C++: Also update the consistency query itself.

     MathiasVP

     committed
     4a4552bView commit details

     Copy full SHA for 4a4552b

     View code at this pointBrowse repository at this point
5. Commits on Apr 12, 2024

   • C++: Consistent naming.

     MathiasVP

     committed
     aac1070View commit details

     Copy full SHA for aac1070

     View code at this pointBrowse repository at this point

   • C++: Add new AST consistency check.

     MathiasVP

     committed
     413d3abView commit details

     Copy full SHA for 413d3ab

     View code at this pointBrowse repository at this point
6. Commits on Sep 13, 2023

   • C++: Add AST consistency query.

     MathiasVP

     committed
     0cd4e32View commit details

     Copy full SHA for 0cd4e32

     View code at this pointBrowse repository at this point
7. Commits on Aug 16, 2022

   • C++: Expose `PresentIRFunction` and override in `cpp/count-ir-inconsistencies`

     Show description for 243dda7
     jketema

     committed
     243dda7View commit details

     Copy full SHA for 243dda7

     View code at this pointBrowse repository at this point
8. Commits on Aug 11, 2022

   • C++: Add internal metrics query for IR consistency

     jketema

     committed
     c89592cView commit details

     Copy full SHA for c89592c

     View code at this pointBrowse repository at this point
9. Commits on Sep 29, 2021

   • Fix `hasLocationInfo` URL reference

     Show description for 987b573
     RasmusWL

     committed
     987b573View commit details

     Copy full SHA for 987b573

     View code at this pointBrowse repository at this point
10. Commits on Sep 13, 2021

    • Import 'cpp' and add more description.

      MathiasVP

      committed
      a714966View commit details

      Copy full SHA for a714966

      View code at this pointBrowse repository at this point
11. Commits on Sep 8, 2021

    • C++: Add uninterpreted query for obtaining frontend and extraction time.

      MathiasVP

      committed
      44f477dView commit details

      Copy full SHA for 44f477d

      View code at this pointBrowse repository at this point
12. Commits on Sep 9, 2019

    • C++: Autoformat everything

      Show description for 4ef5c9a
      jbj

      committed
      4ef5c9aView commit details

      Copy full SHA for 4ef5c9a

      View code at this pointBrowse repository at this point
13. Commits on Jan 30, 2019

    • Update link text

      

      james

      committed
      7cc1442View commit details

      Copy full SHA for 7cc1442

      View code at this pointBrowse repository at this point

    • update links to locations in .ql files

      

      james

      committed
      81137aaView commit details

      Copy full SHA for 81137aa

      View code at this pointBrowse repository at this point
14. Commits on Aug 2, 2018

    • QL code and tests for C#/C++/JavaScript.

      pavgust

      committed
      b55526aView commit details

      Copy full SHA for b55526a

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