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.01May16Apr13Mar820Oct19130SepCache BoundVars by size.mastermasterA bit fasterMerge branch 'master' of gitlab.fi.muni.cz:xjonas/BVExprSimplifierAdd modifiers to limit the simplification of bvmul.Make the simplification a bit faster.Change the output format.ChangesAdd SMT2 output.Fixes.Working version.Fix bvsle/bvule with negative polarity.Add full simplifierFixes.Local counting & early breakMultiple changesWorking version