Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jul 14, 2023

• docs: fix urls for submodules docs

  abdes

  committedJul 14, 2023
  c7ea133

• docs: update documentation

  abdes

  committedJul 14, 2023
  c31717c

• refactor: fix linter and code style warnings

  abdes

  committedJul 14, 2023
  e123836

• test: fix unreachable behavior when assertions are off

  abdes

  committedJul 14, 2023
  62ebb7a

• test: fix unit tests

  abdes

  committedJul 14, 2023
  47c6d9f

• fix: remove parenthesis around message before sending it to the output stream

  abdes

  committedJul 14, 2023
  14fc7a4

• feat: enhance existing macros and add new ones

  abdes

  committedJul 14, 2023
  9c2c146

Commits on Jul 1, 2023

• chore: update third party submodules

  abdes

  committedJul 1, 2023
  0420239

• build: prefer to use our own cmake modules always

  abdes

  committedJul 1, 2023
  bd4dfd3

Commits on Apr 17, 2023

• docs: fix typo in breathe project names

  abdes

  committedApr 17, 2023
  aae391b

• docs: refactor the documentation and enhance it

  abdes

  committedApr 17, 2023
  aea4c41

• chore: remove upstream changelogs added by mistake

  abdes

  committedApr 17, 2023
  ef438c9

• Merge remote-tracking branch 'upstream/develop'

  abdes

  committedApr 17, 2023
  2efad63

• feat: custom index.html should be optional in project doc root

  abdes

  committedApr 17, 2023
  9f906fd

• style: reformat with cmake-format

  abdes

  committedApr 17, 2023
  60efa5b

Commits on Apr 9, 2023

• docs: add documentation for build time configuration of contracts mode

  abdes

  committedApr 9, 2023
  14648f2

• Merge remote-tracking branch 'upstream/develop'

  abdes

  committedApr 9, 2023
  05e9697

• feat: upgrade CPM to 0.38.1

  abdes

  committedApr 9, 2023
  b333b38

Commits on Apr 8, 2023

• chore: update cmake common to latest

  abdes

  committedApr 8, 2023
  b25f5fb

• docs: update url for executable books logo

  abdes

  committedApr 8, 2023
  8b4dd17

• docs: update sphinx theme option to new name

  abdes

  committedApr 8, 2023
  a78e49a

• docs: configure project folders for esbonio extension

  abdes

  committedApr 8, 2023
  3adbff4

Commits on Mar 25, 2023

• Merge remote-tracking branch 'origin/master' into develop

  abdes

  committedMar 25, 2023
  484377d

• chore: bump to version 4.6.3

  abdes

  committedMar 25, 2023
  42d995a

• chore: update changelog

  abdes

  committedMar 25, 2023
  6cc4b3b

• Merge branch 'develop'

  abdes

  committedMar 25, 2023
  9e8b405

• chore: update doxygen-awesome to latest

  abdes

  committedMar 25, 2023
  d93709f

• chore: update swift cmake modules to latest

  abdes

  committedMar 25, 2023
  6e3a570

• build: simplify devcontainer setup

  abdes

  committedMar 25, 2023
  5ddfca2

• fix: enable profiling for test coverage for MSVC

  abdes

  committedMar 25, 2023
  7348d0a

Commits on Nov 28, 2022

• chore: bump version to 4.6.2

  abdes

  committedNov 28, 2022
  0557872

• Merge branch 'develop'

  abdes

  committedNov 28, 2022
  a4085fb

Commits on Sep 21, 2022

• fix(build): #21 target option WARNING not propagated properly

  abdes

  committedSep 21, 2022
  432cdaf

• feat: more robust handling of contract checking mode

  abdes

  committedSep 21, 2022
  304e9ae

• chore: put the release header at the right level

  abdes

  committedSep 21, 2022
  a5f4c22

Pagination

PreviousNext