FazBrowse GitHub Viewer | Trending | | Home

Tools: [Download Repo ZIP] [Original HTTPS Page]

History for docs/codeql/ql-language-reference - github/codeql · GitHub

Commits

History for

oncodeql-cli-2.11.3

Commits on Oct 24, 2022

Merge pull request #10929 from github/ginsbach/TypeSignatureDocumentation
ginsbach
authored
b9f1cc5

Commits on Oct 21, 2022

documentation for type signature members
ginsbach
committed
0dc7123
Address reviewer comments from @jbj
kaspersv
committed
b29ed3b
Accept reviewer reformulation

kaspersv
and
aschackmull
authored
925fd2e
Accept auto-format suggestion

kaspersv
and
aschackmull
authored
6fe0de8
QL language spec: Document built-in equivalence relation module
kaspersv
committed
7faea53

Commits on Oct 20, 2022

QL language spec: pragma[assume_small_delta]
cklin
committed
9df7259
spelling: substitution
jsoref
committed
8fa524c
spelling: monotonic
jsoref
committed
7cc61ec
spelling: meaningful
jsoref
committed
cd0e69a

Commits on Sep 20, 2022

Merge branch 'main' into rc/3.7
aeisenberg
committed
58e4861

Commits on Sep 16, 2022

Updates the library path section of the CodeQL spec
aeisenberg
committed
867e316

Commits on Sep 9, 2022

Port Pack Docs changes to 3.7
aeisenberg
committed
ed66388

Commits on Sep 7, 2022

Merge pull request #10105 from github/aeisenberg/about-codeql-packs
aeisenberg
authored
bc17d06

Commits on Sep 5, 2022

Update docs/codeql/ql-language-reference/modules.rst

ginsbach
and
felicitymay
authored
cec63e4
Update docs/codeql/ql-language-reference/index.rst

ginsbach
and
felicitymay
authored
aa53945

Commits on Aug 29, 2022

rename example module and parameters
ginsbach
committed
0634b9b
better explain the relevance of applicative instantiation
ginsbach
committed
b74886a
reference module expression documentation
ginsbach
committed
61b8cee
better description of example code
ginsbach
committed
c21ca8f
better explanation of nominal typing

ginsbach
and
felicitymay
authored
5c69b42
better explanation of what type signatures are used for

ginsbach
and
felicitymay
authored
89de63a
better explanation of structural typing

ginsbach
and
felicitymay
authored
7ea0f8d
better description for predicate signatures

ginsbach
and
felicitymay
authored
c5110e5
better description for type signatures

ginsbach
and
felicitymay
authored
cca5dfb
better formulation for module parameters

ginsbach
and
felicitymay
authored
16973c9
better formulation for module signatures

ginsbach
and
felicitymay
authored
7806308
better explanation of structural typing

ginsbach
and
felicitymay
authored
5957494
better description of parameterized module instantiation

ginsbach
and
felicitymay
authored
c9ecb32
use parameterized rather than parameterised
ginsbach
committed
56f51ee

Commits on Aug 25, 2022

define -> declare
ginsbach
committed
deecf76

Commits on Aug 19, 2022

Update other articles to with details about packaging
aeisenberg
committed
3890907

Commits on Aug 17, 2022

add reference file for signatures
ginsbach
committed
e8a1925
add "Parameterised modules" section to documentation of modules
ginsbach
committed
6c08542

Commits on Apr 28, 2022

QL language reference: variables must be lowerId
jbj
committed
0c65e67

Back | FazBrowse Home | New Git URL