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.025Sep22424428Aug27262526162625243Jul24Aug232422212423221413111087529Jul25241919Jun111076231May3021141823Aug222Sep22Aug20213211916Jul21Aug2071411141179May171425Apr2415Aug98767629Jul17May7Aug6542131Jul2731301Aug30Jul29252325928Jun2722Jul162216141615141314126511101111Jun11Jul96528Apr27161523Jun193Jul23232130Jun282Jul30Jun29272827252425242322232216Dec22Jun161222212019111811161513123Mar25Nov12Jun11bricks: Fix a few style problems in brick-smt.mem: Fix comments.smt: Implement union-find, with id and stored value of the same type.doc: Fix invocation of recent pandoc versions.test: Fix path to the built toolchain.bricks: Clean up enum Op in brick-smt.bricks: Unify CastOp in RPN and RPNView in brick-smt.bricks: Unify RPN:: and RPNView:: Constant in brick-smt.smt: Reflect changes in RPN::Constant.smt: Reflect changes in RPN's and RPNView's Variable.bricks: Unify RPN::Variable and RPNView::Variable.bricks: Clean up operator++ in RPNView::Iterator.bricks: Signal a missing case in name( Op ) in brick-smt.lart: Fix linkage error in DFA.rst: Add lifting constructors of abstract values.rst: Add missing abstract value constructors.test: Fix sim/call-{choose,dbg}.sh (brick-assert now wants C++17).bricks: Add a Call operator to smt::RPN to execute other RPNs as subroutines.smt: Add a control stack to evaluate() and implement the Call operator.bricks: Add a default constructor to RPNView::Iterator.bricks: Drop the bogus is_constraint() method from smt::RPN.smt: Fix extraction of constraints (path conditions) in the equality check.smt: Further refactor the RPN evaluator & keep track of constraints.smt: Slightly refactor the RPN evaluator.rst: Clear the stash in __lart_unstash().bricks: Do not print 0x in front of hex numbers in string_builder.bricks: Fix compilation of brick-gnuplot (UNREACHABLE_F is gone).bricks: Remove data::ArrayMap (replaced by brq::array_map in brick-compact).dios: Switch the ArrayMap / AutoIncMap helper classes to brq::array_map.smt: Add a couple of missing operators to Z3.bricks: A couple style fixes in brick-smt.dios: Fix computation of the instruction offset in setjmp() on DiVM.test: Add a testcase for longjmp which calls setjmp in function with arguments.test: Drop the C++ versions of compilers from dioscc/static-dynamic.sh.CC: Fix some comments and indentation.test: Add a test for static linking with divcc and dioscc.CC: Pass --static to linker, not cc1.CC: Remove unused testing cc1 arguments and fix indentation.CC: Cut down on namespace use in options.cpp.tools: Fix #includes in divcc.