Commits

Breadcrumbs

History for

on20c9222

User selector

All users

All time

Commit History

Commits on Jun 16, 2022

• use explicit this

  erik-krogh

  committed
  20c9222

  Copy full SHA for 20c9222

• fix the parser to allow lower-case module names

  erik-krogh

  committed
  744e2db

  Copy full SHA for 744e2db

• resolve calls to signature predicates

  erik-krogh

  committed
  55b6f07

  Copy full SHA for 55b6f07

• add consistency test that parents are unique (and fix non-unique parents)

  erik-krogh

  committed
  f25c4c5

  Copy full SHA for f25c4c5

• move the consistency predicates where they should be

  erik-krogh

  committed
  14b5f84

  Copy full SHA for 14b5f84

• a bit of cleanup on SignatureExpr

  erik-krogh

  committed
  4be969c

  Copy full SHA for 4be969c

• hook up the pretty AST of a parameterized module

  erik-krogh

  committed
  6e7db2d

  Copy full SHA for 6e7db2d

• add type arguments of ModuleInstation to the pretty AST

  erik-krogh

  committed
  1caafb8

  Copy full SHA for 1caafb8

• save the name of an instantiated module

  erik-krogh

  committed
  adc1466

  Copy full SHA for adc1466

Commits on Jun 15, 2022

• Merge pull request #9568 from tausbn/ql-add-parser-support-for-parameterised-modules

  Show description for b16124d
  erik-krogh

  authored
  b16124d

  Copy full SHA for b16124d

• QL: Allow module applications to the right of `::`

  tausbn

  authored
  73a807c

  Copy full SHA for 73a807c

• Merge pull request #7669 from erik-krogh/fieldUnusedInDisjunct

  Show description for b24b275
  erik-krogh

  authored
  b24b275

  Copy full SHA for b24b275

Commits on Jun 14, 2022

• QL: Refactor `SignatureExpr`

  tausbn

  authored
  5d306c9

  Copy full SHA for 5d306c9

Commits on Jun 13, 2022

• QL: Use more precise type for `getImplements`

  tausbn

  authored
  ba6a4c6

  Copy full SHA for ba6a4c6

• QL: Use more precise type for `getParameter`

  tausbn

  authored
  5a214af

  Copy full SHA for 5a214af

• QL: Add fields for `signatureExpr`

  tausbn

  authored
  81e4110

  Copy full SHA for 81e4110

• Add fields to `ModuleParam` children

  tausbn

  authored
  8c46846

  Copy full SHA for 8c46846

• Rename `Application` to `Instantiation`

  tausbn

  authored
  0b8656e

  Copy full SHA for 0b8656e

• QL: Add parser support for parameterised modules

  tausbn

  authored
  a08be0d

  Copy full SHA for a08be0d

Commits on Jun 2, 2022

• Merge branch 'main' into fieldUnusedInDisjunct

  erik-krogh

  committed
  7c5ac63

  Copy full SHA for 7c5ac63

Commits on May 18, 2022

• Merge branch 'main' into useStringComp

  erik-krogh

  committed
  215a6a7

  Copy full SHA for 215a6a7

• Merge pull request #7763 from erik-krogh/unused-field

  Show description for 7245591
  erik-krogh

  authored
  7245591

  Copy full SHA for 7245591

Commits on May 17, 2022

• Merge pull request #9188 from MathiasVP/fix-GetAPrimaryQlClassConsistency-for-swift

  MathiasVP

  authored
  5d625d6

  Copy full SHA for 5d625d6

• Merge pull request #9082 from erik-krogh/countZero

  Show description for 6c7c9b6
  erik-krogh

  authored
  6c7c9b6

  Copy full SHA for 6c7c9b6

• QL: Allow class + 'Base' in 'ql/primary-ql-class-consistency'.

  MathiasVP

  committed
  a6ac14f

  Copy full SHA for a6ac14f

• QL: add use-string-compare query

  erik-krogh

  committed
  e32a04f

  Copy full SHA for e32a04f

Commits on May 12, 2022

• QL for QL: don't check spelling of deprecated nodes

  nickrolfe

  committed
  320b6a1

  Copy full SHA for 320b6a1

• QL for QL: fix typos in comments

  nickrolfe

  committed
  70666f6

  Copy full SHA for 70666f6

• QL for QL: add predicate for other typos not in the shared typo db

  nickrolfe

  committed
  844eef1

  Copy full SHA for 844eef1

• QL for QL: generalise non-US spelling query

  Show description for 4321b5e
  nickrolfe

  committed
  4321b5e

  Copy full SHA for 4321b5e

Commits on May 11, 2022

• QL for QL: fix checking spelling of 'analyze' in multi-line comments

  Show description for 2d246a4
  nickrolfe

  committed
  2d246a4

  Copy full SHA for 2d246a4

• fix all `ql/counting-to-zero` in some languages

  erik-krogh

  committed
  94a9b3e

  Copy full SHA for 94a9b3e

• add `ql/counting-to-zero`

  erik-krogh

  committed
  7149b98

  Copy full SHA for 7149b98

Commits on May 10, 2022

• QL: add implicit -all to a query pack to match the CodeQL pack resolution

  erik-krogh

  committed
  a5acaeb

  Copy full SHA for a5acaeb

Commits on Apr 29, 2022

• slight simplification

  erik-krogh

  committed
  dfe2140

  Copy full SHA for dfe2140