Commits

Branch selector

main

User selector

All users

All time

Commit history

Commits on May 30, 2025

• Merge pull request #19627 from MathiasVP/generalize-bulk-generation

  Show description for f6231a3
  MathiasVP

  authored
  f6231a3View commit details

  Copy full SHA for f6231a3

  Browse repository at this point

• Bulk generator: Flip default values for summaries, sources, and sinks.

  MathiasVP

  committed
  7cb9024View commit details

  Copy full SHA for 7cb9024

  Browse repository at this point

• Bulk generator: Snake case things.

  MathiasVP

  committed
  0f30644View commit details

  Copy full SHA for 0f30644

  Browse repository at this point

• Bulk generator: Fix field name.

  MathiasVP

  committed
  3444c98View commit details

  Copy full SHA for 3444c98

  Browse repository at this point

• Bulk generator: Make 'database_results' a map to simplify away the explicit sorting.

  MathiasVP

  committed
  bdf411aView commit details

  Copy full SHA for bdf411a

  Browse repository at this point

• Bulk generator: Autoformat.

  MathiasVP

  committed
  cdd869aView commit details

  Copy full SHA for cdd869a

  Browse repository at this point

• Update misc/scripts/models-as-data/bulk_generate_mad.py

  Show description for 3ddca32
  

  MathiasVP

  and

  paldepind

  authored
  3ddca32View commit details

  Copy full SHA for 3ddca32

  Browse repository at this point

• Bulk generator: Specify a path to the PAT instead of the PAT itself.

  MathiasVP

  committed
  7c2612aView commit details

  Copy full SHA for 7c2612a

  Browse repository at this point

• Bulk generator: Specify 'language' in the config file.

  MathiasVP

  committed
  1228080View commit details

  Copy full SHA for 1228080

  Browse repository at this point

• Bulk generator: Specify 'with-summaries', 'with-sources', and 'with-sinks' in the config file.

  MathiasVP

  committed
  fc165dbView commit details

  Copy full SHA for fc165db

  Browse repository at this point

• Bulk generator: Use the 'Project' type throughout the file.

  MathiasVP

  committed
  7121f5cView commit details

  Copy full SHA for 7121f5c

  Browse repository at this point

• Bulk generator: Rename 'get_destination_for_project' to 'get_mad_destination_for_project'.

  MathiasVP

  committed
  7c89d6dView commit details

  Copy full SHA for 7c89d6d

  Browse repository at this point

• Update misc/scripts/models-as-data/bulk_generate_mad.py

  Show description for 5d79a8d
  

  MathiasVP

  and

  paldepind

  authored
  5d79a8dView commit details

  Copy full SHA for 5d79a8d

  Browse repository at this point

• Bulk generator: Remove 'Phase' part of log message.

  MathiasVP

  committed
  b640474View commit details

  Copy full SHA for b640474

  Browse repository at this point

• Bulk generator: Rename 'github' to 'get_json_from_github'.

  MathiasVP

  committed
  566bf43View commit details

  Copy full SHA for 566bf43

  Browse repository at this point

• Bulk generator: Format file and add a note at the top of the file specifying the formatting requirements.

  MathiasVP

  committed
  7ecf8c8View commit details

  Copy full SHA for 7ecf8c8

  Browse repository at this point

Commits on May 29, 2025

• Bulk generator: Rename file since it is no longer Rust specific.

  MathiasVP

  committed
  cb93870View commit details

  Copy full SHA for cb93870

  Browse repository at this point

• Bulk generator: Add DCA support.

  MathiasVP

  committed
  5051790View commit details

  Copy full SHA for 5051790

  Browse repository at this point

• Bulk generator: Prepare for adding DCA support. This commits just generalizes the existing functionality to be independent of Rust and instead depend on the configuration file and the command-line …

  Show description for e721fc0
  MathiasVP

  committed
  e721fc0View commit details

  Copy full SHA for e721fc0

  Browse repository at this point

• Bulk generator: Add command-line arguments.

  MathiasVP

  committed
  6ff2bebView commit details

  Copy full SHA for 6ff2beb

  Browse repository at this point

• Bulk generator: Get rid of the hardcoded project list and move it into a configuration file.

  MathiasVP

  committed
  b87ba31View commit details

  Copy full SHA for b87ba31

  Browse repository at this point

• Bulk generator: Some imports we will need.

  MathiasVP

  committed
  40d937aView commit details

  Copy full SHA for 40d937a

  Browse repository at this point

• C++: Put autogenerated models in the same folder structure as Rust.

  MathiasVP

  committed
  cb0b566View commit details

  Copy full SHA for cb0b566

  Browse repository at this point

• Merge pull request #19551 from github/redsun82/rust-all-features-by-default

  Show description for f5ea929
  aibaars

  authored
  f5ea929View commit details

  Copy full SHA for f5ea929

  Browse repository at this point

• Merge pull request #19593 from paldepind/rust/operator-overloading

  Show description for 437246f
  paldepind

  authored
  437246fView commit details

  Copy full SHA for 437246f

  Browse repository at this point

• Rust: fix typo

  Show description for 55791a6
  

  2 peopleauthored and

  aibaars

  committed
  55791a6View commit details

  Copy full SHA for 55791a6

  Browse repository at this point

• Rust: use all features by default

  

  Paolo Tranquilli

  authored and

  aibaars

  committed
  ca661c7View commit details

  Copy full SHA for ca661c7

  Browse repository at this point

• Merge pull request #19588 from github/aibaars/rust-enable-attribute-macros

  Show description for 55be5fb
  aibaars

  authored
  55be5fbView commit details

  Copy full SHA for 55be5fb

  Browse repository at this point

Commits on May 28, 2025

• Merge pull request #19428 from github/cklin/check-diff-informed

  Show description for b4e614a
  cklin

  authored
  b4e614aView commit details

  Copy full SHA for b4e614a

  Browse repository at this point

• Merge branch 'main' into cklin/check-diff-informed

  cklin

  authored
  89ad2b4View commit details

  Copy full SHA for 89ad2b4

  Browse repository at this point

• Merge pull request #19612 from github/aibaars-patch-2

  Show description for bfe3413
  aibaars

  authored
  bfe3413View commit details

  Copy full SHA for bfe3413

  Browse repository at this point

• Merge pull request #19613 from github/redsun82/rust-compression

  Show description for 80a5dde
  redsun82

  authored
  80a5ddeView commit details

  Copy full SHA for 80a5dde

  Browse repository at this point

• Merge pull request #19600 from github/redsun82/rust-new-macro-expansion-integration-test

  Show description for 7d1a38f
  redsun82

  authored
  7d1a38fView commit details

  Copy full SHA for 7d1a38f

  Browse repository at this point

• Rust: fix compression option description

  

  Paolo Tranquilli

  committed
  c8f5e26View commit details

  Copy full SHA for c8f5e26

  Browse repository at this point

• Ruby: add compression integration test

  

  Paolo Tranquilli

  committed
  fd00ed5View commit details

  Copy full SHA for fd00ed5

  Browse repository at this point