Commits · master · Martin Jonáš / BDD

Jul 25, 2018
- Make m_bitvec public. · 8b3d1bc5
  Martin Jonáš authored Jul 25, 2018
  
  8b3d1bc5
Jun 13, 2018
- Merge branch 'master' of https://gitlab.fi.muni.cz/xjonas/BDD · 01b43879
  Martin Jonáš authored Jun 13, 2018
  
  01b43879
- Cleanup. · 825c0db1
  Martin Jonáš authored Jun 13, 2018
  
  825c0db1
- Fix warnings. · 4a0ac586
  Martin Jonáš authored Jun 13, 2018
  
  4a0ac586
Jun 07, 2018
- Compute multiplication result only for the bits of the output. · f13db218
  Martin Jonáš authored Jun 07, 2018
  
  f13db218
May 21, 2018
- Fix nodeLimit division remainder. · eb512d17
  Martin Jonáš authored May 21, 2018
  
  eb512d17
- Fix nodelimit division. · 1e346d17
  Martin Jonáš authored May 21, 2018
  
  1e346d17
- Fix barell shift right. · b7383d31
  Martin Jonáš authored May 21, 2018
  
  b7383d31
Apr 16, 2018
- Add isPrecise to bvecs. · 1a35b692
  Martin Jonáš authored Apr 16, 2018
  
  1a35b692
- Fix bvec_print. · d534f731
  Martin Jonáš authored Apr 16, 2018
  
  d534f731
Mar 27, 2018
- Simplify bvadd and bvmul. · 9c7262a0
  Martin Jonáš authored Mar 27, 2018
  
  9c7262a0
- Do not create new BDDs in & and |. · 659c5427
  Martin Jonáš authored Mar 27, 2018
  
  659c5427
- Copy innerBdd in |= and &=. · 2a429727
  Martin Jonáš authored Mar 27, 2018
  
  2a429727
Mar 26, 2018
- Count only size of the latest BDD in limitBvmul. · 55215d73
  Martin Jonáš authored Mar 26, 2018
  
  55215d73
- Fix assignment operators in MaybeBDD and polish bvshl. · 6abc0bba
  Martin Jonáš authored Mar 26, 2018
  
  6abc0bba
Feb 27, 2018
- Fix sdiv/srem. · 776f84df
  Martin Jonáš authored Feb 27, 2018
  
  776f84df
- Reimplement bvec_sdiv and bvec_srem. · a590cc6d
  Martin Jonáš authored Feb 27, 2018
  
  a590cc6d
Feb 15, 2018
- Do not compute addition when multiplying by const zero bit. · a374fced
  Martin Jonáš authored Feb 15, 2018
  
  a374fced
Feb 07, 2018
- Cleanup · 6ffc0a04
  Martin Jonáš authored Feb 07, 2018
  
  6ffc0a04
- Add maybeBDD and approximation of operations · 816b3e39
  Martin Jonáš authored Feb 07, 2018
  
  816b3e39
Dec 17, 2017
- clear repo · 8111a752
  Peter Navrátil authored Dec 17, 2017
  
  8111a752
- refactor · e53128d3
  Peter Navrátil authored Dec 17, 2017
  
  e53128d3
Dec 16, 2017
- refactored cudd impl and added parser · 574b494c
  Peter Navrátil authored Dec 16, 2017
  
  574b494c
Dec 13, 2017
- cleaned repo · 345e20f4
  Peter Navrátil authored Nov 30, 2017
  
  345e20f4
Nov 16, 2017
- Merge branch 'buddy_wrapper' into 'master' · 28ad21c2
  Peter Navrátil authored Nov 16, 2017
```
Buddy wrapper

See merge request xnavrat8/BDD!1
```
  28ad21c2
Nov 15, 2017
- fixed buddy_wrapper · 0094b4ca
  Peter Navrátil authored Nov 15, 2017
  
  0094b4ca
Nov 14, 2017
- saving changes · 21ab9837
  Peter Navrátil authored Nov 14, 2017
  
  21ab9837
Nov 12, 2017
- changed tabs to 4 spaces · 20623a6a
  Peter Navrátil authored Nov 12, 2017
  
  20623a6a
Oct 31, 2017
- used cudd upstream · 6009645d
  Peter Navrátil authored Oct 31, 2017
  
  6009645d
Oct 20, 2017
- fixed building cudd and sylvan from buddy · b0d8a439
  Peter Navrátil authored Oct 20, 2017
  
  b0d8a439
Oct 19, 2017
- added signed versions for functions · 2cfa4877
  Peter Navrátil authored Oct 19, 2017
  
  2cfa4877
Oct 18, 2017
- added more tests on variables · 519f388f
  Peter Navrátil authored Oct 18, 2017
  
  519f388f
Oct 10, 2017
- fixed templated tests · aaacc0d8
  Peter Navrátil authored Oct 10, 2017
  
  aaacc0d8
- improved templated version · 218b1db4
  Peter Navrátil authored Oct 10, 2017
  
  218b1db4
- added more test and templated version · 45332e86
  Peter Navrátil authored Oct 10, 2017
  
  45332e86
Oct 09, 2017
- update · 8b47e38f
  Peter Navrátil authored Oct 09, 2017
  
  8b47e38f
Oct 08, 2017
- more tests · 5f7713d8
  Peter Navrátil authored Oct 08, 2017
  
  5f7713d8
Oct 07, 2017
- fixed almost all tests started working on variable tests · 7d76507e
  Peter Navrátil authored Oct 07, 2017
  
  7d76507e
Oct 06, 2017
- fixed issue · d545870e
  Peter Navrátil authored Oct 06, 2017
  
  d545870e
- added more tests · 264f57fb
  Peter Navrátil authored Oct 06, 2017
  
  264f57fb