Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 12, 2025

• Use a more recent Ubuntu for CI

  sebastianpoeplau

  committed
  de00870

  Copy full SHA for de00870

• Fix handling of the llvm.eh.typeid.for intrinsic

  Show description for 858d74e
  sebastianpoeplau

  committed
  858d74e

  Copy full SHA for 858d74e

Commits on Mar 11, 2025

• Simplify CI file (#176)

  Show description for 37ae14d
  

  sebastianpoeplau

  and

  yakobowski

  authored
  37ae14d

  Copy full SHA for 37ae14d

Commits on Jul 16, 2024

• Fix dead link to runtime/LibcWrappers.cpp in README.md (#173)

  SpiritSeal

  authored
  65a3633

  Copy full SHA for 65a3633

Commits on Apr 24, 2024

• Update Dockerfile with permissions and llvm versions(#172)

  Show description for 55157ad
  aurelf

  authored
  55157ad

  Copy full SHA for 55157ad

Commits on Apr 22, 2024

• Export of runtime in SymCC-RT repository (#162)

  Show description for 64a8b86
  

  rmalmain

  and

  aurelf

  authored
  64a8b86

  Copy full SHA for 64a8b86

• Fix conditions to push docker image (#170)

  Show description for c3d9adf
  aurelf

  authored
  c3d9adf

  Copy full SHA for c3d9adf

Commits on Apr 21, 2024

• Fix conditional expression in create_push_docker_image.yml (#169)

  aurelf

  authored
  beac006

  Copy full SHA for beac006

• DockerHub push (#168)

  Show description for 6b32a38
  

  aurelf

  and

  AndrewQuijano

  authored
  6b32a38

  Copy full SHA for 6b32a38

Commits on Apr 16, 2024

• Support AFL++ coverage maps

  Show description for c89b6cc
  

  mephi42

  authored and

  sebastianpoeplau

  committed
  c89b6cc

  Copy full SHA for c89b6cc

Commits on Apr 12, 2024

• LLVM 18 update (#167)

  Show description for fc437b5
  tokatoka

  authored
  fc437b5

  Copy full SHA for fc437b5

Commits on Mar 11, 2024

• Drop python2 usage (#158)

  Show description for 3f98002
  

  3 peopleauthored
  3f98002

  Copy full SHA for 3f98002

• Add a section about other projects using SymCC in README.md (#160)

  aurelf

  authored
  d379bcd

  Copy full SHA for d379bcd

Commits on Feb 18, 2024

• Update pure concolict execution script (#156)

  Show description for 8978760
  

  3 peopleauthored
  8978760

  Copy full SHA for 8978760

Commits on Feb 4, 2024

• Add a backend function for creating symbolic values representing large integers (#155)

  Show description for d04d5b4
  damienmaier

  authored
  d04d5b4

  Copy full SHA for d04d5b4

Commits on Jan 12, 2024

• Update README.md (#154)

  Show description for 3a140b0
  aurelf

  authored
  3a140b0

  Copy full SHA for 3a140b0

Commits on Dec 11, 2023

• Minor clarifications in the documentation

  sebastianpoeplau

  committed
  70f1b0c

  Copy full SHA for 70f1b0c

• Use the LLVM style for clang-format

  Show description for c6cf677
  sebastianpoeplau

  committed
  c6cf677

  Copy full SHA for c6cf677

Commits on Nov 25, 2023

• Spellcheck on doc (#151)

  aurelf

  authored
  eebf1b6

  Copy full SHA for eebf1b6

Commits on Nov 24, 2023

• Update Dockerfile to LLVM 15 (#125)

  Show description for 3b9d51f
  

  sebastianpoeplau

  and

  aurelf

  authored
  3b9d51f

  Copy full SHA for 3b9d51f

• Make symcc work with llvm 17 (#149)

  Show description for 25a7565
  

  tokatoka

  and

  aurelf

  authored
  25a7565

  Copy full SHA for 25a7565

Commits on Nov 15, 2023

• Add CI tests for LLVM 16 (and later 17) (#150)

  Show description for 1beecf6
  aurelf

  authored
  1beecf6

  Copy full SHA for 1beecf6

Commits on May 12, 2023

• Make SymCC compatible with LLVM 16

  Show description for 77bb971
  sebastianpoeplau

  committed
  77bb971

  Copy full SHA for 77bb971

Commits on Apr 26, 2023

• Run the CI pipeline for merge requests only

  Show description for 1e67ab6
  sebastianpoeplau

  committed
  1e67ab6

  Copy full SHA for 1e67ab6

Commits on Apr 18, 2023

• Formatting fixes

  sebastianpoeplau

  committed
  bb0fd15

  Copy full SHA for bb0fd15

• Fix handling of floats in structs with the QSYM backend

  Show description for 630a39a
  sebastianpoeplau

  committed
  630a39a

  Copy full SHA for 630a39a

• Fix handling of expressions for floats and Booleans in structs

  Show description for acff1d5
  sebastianpoeplau

  committed
  acff1d5

  Copy full SHA for acff1d5

• Add a failing test for floats and Booleans in structs

  Show description for 26277ea
  sebastianpoeplau

  committed
  26277ea

  Copy full SHA for 26277ea

• GitHub CI: update apt sources before installing dependencies

  Show description for 09b583e
  sebastianpoeplau

  committed
  09b583e

  Copy full SHA for 09b583e

• Support test-case handlers in instrumented code

  Show description for 0f1159a
  sebastianpoeplau

  committed
  0f1159a

  Copy full SHA for 0f1159a

Commits on Mar 23, 2023

• Fix expression creation for concrete structs

  Show description for e72245a
  sebastianpoeplau

  committed
  e72245a

  Copy full SHA for e72245a

• Add a failing test to reproduce struct expression creation failure

  Show description for 9ff0194
  sebastianpoeplau

  committed
  9ff0194

  Copy full SHA for 9ff0194

Commits on Mar 17, 2023

• Simplify the AdaCore CI script

  Show description for eccfbda
  sebastianpoeplau

  committed
  eccfbda

  Copy full SHA for eccfbda

Commits on Mar 11, 2023

• Improve procedure names in the Ada bindings

  Show description for f2d5060
  sebastianpoeplau

  committed
  f2d5060

  Copy full SHA for f2d5060

Commits on Feb 28, 2023

• runtime: more permissive std::filesystem check

  

  adrianherrera

  authored and

  sebastianpoeplau

  committed
  1d4759a

  Copy full SHA for 1d4759a

Pagination

Previous

Next