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.021Mar10Mar1Feb31Jan302821202119312926313029302926251224162318172017191615Dec19Jan15Dec19Jan15Dec1318Jan1715132221201817151410141316Dec13Jan111098612Dec1010Jan912Nov219Jan24Dec12Nov24Dec21109651Nov29Oct231317Sep21Aug166Dec421Nov4Oct12Nov4Dec5312Nov25Oct5Dec4322Oct3Dec22Oct18153Dec12Nov26Oct25113Dec225Nov3Dec225Nov18Dec1725Nov27251216Dec15CI: Add CI configcicimem: Actually compare metadata when data matches, in object comparison.mastermastertest: Add a test for the infamous 'undef appears in sim but not in check' bug.mem: Fix IntervalMetadataMap::before() in case we hit the initial segment.test: Add a test which covers a (broken) corner case in __vm_peek.releng: Update for 4.4.24.4.24.4.2releng: Do not bump the version unless we are actually making a release.test: Mark a timeout-prone product-lines test as 'big'.test: Cut mstring-null-termination-a in half (again).MC: Add note to BCOptions to notify reader where serialize method resides.lart: Deallocate memory frames used to return values in lower_ret_agg.lart: Change allocator in lower_ret_agg to __vm_obj_make.lart: Expand copyright header of lart::mcsema passes.lart: Add pass that lowers ret type of functions from aggr value to pointer.lart: Add missing copyright header.ra: Reflect name change of inner types of BCOptions.ra: Remove now obsolete util.h.ra: Use brick::llvm::load_bc instead of custom utility function.bricks: Add function that loads bitcode from file.ra: Add indent in namespace and remove comment at the end.MC: Split typedef in BCOptions to more smaller ones.lart: Add utility function that checks if llvm::Type * is one of arguments.MC: Run lower_agg_ret pass if mcsema option is selected.UI: Store mcsema option to report.MC: Load mcsema option from report.cmake: Add divine-ra as library.UI: Add refine as subcommand.ra: Die if a boot error is encountered.ra: Add report method.lart: Add methods that return info about current state of rewire_calls pass.ra: Add two simple testcases for rewire calls refinement.ra: Move parts of llvmrefine to cpp file.ra: Add ctor that accepts llvm objects that are already created.ra: Reflect API change of rewirecalls pass.ra: Add extra layer between llvm_refinement and underlying llvm pass.ra: Remove obsolete remnants of get_ce_t.ra: Parametrize stack trace with lambda.ra: Give counter-example accessor a state.ra: Add method that returns stack trace of counter-example.lart: Rename pass to rewirecalls and fix codestyle.