Commits

Breadcrumbs

History for

on776f6cd

User selector

All users

All time

Commit History

Commits on Aug 26, 2024

• Data flow: Compute local big step relation per stage

  hvitved

  committed
  c92c96f

  Copy full SHA for c92c96f

Commits on Aug 13, 2024

• C#: Update security related tests and expected output to pretty print MaD.

  michaelnebel

  committed
  97f9340

  Copy full SHA for 97f9340

Commits on May 31, 2024

• C#: Update expected test output.

  michaelnebel

  committed
  e2758f2

  Copy full SHA for e2758f2

• C#: Update expected test output.

  michaelnebel

  committed
  0985a3a

  Copy full SHA for 0985a3a

Commits on May 22, 2024

• C#: Accept qltest .expected file changes.

  aschackmull

  committed
  73b8314

  Copy full SHA for 73b8314

Commits on Apr 12, 2024

• C#: Update all MaD ids in the tests.

  michaelnebel

  committed
  dc34cb0

  Copy full SHA for dc34cb0

• C#: Update some expected output (uninteresting).

  aschackmull

  committed
  647f9ab

  Copy full SHA for 647f9ab

Commits on Feb 22, 2024

• C#: Update expected test output

  hvitved

  committed
  303a2bb

  Copy full SHA for 303a2bb

Commits on Feb 9, 2024

• C#: Add empty provenance column to expected files.

  aschackmull

  committed
  21a6520

  Copy full SHA for 21a6520

Commits on Dec 6, 2023

• Adjust expected test files

  tamasvajk

  committed
  eeabb81

  Copy full SHA for eeabb81

Commits on Jul 19, 2023

• C/C++/C#/Java/Python/Ruby/Swift: Adjust expected output.

  aschackmull

  committed
  ae24d68

  Copy full SHA for ae24d68

Commits on Jun 9, 2023

• C#: Fix qltests.

  aschackmull

  committed
  21dea62

  Copy full SHA for 21dea62

Commits on Apr 27, 2023

• C#: Update expected output.

  aschackmull

  committed
  6025fee

  Copy full SHA for 6025fee

Commits on Sep 26, 2022

• update the alert-messages of csharp queries

  erik-krogh

  committed
  326666a

  Copy full SHA for 326666a

Commits on Sep 7, 2021

• Dataflow: Update test expected outputs.

  aschackmull

  committed
  f30dad7

  Copy full SHA for f30dad7

Commits on Aug 5, 2021

• Fixing query & test

  raulgarciamsft

  committed
  7340a12

  Copy full SHA for 7340a12

Commits on Mar 23, 2021

• C#: Change some data-flow `toString()`s

  hvitved

  committed
  6d6150d

  Copy full SHA for 6d6150d

Commits on Oct 14, 2020

• C#: Reimplement flow-summary compilation

  hvitved

  committed
  5d1a592

  Copy full SHA for 5d1a592

Commits on Jun 26, 2020

• C#: Precise data flow for collections

  hvitved

  committed
  795c578

  Copy full SHA for 795c578

Commits on Dec 10, 2019

• C#: Track type information in data flow

  Show description for 78ddb37
  

  hvitved

  authored and

  Tom Hvitved

  committed
  78ddb37

  Copy full SHA for 78ddb37

Commits on Sep 12, 2019

• C#: Adjust qltest expected output.

  aschackmull

  committed
  6299625

  Copy full SHA for 6299625

Commits on May 6, 2019

• C#: Adopt shared data flow implementation

  Show description for c6a471e
  hvitved

  committed
  c6a471e

  Copy full SHA for c6a471e

Commits on Mar 10, 2019

• C#: Address review comments

  hvitved

  committed
  b48576d

  Copy full SHA for b48576d

Commits on Mar 7, 2019

• C#: Introduce data flow return nodes

  Show description for e6f7632
  hvitved

  committed
  e6f7632

  Copy full SHA for e6f7632

Commits on Nov 21, 2018

• C#: Add `nodes` predicate to all path queries.

  calumgrant

  committed
  69ab1ed

  Copy full SHA for 69ab1ed

Commits on Nov 16, 2018

• C#: Always use PathNode in a path-problem query.

  calumgrant

  committed
  e908b09

  Copy full SHA for e908b09

Commits on Aug 2, 2018

• QL code and tests for C#/C++/JavaScript.

  pavgust

  committed
  b55526a

  Copy full SHA for b55526a

Loading