Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit history

Commits on Jan 11, 2023

• C#/Java: Rename the directories containing the model generator and tests.

  michaelnebel

  committed
  787b474

  Copy full SHA for 787b474

• C#/Java: Remove all dashes in mode-generator.

  michaelnebel

  committed
  178fd0e

  Copy full SHA for 178fd0e

Commits on Dec 12, 2022

• C#: add test case

  

  Jami Cogswell

  authored and

  Jami Cogswell

  committed
  22f8d97

  Copy full SHA for 22f8d97

Commits on Dec 9, 2022

• C#/Java: Rename CaptureNegativeSummaryModels test to CaptureNeutralModels.

  michaelnebel

  committed
  1d103f5

  Copy full SHA for 1d103f5

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 Aug 26, 2022

• 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 24, 2022

• C#: Update summary model generation test output.

  michaelnebel

  committed
  7d46d15

  Copy full SHA for 7d46d15

• C#: Add test for Negative summary generation.

  michaelnebel

  committed
  136bdeb

  Copy full SHA for 136bdeb

• C#: Add model generator testcase for Negative summaries for abstract members.

  michaelnebel

  committed
  9c6bcec

  Copy full SHA for 9c6bcec

• C#: Disregard destructors in model generation.

  michaelnebel

  committed
  87c7dd9

  Copy full SHA for 87c7dd9

Commits on Aug 16, 2022

• C#: Rename `Argument[Qualifier]` to `Argument[this]` in MaD

  hvitved

  committed
  e4c257d

  Copy full SHA for e4c257d

Commits on Jun 20, 2022

• C#: Update the model generator to use provenance column printing.

  michaelnebel

  committed
  cf3cb29

  Copy full SHA for cf3cb29

Commits on Apr 19, 2022

• C#: Don't generate models for any higher order callables.

  michaelnebel

  committed
  c79c9dd

  Copy full SHA for c79c9dd

• C#: Add some testcases, where we don't get a summary due to the use of simple types.

  michaelnebel

  committed
  f6fd401

  Copy full SHA for f6fd401

• C#: Don't use simple types in summaries test cases as these will be excluded in generation purely based on the type.

  michaelnebel

  committed
  f9e5c6b

  Copy full SHA for f9e5c6b

Commits on Apr 5, 2022

• C#: Modify generator and update test output with updated kind column.

  michaelnebel

  committed
  412699f

  Copy full SHA for 412699f

Commits on Apr 4, 2022

• C#: Update test output.

  michaelnebel

  committed
  8c3be65

  Copy full SHA for 8c3be65

Commits on Apr 1, 2022

• C#: Exclude IEquatable Equals implementations.

  michaelnebel

  committed
  5cb2bd9

  Copy full SHA for 5cb2bd9

• C#: Add test cases.

  michaelnebel

  committed
  02a0cbf

  Copy full SHA for 02a0cbf

Commits on Mar 30, 2022

• C#: Add test cases for operators.

  michaelnebel

  committed
  5c13391

  Copy full SHA for 5c13391

Commits on Mar 29, 2022

• C#: Also include property reads in possible new sink discovery. Only include public fields and properties.

  michaelnebel

  committed
  5970fd9

  Copy full SHA for 5970fd9

• C#: Add test for CaptureSinkModel query.

  michaelnebel

  committed
  6194d5c

  Copy full SHA for 6194d5c