Commits · master · Martin Jonáš / BVExprSimplifier

01 May, 2017 5 commits
- Cache BoundVars by size. · 42eeb0e3
  Martin Jonas authored May 01, 2017
  
  42eeb0e3
- A bit faster · d7198af8
  Martin Jonáš authored May 01, 2017
  
  d7198af8
- Merge branch 'master' of gitlab.fi.muni.cz:xjonas/BVExprSimplifier · 5928dbc5
  Martin Jonáš authored May 01, 2017
  
  5928dbc5
- Add modifiers to limit the simplification of bvmul. · 959fc018
  Martin Jonáš authored May 01, 2017
  
  959fc018
- Make the simplification a bit faster. · 6f21aca5
  Martin Jonas authored May 01, 2017
  
  6f21aca5
16 Apr, 2017 2 commits
- Change the output format. · 6ec5f9ea
  Martin Jonas authored Apr 16, 2017
  
  6ec5f9ea
- Changes · cec68bcd
  Martin Jonáš authored Apr 16, 2017
  
  cec68bcd
13 Mar, 2017 2 commits
- Add SMT2 output. · 5e14a0fb
  Martin Jonáš authored Mar 13, 2017
  
  5e14a0fb
- Fixes. · 120878ac
  Martin Jonáš authored Mar 13, 2017
  
  120878ac
08 Mar, 2017 1 commit
- Working version. · 1b54d291
  Martin Jonáš authored Mar 08, 2017
  
  1b54d291
20 Oct, 2016 2 commits
- Fix bvsle/bvule with negative polarity. · 7f0cae84
  Martin Jonas authored Oct 20, 2016
  
  7f0cae84
- Add full simplifier · 8757688e
  Martin Jonáš authored Oct 20, 2016
  
  8757688e
19 Oct, 2016 1 commit
- Fixes. · c0feb7e2
  Martin Jonáš authored Oct 19, 2016
  
  c0feb7e2
01 Oct, 2016 2 commits
- Local counting & early break · 491dc670
  Martin Jonas authored Oct 01, 2016
  
  491dc670
- Multiple changes · 0ba80e38
  Martin Jonas authored Oct 01, 2016
  
  0ba80e38
30 Sep, 2016 1 commit
- Working version · 4679128e
  Martin Jonas authored Sep 30, 2016
  
  4679128e