Commits

Breadcrumbs

History for

oneefe457

User selector

All users

All time

Commit History

Commits on Sep 20, 2022

• Merge pull request #10238 from michaelnebel/csharp/theoremsforfree

  Show description for eefe457
  michaelnebel

  authored
  eefe457

  Copy full SHA for eefe457

Commits on Sep 14, 2022

• C#: Update test expected output.

  michaelnebel

  committed
  4e57b40

  Copy full SHA for 4e57b40

• C#: Add test cases corresponding to the System.Linq.Enumerable extensions methods.

  michaelnebel

  committed
  0f22828

  Copy full SHA for 0f22828

• C#: Update test expected output.

  michaelnebel

  committed
  cdb892d

  Copy full SHA for cdb892d

• C#: Add testcase for implicit set.

  michaelnebel

  committed
  20cb5da

  Copy full SHA for 20cb5da

• C#: Update expected test output.

  michaelnebel

  committed
  262c28b

  Copy full SHA for 262c28b

• C#: Restructure test cases.

  michaelnebel

  committed
  001d357

  Copy full SHA for 001d357

• C#/Java: Rename to Typed based summary model generation.

  michaelnebel

  committed
  c5949fa

  Copy full SHA for c5949fa

• C#: Update expected test output with further models.

  michaelnebel

  committed
  5f161df

  Copy full SHA for 5f161df

• C#: Add more test examples.

  michaelnebel

  committed
  055072b

  Copy full SHA for 055072b

• C#: Update expected test output.

  michaelnebel

  committed
  d580a8a

  Copy full SHA for d580a8a

• C#: Update expected output of tests.

  michaelnebel

  committed
  f6e9013

  Copy full SHA for f6e9013

• C#: Update test relevant test cases.

  michaelnebel

  committed
  e66dce1

  Copy full SHA for e66dce1

• C#: Add Type based summary test cases and move dataflow model generation test cases.

  michaelnebel

  committed
  dd44d71

  Copy full SHA for dd44d71

Commits on Sep 13, 2022

• Merge branch 'main' into Token_validation

  raulgarciamsft

  authored
  0df2b64

  Copy full SHA for 0df2b64

Commits on Sep 2, 2022

• Merge branch 'main' into Token_validation

  raulgarciamsft

  authored
  1bfe335

  Copy full SHA for 1bfe335

• C#: Add WithElement summary for Reverse and update expected test output.

  michaelnebel

  committed
  9c5a6dd

  Copy full SHA for 9c5a6dd

• C#: Add with element example and update existing line numbers in testcase.

  michaelnebel

  committed
  e7e78dc

  Copy full SHA for e7e78dc

• C#: Delete clears content test case.

  michaelnebel

  committed
  19da00a

  Copy full SHA for 19da00a

• C#: Update flow summaries test expected output.

  michaelnebel

  committed
  2ae2008

  Copy full SHA for 2ae2008

Commits on Aug 31, 2022

• C#: Update Pre SSA library to use parameterized module

  hvitved

  committed
  2681b88

  Copy full SHA for 2681b88

• SSA: Make shared library a parameterized module

  hvitved

  committed
  0d81a64

  Copy full SHA for 0d81a64

Commits on Aug 26, 2022

• C#: Update flow summaries test cases based on the latest models.

  michaelnebel

  committed
  f4835e3

  Copy full SHA for f4835e3

• C#: Update expected test output.

  michaelnebel

  committed
  41274d9

  Copy full SHA for 41274d9

• C#: Some test examples of collection like types that should be excluded.

  michaelnebel

  committed
  83b3125

  Copy full SHA for 83b3125

Commits on Aug 25, 2022

• Merge pull request #9816 from erik-krogh/msgConsis

  Show description for 06afe9c
  erik-krogh

  authored
  06afe9c

  Copy full SHA for 06afe9c

• change "does not seem to check" to "does not check" in `unchecked-cast-in-equals` queries

  erik-krogh

  committed
  c7aa582

  Copy full SHA for c7aa582

Commits on Aug 24, 2022

• Make *.cs non-executable

  igfoo

  committed
  5d97bb3

  Copy full SHA for 5d97bb3

• Make *.qlref non-executable

  igfoo

  committed
  b9a4b5a

  Copy full SHA for b9a4b5a

• Make *.expected non-executable

  igfoo

  committed
  4cd618f

  Copy full SHA for 4cd618f

• Merge branch 'main' into msgConsis

  erik-krogh

  committed
  1c0f225

  Copy full SHA for 1c0f225

• C#: Update C# Flowsummaries test expected out (Negative models has been updated due to rebase and changes in the model generator).

  michaelnebel

  committed
  e446eab

  Copy full SHA for e446eab

• C#: Re-arange the import order, such that CsvValidation follows ExternalFlow directly.

  michaelnebel

  committed
  2e273f2

  Copy full SHA for 2e273f2

• C#: Move NegativeSummary.qll to the internal folder.

  michaelnebel

  committed
  c3e21e8

  Copy full SHA for c3e21e8

• C#/Java/Go/Swift: Move CsvValidation back into ExternalFlow.

  michaelnebel

  committed
  37976d5

  Copy full SHA for 37976d5