Commits

Breadcrumbs

History for

onfb8b79e

User selector

All users

All time

Commit History

Commits on May 16, 2025

• Rust: Skip model generation for functions with semicolon in canonical path

  paldepind

  committed
  fb8b79e

  Copy full SHA for fb8b79e

Commits on May 14, 2025

• Merge pull request #19443 from MathiasVP/generate-more-value-preserving-summaries-2

  Show description for e903d76
  MathiasVP

  authored
  e903d76

  Copy full SHA for e903d76

Commits on May 13, 2025

• Rust: Update model generator implementation.

  

  michaelnebel

  authored and

  MathiasVP

  committed
  6712cce

  Copy full SHA for 6712cce

Commits on May 2, 2025

• C++/C#/Java/Rust: Fixup tests.

  MathiasVP

  committed
  bce5f25

  Copy full SHA for bce5f25

• Shared/Java/C#/Rust/C++: Rename 'captureHeuristicFlow' to 'captureFlow'.

  MathiasVP

  committed
  4d2f2b8

  Copy full SHA for 4d2f2b8

• Shared: Remove the language-specific model generator scripts

  paldepind

  committed
  c6d95ce

  Copy full SHA for c6d95ce

• Merge branch 'main' into generate-more-value-preserving-summaries-2

  MathiasVP

  committed
  d5bc95d

  Copy full SHA for d5bc95d

Commits on Apr 30, 2025

• Rust: Fixup queries.

  MathiasVP

  committed
  7751973

  Copy full SHA for 7751973

Commits on Apr 29, 2025

• Shared: Sprinkle some predicate defaults and clean up.

  michaelnebel

  committed
  c9d01bc

  Copy full SHA for c9d01bc

• Rust: Re-factor implementation to use the new model generator interface.

  michaelnebel

  committed
  a6b5645

  Copy full SHA for a6b5645

• C#/Java/Rust: Change the tag for the model generator debugging queries.

  michaelnebel

  committed
  89fd9a4

  Copy full SHA for 89fd9a4

Commits on Apr 25, 2025

• C#/Java/Rust: Use Mixed flow from capture summary models queries and adjust other queries to the re-factored implementation.

  michaelnebel

  committed
  2a0097e

  Copy full SHA for 2a0097e

Commits on Apr 10, 2025

• Rust: Fixup MaD input.

  MathiasVP

  committed
  6c348b5

  Copy full SHA for 6c348b5

Commits on Mar 13, 2025

• Rust: Extract data flow node and content into separate files

  paldepind

  committed
  3c64414

  Copy full SHA for 3c64414

Commits on Mar 4, 2025

• Rust: Exclude function without canonical path from model generation

  paldepind

  committed
  c89e648

  Copy full SHA for c89e648

Commits on Feb 17, 2025

• Rust: Add clarifying comment

  paldepind

  committed
  a253b77

  Copy full SHA for a253b77

Commits on Feb 14, 2025

• Rust: Generate sources and sinks

  paldepind

  committed
  632e0c8

  Copy full SHA for 632e0c8

Commits on Feb 7, 2025

• Rust: Handle writes to references and add encoding of reference content

  paldepind

  committed
  1105576

  Copy full SHA for 1105576

Commits on Feb 5, 2025

• Rust: Implement data flow through tuple structs

  hvitved

  committed
  e4d9e29

  Copy full SHA for e4d9e29

Commits on Feb 4, 2025

• Rust: Generate flow summaries for higher-order functions

  paldepind

  committed
  b0a3cdc

  Copy full SHA for b0a3cdc

• Rust: Address PR comments

  paldepind

  committed
  0741331

  Copy full SHA for 0741331

Commits on Jan 30, 2025

• Rust: Initial model generation setup

  paldepind

  committed
  f76647f

  Copy full SHA for f76647f

Loading