Commits · main · Bernardo Borges / Exact

Browse files

Apr 12, 2024
- Added Dockerfile · 17836a6b
  bernborgess authored Apr 12, 2024
  
  17836a6b
Jan 16, 2024
- add test script · cb6ec0f9
  JoD authored Jan 16, 2024
  
  cb6ec0f9
Jan 05, 2024
- better version of swapErase · d6d9ad88
  JoD authored Jan 05, 2024
  
  d6d9ad88
Jan 02, 2024
- Ensure invalid argument exceptions are printed to screen · 543b98bd
  JoD authored Jan 02, 2024
  
  543b98bd
Dec 29, 2023
- Merge branch 'python' into 'main' · 225fba04
  JoD authored Dec 29, 2023
  225fba04
- count example in Python, update of headerfiles and toml · 8f529f0a
  JoD authored Dec 29, 2023
  
  8f529f0a
Dec 06, 2023
- Merge branch 'main' of gitlab.com:JoD/exact · 0392d143
  JoD authored Dec 06, 2023
  
  0392d143
- autoformat · 1d449836
  JoD authored Dec 06, 2023
  
  1d449836
- Merge branch 'vla_memory' into 'main' · e1fc5fc4
  JoD authored Dec 06, 2023
  e1fc5fc4
- Merge branch 'main' into vla_memory · 70a9729f
  JoD authored Dec 06, 2023
  
  70a9729f
Nov 30, 2023
- more comments · f8c73726
  JoD authored Nov 30, 2023
  
  f8c73726
- fix another assert · 80155dfe
  JoD authored Nov 30, 2023
  
  80155dfe
- fix failing assert · 5e81f6b6
  JoD authored Nov 30, 2023
  
  5e81f6b6
Nov 28, 2023
- simplify level 0 propagation to avoid recursive learnConstraint · 1c5e380e
  JoD authored Nov 28, 2023
  
  1c5e380e
Nov 27, 2023
- rename option · 19ba8ca5
  JoD authored Nov 27, 2023
  
  19ba8ca5
Nov 25, 2023
- yet another way... · 5e953b58
  JoD authored Nov 25, 2023
  
  5e953b58
Nov 24, 2023
- alternative way to distinguish watched from counting constraints · 3ee89bb3
  JoD authored Nov 24, 2023
  
  3ee89bb3
- fix gcc error · e92cb2de
  JoD authored Nov 24, 2023
  
  e92cb2de
- add flto option · f1fa3473
  JoD authored Nov 24, 2023
  
  f1fa3473
- fewer indirections for Constr use · aa04d01c
  JoD authored Nov 23, 2023
  
  aa04d01c
Nov 23, 2023
- 16-aligned allocator · 707584ca
  JoD authored Nov 23, 2023
  
  707584ca
Nov 22, 2023
- small · 52d5225a
  JoD authored Nov 22, 2023
  
  52d5225a
- better overflow check · 97f464db
  JoD authored Nov 22, 2023
  
  97f464db
- add flto compile flags · 0f0dfe5c
  JoD authored Nov 22, 2023
  
  0f0dfe5c
- Merge branch 'allocations' into 'main' · ff20e997
  JoD authored Nov 22, 2023
  ff20e997
- remove old coreguided options · d9775ee8
  JoD authored Nov 22, 2023
  
  d9775ee8
- avoid warnings for SoPlex · db7ee0fa
  JoD authored Nov 22, 2023
  
  db7ee0fa
- fix overflow in conversion to LP solver constraint · 24cd770b
  JoD authored Nov 22, 2023
  
  24cd770b
Nov 16, 2023
- more stable at most one detection · 40522f5a
  JoD authored Nov 16, 2023
  
  40522f5a
- better parameters for constraint database size · e556b1bd
  JoD authored Nov 16, 2023
  
  e556b1bd
- some extra comments · 3ecc74e2
  JoD authored Nov 16, 2023
  
  3ecc74e2
Nov 13, 2023
- simplify weakendivideroundordered · bfae06d6
  JoD authored Nov 13, 2023
  
  bfae06d6
- attempt to avoid temporary lambda allocations · 0435cb4c
  JoD authored Nov 13, 2023
  
  0435cb4c
- even fewer reallocations · 13bf9b61
  JoD authored Nov 13, 2023
  
  13bf9b61
- no spurious allocation in getAssertionStatus · 09eae1c6
  JoD authored Nov 13, 2023
  
  09eae1c6
- no auxiliary vector allocation when sorting · ea473f99
  JoD authored Nov 13, 2023
  
  ea473f99
Nov 11, 2023
- fewer temporary allocations · ef3a195c
  JoD authored Nov 11, 2023
  
  ef3a195c
- add a request to star the repo when it is used. · 17c5da65
  JoD authored Nov 11, 2023
  
  17c5da65
- Merge branch 'add_zip' into 'main' · 034c67c0
  JoD authored Nov 11, 2023
  034c67c0
- refactor of compression proof output · b089dc09
  JoD authored Nov 11, 2023
  
  b089dc09