Commits

Breadcrumbs

History for

onrc/2.15

User selector

All users

All time

Commit History

Commits on Mar 10, 2023

• STR37-C: Handle macros in <ctype.h>

  Show description for dab2222
  lcartey

  committed
  dab2222

  Copy full SHA for dab2222

Commits on Mar 9, 2023

• Merge pull request #226 from github/mbaluda/updateql2.10.5

  Show description for 3b17207
  mbaluda

  authored
  3b17207

  Copy full SHA for 3b17207

• Merge branch 'main' into mbaluda/updateql2.10.5

  mbaluda

  authored
  bc0e02d

  Copy full SHA for bc0e02d

Commits on Mar 8, 2023

• Merge branch 'main' into lcartey/essential-types

  lcartey

  authored
  3a5d033

  Copy full SHA for 3a5d033

• Merge branch 'main' into Memory1

  knewbury01

  authored
  ca169de

  Copy full SHA for ca169de

• Merge branch 'main' into mbaluda/updateql2.10.5

  mbaluda

  authored
  b8161e8

  Copy full SHA for b8161e8

• Merge branch 'main' into lcartey/essential-types

  lcartey

  committed
  3e3e052

  Copy full SHA for 3e3e052

Commits on Mar 7, 2023

• Merge branch 'main' into jsinglet/1224-1150-1223-1151

  mbaluda

  authored
  34fa59e

  Copy full SHA for 34fa59e

Commits on Mar 6, 2023

• new library stubs

  jsinglet

  committed
  c5c7972

  Copy full SHA for c5c7972

• Merge branch 'main' into mbaluda/updateql2.10.5

  mbaluda

  authored
  b6bb01f

  Copy full SHA for b6bb01f

Commits on Mar 3, 2023

• Replace `isDefined` by `hasDefinition`

  Show description for 99bf138
  jketema

  committed
  99bf138

  Copy full SHA for 99bf138

• Update Deviations.qll

  mbaluda

  authored
  1cdf4d8

  Copy full SHA for 1cdf4d8

Commits on Mar 2, 2023

• Fix A2-10-4 and A2-10-5 test results

  

  jketema

  authored and

  mbaluda

  committed
  178eddc

  Copy full SHA for 178eddc

• Replace `XMLElement` by `XmlElement` and `XMLFile` by `XmlFile`

  Show description for f0dcebe
  

  jketema

  authored and

  mbaluda

  committed
  f0dcebe

  Copy full SHA for f0dcebe

• Implement RULE-9-2, RULE-9-3, RULE-9-4

  

  Nikita Kraiouchkine

  committed
  59cc35c

  Copy full SHA for 59cc35c

Commits on Feb 27, 2023

• Merge branch 'main' into Contracts6

  mbaluda

  authored
  48bf9a7

  Copy full SHA for 48bf9a7

Commits on Feb 22, 2023

• Merge branch 'main' into knewbury01/Declarations8

  knewbury01

  authored
  227d9ed

  Copy full SHA for 227d9ed

• Merge branch 'main' into knewbury01/Declarations8

  knewbury01

  authored
  fa6ebd1

  Copy full SHA for fa6ebd1

• Merge branch 'main' into jeongsoolee09/a0-1-2_and_a0-1-4

  jeongsoolee09

  authored
  349f84f

  Copy full SHA for 349f84f

Commits on Feb 16, 2023

• Incorporating suggestions (3): delete redundant comment

  jeongsoolee09

  committed
  b59d5e9

  Copy full SHA for b59d5e9

• Incorporating suggestions (2): updating comments

  Show description for b14b55c
  jeongsoolee09

  committed
  b14b55c

  Copy full SHA for b14b55c

Commits on Feb 15, 2023

• Merge branch 'main' into lcartey/essential-types

  lcartey

  authored
  e84f98f

  Copy full SHA for e84f98f

• EssentialTypes: Implement Rule 21.14

  Show description for b38552c
  lcartey

  committed
  b38552c

  Copy full SHA for b38552c

• Declarations8: rework DCL30-C

  knewbury01

  committed
  a5a8c6e

  Copy full SHA for a5a8c6e

• Merge branch 'main' into pointers3

  lcartey

  authored
  0b564db

  Copy full SHA for 0b564db

Commits on Feb 14, 2023

• Merge branch 'main' into knewbury01/Declarations8

  knewbury01

  authored
  a6f53dd

  Copy full SHA for a6f53dd

• Declarations8: add rule DCL30-C

  knewbury01

  committed
  58c7043

  Copy full SHA for 58c7043

• Merge branch 'main' into lcartey/essential-types

  lcartey

  authored
  beff5c1

  Copy full SHA for beff5c1

Commits on Feb 10, 2023

• EssentialTypes: Refine set of rules and commit package files.

  lcartey

  committed
  60dc594

  Copy full SHA for 60dc594

Commits on Feb 9, 2023

• EXP43-C: swap PointsTo with data-flow and fix typo

  

  Nikita Kraiouchkine

  committed
  c239197

  Copy full SHA for c239197

Commits on Feb 7, 2023

• Remove lambda checks on UnusedParameters.qll

  Show description for b89c564
  jeongsoolee09

  committed
  b89c564

  Copy full SHA for b89c564

• Add bitwise-shift-left-assignment operator

  jeongsoolee09

  committed
  a1740e7

  Copy full SHA for a1740e7

Commits on Feb 6, 2023

• Merge branch 'main' into jeongsoolee09/a0-1-2_and_a0-1-4

  jeongsoolee09

  authored
  d15b6db

  Copy full SHA for d15b6db

• factor out duplicate conditions and update .expected for A0-1-4

  jeongsoolee09

  committed
  84176bc

  Copy full SHA for 84176bc

• clean up namespace, distinguish between lambda param and function params

  jeongsoolee09

  committed
  0a96640

  Copy full SHA for 0a96640