Skip to content
Snippets Groups Projects
Select Git revision
No matching results
An error occurred while fetching branches. Retry the search.
An error occurred while fetching tags. Retry the search.
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.05Apr12May4330Apr29282726242322212019181716151413129876126Mar25242322191817161585432126Feb2524232221201918171615119318Jan1512Merge branch 'xchalup4-master-patch-64576' into 'master'mastermasterUpdate README.mdmove programstructure.py to analysis/bself: check for loop-hit limit after handling loopbself: allow empty inductive setsoverapprox: fix return valuesinductiveset: fix includes_anyblackifyFix creating 1st-hit sisbself: always use whole seq when removing inducive setsremove some assertionskindse: fix after API changebself: do not convert sets to sequences where not neededrefactor inductive sequencesbself: on the first hit, unwind only twicerelations: use incremental solvingRevert "union sets from exits"bself: store inductive sets once we have themunion sets from exitsunwind loop only when hit for the first timeadd scc condensationbself: do not do lookahead in overapproxRevert "bse: remember the order of writes to memory"tests: add a new testbself: fix creating initial setsBSELF: prune inductive setsoverapprox: fix a crashsymexe mem: fix a check for uninit bytesbse: remember the order of writes to memorysolver: fix obtaining clausessolver: fix accessing non-symbolic value as symbolicsolver: remove implied clauses multiple timesadd a notesolver: do not solve reduced formulassolver: fix using inferred equalitiessolver: fix solving with reduced bitwithenable solving with reduced bitwidthfix rewriting polynomialsRevert "symbolic: fix simplifying arith formula"solver: remove is_sat function