Commits

Breadcrumbs

History for

on5deb900

User selector

All users

All time

Commit History

Commits on Jun 6, 2024

• Merge pull request #16665 from geoffw0/yml

  Show description for 5deb900
  MathiasVP

  authored
  5deb900

  Copy full SHA for 5deb900

• C++: Permit ':' in models-as-data namespaces.

  geoffw0

  committed
  7aec488

  Copy full SHA for 7aec488

• C++: Add dataflow through '__builtin_bit_cast'.

  MathiasVP

  committed
  bd9ece0

  Copy full SHA for bd9ece0

• C++: Fix IR generation for builtin operations.

  MathiasVP

  committed
  d6352b4

  Copy full SHA for d6352b4

• C++: Skip children we cannot translate when translating builtin operations.

  MathiasVP

  committed
  f58757f

  Copy full SHA for f58757f

Commits on Jun 5, 2024

• Accept review suggestion

  owen-mc

  committed
  6b2e86a

  Copy full SHA for 6b2e86a

Commits on Jun 4, 2024

• Cover all params in QLDoc of `modelCoverage`

  owen-mc

  committed
  3fb5ad2

  Copy full SHA for 3fb5ad2

• C++: An empty models-as-data namespace / type is not 'dubious' in CPP.

  geoffw0

  committed
  79e9198

  Copy full SHA for 79e9198

Commits on Jun 3, 2024

• C++: Implement YML extension models.

  geoffw0

  committed
  94413c8

  Copy full SHA for 94413c8

Commits on May 27, 2024

• C++/Shared: Fix join order issues.

  aschackmull

  committed
  8085460

  Copy full SHA for 8085460

• Dataflow: Add totalorder predicates to all languages.

  aschackmull

  committed
  1432519

  Copy full SHA for 1432519

• Dataflow: Introduce NodeRegions for use in isUnreachableInCall.

  aschackmull

  committed
  bc8ca1a

  Copy full SHA for bc8ca1a

Commits on May 22, 2024

• Merge pull request #16533 from MathiasVP/better-negation-guards-in-c

  Show description for 09357e1
  MathiasVP

  authored
  09357e1

  Copy full SHA for 09357e1

Commits on May 21, 2024

• Data flow: Synthesize parameter return nodes

  hvitved

  committed
  454687d

  Copy full SHA for 454687d

Commits on May 20, 2024

• C++: Support 'if(!p)' for C programs in IRGuards.

  MathiasVP

  committed
  0a550bb

  Copy full SHA for 0a550bb

• C++: Rename a few predicates.

  MathiasVP

  committed
  398b90a

  Copy full SHA for 398b90a

Commits on May 15, 2024

• C++: Delete duplicated case in IR generation.

  MathiasVP

  committed
  a1cb419

  Copy full SHA for a1cb419

Commits on May 9, 2024

• Merge pull request #16459 from jketema/handler-fix

  Show description for 4dfcdbc
  jketema

  authored
  4dfcdbc

  Copy full SHA for 4dfcdbc

Commits on May 8, 2024

• C++: Fix copy and paste error in comment

  jketema

  committed
  9e09c5a

  Copy full SHA for 9e09c5a

• C++: Fix destructor translation for handlers

  jketema

  committed
  d68d2cc

  Copy full SHA for d68d2cc

• Merge pull request #16455 from jketema/if-fix

  Show description for 0cbedfb
  jketema

  authored
  0cbedfb

  Copy full SHA for 0cbedfb

• C++: Ensure destructors for ifs are called after both branches

  jketema

  committed
  1a53b92

  Copy full SHA for 1a53b92

• C++: Introduce abstract class to share code between if and constexpr if

  jketema

  committed
  52db1c1

  Copy full SHA for 52db1c1

• C++: Add forgotten `getLastChild` to `TranslatedConstExprIfStmt`

  jketema

  committed
  fa06d88

  Copy full SHA for fa06d88

• C++: Remove the 'BaseSourceVariableInstruction' column as it's functionally determined by the address column.

  MathiasVP

  committed
  6564582

  Copy full SHA for 6564582

Commits on May 7, 2024

• C++: Assign a meaningful definition location to the address of an SSA variable when it's available.

  MathiasVP

  committed
  07d51a5

  Copy full SHA for 07d51a5

Commits on May 3, 2024

• Merge pull request #16415 from MathiasVP/cleanup-ir-variables

  MathiasVP

  authored
  5d5e313

  Copy full SHA for 5d5e313

• C++: Delete predicate that I introduced by mistake.

  MathiasVP

  committed
  d5475c4

  Copy full SHA for d5475c4

• C++: Sync identical files.

  MathiasVP

  committed
  7ca54a6

  Copy full SHA for 7ca54a6

• C++: Convert IR variables to an abstract base class and use final alias'ing to ensure that we don't accidentially extend the abstract base class.

  MathiasVP

  committed
  e8cb8b4

  Copy full SHA for e8cb8b4

• C++: Correctly handle destructors at the end of range-based for-loops in the IR

  jketema

  committed
  ba64cf3

  Copy full SHA for ba64cf3

Commits on May 2, 2024

• Merge pull request #16345 from MathiasVP/cleanup-ssa-and-iterator-flow

  Show description for f7113e0
  MathiasVP

  authored
  f7113e0

  Copy full SHA for f7113e0

• C++: Fix QLDoc.

  MathiasVP

  committed
  b912918

  Copy full SHA for b912918

• C++: Fix QLDoc.

  MathiasVP

  committed
  322fa36

  Copy full SHA for 322fa36

• C++: Fix QLDoc.

  MathiasVP

  committed
  4a47e11

  Copy full SHA for 4a47e11