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.020Aug71411141179May171425Apr2415Aug98767629Jul17May7Aug6542131Jul2731301Aug30Jul29252325928Jun2722Jul162216141615141314126511101111Jun11Jul96528Apr27161523Jun193Jul23232130Jun282Jul30Jun29272827252425242322232216Dec22Jun161222212019111811161513123Mar25Nov12Jun111011101186865228Apr2Jun131May3029282625242324232423211816181615141514128Apr92221421921931102131Mar308Apr131Mar29bricks: 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.CC: Use the correct tool name (divcc vs. dioscc).test: Add (todo) symbolic tests for div, floor, fputc, printf & qsort.bricks: Introduce RPN representation of an smt formula.bricks: Implement enumeration of llvm functions with given attributes.dios: Export missing typedefs in Array.cmake: Export rst include headers with .hpp extension.test: Fix string segmentation strlen tests.rst: Let string segmentation strlen return abstract value.test: Introduce mstring libc tests.releng: Update for 4.3.54.3.54.3.5VM: Fix a heap unit test (it got flipped around by the mem::compare refactor).bricks: Fix copying and assignment of refcount_base instances.mem: Reimplement mem::compare() in terms of heap's compare() method.mem: Refactor object comparison.doc: Add DivCC seminar outline.VM: Allow pointers to the same object to be subtracted from each other.bricks: Add comments to unittest & shelltest.doc: Add the outline for the seminar about automated testing.doc: Add heap metadata seminar outline.mem: Add documentation of metadata infrastructure.bricks: Add missing consts to Annotation methods.MC: Add a missing #include of vm/eval.hpp to machine.hpp.UI: Fix the 'no command given' check for non-copyable commands (like cc).dbg: Add missing #includes for the new eval-*.tpp files.VM: Move the implementation of slot_read into eval-slot.tpp.VM: Split up eval.tpp into a number of smaller files.VM: Split off functionality related to type dispatch into dispatch.{hpp,tpp}.dbg: Cut down on inclusions of eval.tpp.bricks: Fix a possible past-the-end iterator dereference in brick-cmd.bricks: Add a cons_list() helper function to brick-cons.