Commits

Commit history

1. Commits on May 23, 2024

   • 'monotonicAggregates' can apply to modules (see language spec)

     ginsbach

     committed
     1129df9View commit details

     Copy full SHA for 1129df9

     View code at this pointBrowse repository at this point
2. Commits on Jan 10, 2024

   • try to be clearer about weak and strong aliases in the language reference

     ginsbach

     committed
     d38d4aaView commit details

     Copy full SHA for d38d4aa

     View code at this pointBrowse repository at this point

   • fix typos and other small improvements from review

     ginsbach

     committed
     29e4623View commit details

     Copy full SHA for 29e4623

     View code at this pointBrowse repository at this point
3. Commits on Jan 9, 2024

   • documentation: update definition of applicativeness in the specification

     ginsbach

     committed
     1284fc5View commit details

     Copy full SHA for 1284fc5

     View code at this pointBrowse repository at this point

   • documentation: update definition of definite environment in the specification

     ginsbach

     committed
     b393bc9View commit details

     Copy full SHA for b393bc9

     View code at this pointBrowse repository at this point

   • documentation: weak and strong aliases in the specification

     ginsbach

     committed
     805e9d8View commit details

     Copy full SHA for 805e9d8

     View code at this pointBrowse repository at this point

   • documentation: update section on applicativity

     ginsbach

     committed
     225aff4View commit details

     Copy full SHA for 225aff4

     View code at this pointBrowse repository at this point

   • documentation: add section no strong and weak aliases

     ginsbach

     committed
     493158aView commit details

     Copy full SHA for 493158a

     View code at this pointBrowse repository at this point
4. Commits on Dec 22, 2023

   • Add missing `override`.

     fossilet

     committed
     611f1ceView commit details

     Copy full SHA for 611f1ce

     View code at this pointBrowse repository at this point
5. Commits on Dec 14, 2023

   • Fix typo.

     fossilet

     committed
     9157ddeView commit details

     Copy full SHA for 9157dde

     View code at this pointBrowse repository at this point
6. Commits on Oct 19, 2023

   • move the documentation of codePointAt and codePointCount to the string type instead of the int type

     erik-krogh

     committed
     5cd732bView commit details

     Copy full SHA for 5cd732b

     View code at this pointBrowse repository at this point
7. Commits on Oct 12, 2023

   • add documentation for the new string methods in `ql-language-specification.rst`

     erik-krogh

     committed
     822ba2aView commit details

     Copy full SHA for 822ba2a

     View code at this pointBrowse repository at this point
8. Commits on Sep 19, 2023

   • fix typo

     

     omahs

     authored and

     owen-mc

     committed
     473f17cView commit details

     Copy full SHA for 473f17c

     View code at this pointBrowse repository at this point

   • fix typo

     

     omahs

     authored and

     owen-mc

     committed
     884f41bView commit details

     Copy full SHA for 884f41b

     View code at this pointBrowse repository at this point
9. Commits on Sep 11, 2023

   • Document assume_small_delta deprecation

     cklin

     committed
     43eee2bView commit details

     Copy full SHA for 43eee2b

     View code at this pointBrowse repository at this point
10. Commits on Aug 15, 2023

    • QL language specs: declarations can shadow dbscheme types and preds

      kaspersv

      committed
      30a813aView commit details

      Copy full SHA for 30a813a

      View code at this pointBrowse repository at this point
11. Commits on Jul 5, 2023

    • Merge pull request #13633 from github/ginsbach/SpecifyExtendsFinal

      Show description for 2ec5e72
      ginsbach

      authored
      2ec5e72View commit details

      Copy full SHA for 2ec5e72

      View code at this pointBrowse repository at this point
12. Commits on Jul 3, 2023

    • Update docs/codeql/ql-language-reference/ql-language-specification.rst

      Show description for cff8861
      

      ginsbach

      and

      owen-mc

      authored
      cff8861View commit details

      Copy full SHA for cff8861

      View code at this pointBrowse repository at this point
13. Commits on Jun 30, 2023

    • Update docs/codeql/ql-language-reference/types.rst

      Show description for 621eca8
      

      ginsbach

      and

      kaspersv

      authored
      621eca8View commit details

      Copy full SHA for 621eca8

      View code at this pointBrowse repository at this point

    • update section on class bodies for extends final

      ginsbach

      committed
      2a8b216View commit details

      Copy full SHA for 2a8b216

      View code at this pointBrowse repository at this point

    • rename OneTwoFinalExtension to distinguish from other example

      ginsbach

      committed
      fe93ddbView commit details

      Copy full SHA for fe93ddb

      View code at this pointBrowse repository at this point

    • document final extensions in the language reference

      ginsbach

      committed
      0b4b2d0View commit details

      Copy full SHA for 0b4b2d0

      View code at this pointBrowse repository at this point

    • document final extensions in the language specification

      ginsbach

      committed
      9ccbe73View commit details

      Copy full SHA for 9ccbe73

      View code at this pointBrowse repository at this point
14. Commits on Jun 27, 2023

    • Document deprecated imports

      kaspersv

      committed
      d42f6a0View commit details

      Copy full SHA for d42f6a0

      View code at this pointBrowse repository at this point
15. Commits on Jun 21, 2023

    • Merge pull request #13525 from github/rc/3.10

      Show description for 5afdaf8
      henrymercer

      authored
      5afdaf8View commit details

      Copy full SHA for 5afdaf8

      View code at this pointBrowse repository at this point

    • Merge pull request #13523 from kaspersv/kaspersv/ql-lang-spec-polish

      Show description for eca3df2
      kaspersv

      authored
      eca3df2View commit details

      Copy full SHA for eca3df2

      View code at this pointBrowse repository at this point

    • Polish QL language spec "Call with results" section

      kaspersv

      committed
      6d3f9fcView commit details

      Copy full SHA for 6d3f9fc

      View code at this pointBrowse repository at this point

    • QL language ref: explain implicit this receivers

      kaspersv

      committed
      8015c3cView commit details

      Copy full SHA for 8015c3c

      View code at this pointBrowse repository at this point
16. Commits on Jun 20, 2023

    • mention how instantiation-nested predicates are treated in stratification and evaluation

      ginsbach

      committed
      e4e91c7View commit details

      Copy full SHA for e4e91c7

      View code at this pointBrowse repository at this point

    • introduce concept of fully instantiated entity

      ginsbach

      committed
      0c4eb68View commit details

      Copy full SHA for 0c4eb68

      View code at this pointBrowse repository at this point

    • use more consistent terminology

      ginsbach

      committed
      6848cbaView commit details

      Copy full SHA for 6848cba

      View code at this pointBrowse repository at this point
17. Commits on Jun 16, 2023

    • mention instantiation in the section on module resolution

      ginsbach

      committed
      1ed3baeView commit details

      Copy full SHA for 1ed3bae

      View code at this pointBrowse repository at this point

    • mention parameters and instantiation-nested types

      ginsbach

      committed
      45426b9View commit details

      Copy full SHA for 45426b9

      View code at this pointBrowse repository at this point

    • add QL specification section on module instantiations

      ginsbach

      committed
      aedd9f5View commit details

      Copy full SHA for aedd9f5

      View code at this pointBrowse repository at this point
18. Commits on Jun 9, 2023

    • Docs: fix typo

      jcogs33

      authored
      7aede50View commit details

      Copy full SHA for 7aede50

      View code at this pointBrowse repository at this point