Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 7, 2023

• Add the current high res clock value to every log invocation in android (#1075)

  Show description for 00157ef
  

  bretambrose

  and

  Bret Ambrose

  authored
  00157ef

  Copy full SHA for 00157ef

• Cross process lock fix for musl (#1073)

  JonathanHenson

  authored
  fb3182c

  Copy full SHA for fb3182c

Commits on Nov 6, 2023

• Added cross process Lock. (#1072)

  Show description for 4a76aa0
  

  JonathanHenson

  and

  graebm

  authored
  4a76aa0

  Copy full SHA for 4a76aa0

Commits on Oct 31, 2023

• Fix mem reporting test on freebsd (#1071)

  DmitriyMusatkin

  authored
  c80ce50

  Copy full SHA for c80ce50

Commits on Oct 30, 2023

• Switch default allocator to basic system one (#1066)

  Show description for 38e7ba2
  

  DmitriyMusatkin

  and

  graebm

  authored
  38e7ba2

  Copy full SHA for 38e7ba2

Commits on Oct 27, 2023

• Add additional priority queue related APIs (#1067)

  Show description for a0689cf
  

  3 peopleauthored
  a0689cf

  Copy full SHA for a0689cf

Commits on Oct 26, 2023

• Comment: fix (#1069)

  alfred2g

  authored
  e381a7b

  Copy full SHA for e381a7b

Commits on Oct 25, 2023

• Fix loading of libnuma.so (#1068)

  waahm7

  authored
  0ce8c56

  Copy full SHA for 0ce8c56

Commits on Oct 23, 2023

• Basic process mem usage functions (#1065)

  DmitriyMusatkin

  authored
  f676897

  Copy full SHA for f676897

Commits on Oct 18, 2023

• Update third party licenses file (#1062)

  Show description for f705c61
  

  yasminetalby

  and

  jmklix

  authored
  f705c61

  Copy full SHA for f705c61

Commits on Oct 17, 2023

• Add an environment loader API and implementation for some DMI related fields (#1063)

  Show description for b61c12e
  

  JonathanHenson

  and

  graebm

  authored
  b61c12e

  Copy full SHA for b61c12e

Commits on Oct 12, 2023

• Support reading "special files" that lie about their size (#1064)

  Show description for 0baed28
  graebm

  authored
  0baed28

  Copy full SHA for 0baed28

Commits on Oct 3, 2023

• Report actual bytes leaked/Fix realloc tracing (#1053)

  DmitriyMusatkin

  authored
  d09b75e

  Copy full SHA for d09b75e

Commits on Sep 26, 2023

• Add error codes for file read/write/open failures (#1061)

  graebm

  authored
  4c0a9f5

  Copy full SHA for 4c0a9f5

Commits on Sep 8, 2023

• reflexive vs symmetric in hash_table.h doc (#1056)

  jmklix

  authored
  2f8f082

  Copy full SHA for 2f8f082

• Authorize requests to GitHub API in `Run CBMC proofs` workflow (#1057)

  adpaco-aws

  authored
  1ac9e0c

  Copy full SHA for 1ac9e0c

Commits on Sep 1, 2023

• Fix CMake option for choosing MSVC runtime library (#1054)

  Show description for 997380c
  graebm

  authored
  997380c

  Copy full SHA for 997380c

Commits on Aug 31, 2023

• Change SKIP code value to reduce the chance of clashing (#1055)

  sfod

  authored
  e627dac

  Copy full SHA for e627dac

Commits on Aug 25, 2023

• added workflow for handling answerable discussions (#1051)

  Show description for 4dcc41c
  

  4 peopleauthored
  4dcc41c

  Copy full SHA for 4dcc41c

Commits on Aug 23, 2023

• Intel Vtune tracing integration (#1050)

  Show description for 0129dc1
  

  waahm7

  and

  graebm

  authored
  0129dc1

  Copy full SHA for 0129dc1

Commits on Aug 8, 2023

• fix stale issue bot permissions (#1049)

  Show description for ec64760
  jmklix

  authored
  ec64760

  Copy full SHA for ec64760

Commits on Jul 31, 2023

• Pickup latest release from cJSON (#1047)

  Show description for 80f464e
  TingDaoK

  authored
  80f464e

  Copy full SHA for 80f464e

Commits on Jul 18, 2023

• Simplify error handling in XML API - BREAKING CHANGE (#1043)

  Show description for 5c736d5
  graebm

  authored
  5c736d5

  Copy full SHA for 5c736d5

Commits on Jul 13, 2023

• Added AVX512 cpu feature support (#1037)

  Show description for b1ef77c
  

  3 peopleauthored
  b1ef77c

  Copy full SHA for b1ef77c

Commits on Jul 10, 2023

• New API to wrap an initialized array with an array list (#1040)

  Show description for 87a1b56
  

  bretambrose

  and

  Bret Ambrose

  authored
  87a1b56

  Copy full SHA for 87a1b56

Commits on Jun 16, 2023

• use W4 for all msvc (#1035)

  Show description for 1778c79
  TingDaoK

  authored
  1778c79

  Copy full SHA for 1778c79

Commits on May 31, 2023

• Update AwsTestHarness.cmake typo (#1034)

  eherozhao

  authored
  9f36d07

  Copy full SHA for 9f36d07

Commits on May 30, 2023

• Disable MSVC warning triggered by aws_future macros (#1033)

  graebm

  authored
  0bb013f

  Copy full SHA for 0bb013f

Commits on May 26, 2023

• Remove dangling symlink in CMBC proofs (#1031)

  Show description for f77b55d
  jamesbornholt

  authored
  f77b55d

  Copy full SHA for f77b55d

Commits on May 25, 2023

• Let cursor equals assert print string on failure (#1030)

  Show description for 80ec398
  DmitriyMusatkin

  authored
  80ec398

  Copy full SHA for 80ec398

• Merge header checker with cpp header checker (#1028)

  waahm7

  authored
  2e01315

  Copy full SHA for 2e01315

Commits on May 22, 2023

• update time to ancient (#1029)

  jmklix

  authored
  cced6eb

  Copy full SHA for cced6eb

Commits on May 15, 2023

• Fix warnings in public headers (#998)

  Show description for 7036fcf
  

  graebm

  and

  waahm7

  authored
  7036fcf

  Copy full SHA for 7036fcf

• Move CBMC back to latest (#1026)

  Show description for e324166
  tautschnig

  authored
  e324166

  Copy full SHA for e324166

Commits on May 9, 2023

• Remove unimplemented prototype from ring_buffer.h (#1024)

  Show description for 12f68b9
  evanmiller

  authored
  12f68b9

  Copy full SHA for 12f68b9

Pagination

Previous

Next