Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
No matching results
An error occurred while fetching branches. Retry the search.
An error occurred while fetching tags. Retry the search.
Created with Raphaël 2.2.018May23Aug222Sep22Aug20213211916Jul21Aug2071411141179May171425Apr2415Aug98767629Jul17May7Aug6542131Jul2731301Aug30Jul29252325928Jun2722Jul162216141615141314126511101111Jun11Jul96528Apr27161523Jun193Jul23232130Jun282Jul30Jun29272827252425242322232216Dec22Jun161222212019111811161513123Mar25Nov12Jun111011101186865228Apr2Jun131May3029282625242324232423211816181615141514128Apr9222142192193lart: Introduce annotation pass.VM: Add comments to eval*.tpp and value.hpp.VM: Add comments to eval.hpp.doc: Finally update the year to 2019.doc: Add overview of RST.releng: Update for 4.3.64.3.64.3.6bricks: Resolve conflicts in brick-assert.bricks: Add a formatting operator for std::pair to string_builder.bricks: Add support for std::optional-like types to string_builder.bricks: Fix the tuple formatting operator in string_builder.bricks: Move BRICK_LOCATION from brick-assert to brick-trace.cmake: Set up all libdivine-* targets in a single foreach().tools: Fix compilation of divcheck (re changes in brick-cmd).test: Mark a few tests that are too big for debug builds as such.test: Check that user-level traversal of a captured filesystem works.dios: Fix handling of filesystem snapshots which contain the root directory.bricks: Fix mismatched #if/#endif in brick-benchmark.dios: Add DiOS support for SHOOP.cmake: Add make instructions for SHOOP tool.tools: Add the first sketch of SHOOP.bricks: Reduce code duplication in refcount_base.bricks: Change header guards for 'pragma once', fix a few missing includes.bricks: Fix some typos in brick-unittest.bricks: Make character formatting in string_builder more debug-friendly.test: Make sure that `divine help` works.bricks: Fix computation of column widths in brick-cmd help output.website: Fix version substitution on the download page.bricks: Fix interpreter selection for test variants (in brick-shelltest).dios: Fix a null dereference in sigaction() when no changes are requested.dios: Add an implementation of __dios_check_free() for KLEE.bricks: Drop a superfluous 'const' from smt::ByteUnion::size().tools: Add comments to the DivCC tool.bricks: Add comments to ArchiveReader and Linker components.CC: Add comments to the Driver, Native, CC1, and some support code files.CC: Add some additional comments about the purpose of the VFS.CC: Move DIVINE-specific flags where only divine cc and dioscc use them.CC: Trace compiler and linker options.bricks: Mark brq::fallback's constructor constexpr.bricks: Allow const pointers to be formatted by string_builder.CC: Let clang deal with flags if we have no input files.