Commits · master · Christoph Schwering / limbo · GitLab

Aug 05, 2017
- Renamed kb.h to knowledge_base.h. · d0174fcf
  Christoph Schwering authored Aug 06, 2017
  
  d0174fcf
- Symbol::Sort is now a class instead of typedef. · 738c5111
  Christoph Schwering authored Aug 06, 2017
  
  738c5111
- Readme. · 47b6c1ba
  Christoph Schwering authored Aug 05, 2017
  
  47b6c1ba
Aug 02, 2017
- Fixed: Setup::Units::Resize(n) is well-defined for n = 0. · 7aa77d91
  Christoph Schwering authored Aug 03, 2017
  7aa77d91
- Cpplint. · b9f39667
  Christoph Schwering authored Aug 02, 2017 and Christoph Schwering committed Aug 02, 2017
  
  b9f39667
Aug 01, 2017
- Minesweeper, Sudoku don't use CPP operator syntax layer anymore. · 0dc745fe
  Christoph Schwering authored Aug 02, 2017
  
  0dc745fe
- Slightly improved KnowledgeBase::UpdateSpheres(). · e3c92cdd
  Christoph Schwering authored Aug 02, 2017
  e3c92cdd
Jul 31, 2017
- Removed obsolete output.h includes. · 1cc73154
  Christoph Schwering authored Aug 01, 2017
  
  1cc73154
- Fixed: Reground() missed inconsistency after G. · d2109812
  Christoph Schwering authored Jul 31, 2017
  d2109812
Jul 30, 2017
- Removed unused internal::HashSet. · 24024006
  Christoph Schwering authored Jul 31, 2017
  
  24024006
- Fixed: KnowledgeBase::ReduceModalities() and G in objective formulas. · 73fa74bf
  Christoph Schwering authored Jul 31, 2017
  73fa74bf
- Added a second Formula::Normalize() to Formula::NF(). · 8bd3fe3a
  Christoph Schwering authored Jul 31, 2017
  8bd3fe3a
- Fixed bugs in Grounder::GuaranteeConsistency. · 96bb3465
  Christoph Schwering authored Jul 31, 2017
  96bb3465
- KnowledgeBase handles G now. · 12ecb878
  Christoph Schwering authored Jul 31, 2017
  12ecb878
- Formula::NF() now flattens before normalizing. · ea938327
  Christoph Schwering authored Jul 31, 2017
  ea938327
- Meta-variables in PDL now range over names mentioned in KB only. · a6b06dcd
  Christoph Schwering authored Jul 31, 2017
  a6b06dcd
- Fixed: spheres must be updated when spheres are accessed. · ffe107fd
  Christoph Schwering authored Jul 31, 2017
  ffe107fd
- Fixed: Grounder::setup() segfaults when no plies exist. · 8c183559
  Christoph Schwering authored Jul 31, 2017
  
  8c183559
- Fixed: GroundNewSetup() slowed down by Minimize(). · 37778820
  Christoph Schwering authored Jul 31, 2017
  37778820
- Fixed: Grounder considered all names in new clauses/queries as new names. · 8fd64e7d
  Christoph Schwering authored Jul 30, 2017
  8fd64e7d
Jul 29, 2017
- Updated documentation of Grounder and Solver. · 83cd0913
  Christoph Schwering authored Jul 30, 2017
  
  83cd0913
- Complete rewrite of Grounder. · da7df10c
  Christoph Schwering authored Jul 04, 2017
  da7df10c
Jun 27, 2017
- Added Linked template for linked containers. · 88282207
  Christoph Schwering authored May 30, 2017
  
  88282207
May 28, 2017
- More concise range notation for iterators in iter.h. · d8509bfc
  Christoph Schwering authored May 27, 2017
  
  d8509bfc
May 26, 2017
- Replaced Grounder::SortedTermMap with generic internal::MultiIntSet. · 5b09086b
  Christoph Schwering authored May 26, 2017 and Christoph Schwering committed May 27, 2017
  5b09086b
May 25, 2017
- Replaced Grounder::Assignments now uses generic mapping_iterator. · 64e79cc7
  Christoph Schwering authored May 25, 2017
  64e79cc7
May 22, 2017
- NF distributes conjunctions over K and disjunctions over M. · daa2cc7f
  Christoph Schwering authored May 22, 2017
  daa2cc7f
May 21, 2017
- Fixed: split_order_matters optimisation in Solver::Split was unsound. · 94e4c890
  Christoph Schwering authored May 22, 2017
  94e4c890
- PDL: Implication operator is right-associative. · 97044d22
  Christoph Schwering authored Apr 23, 2017
  
  97044d22
Apr 20, 2017
- Google Test now included through CMake. · 0991e7e7
  Christoph Schwering authored Apr 20, 2017
  
  0991e7e7
Apr 11, 2017
- Renamed LELA to Limbo. · 77cde13d
  Christoph Schwering authored Apr 11, 2017
  
  77cde13d
Apr 06, 2017
- Fixed: Minesweeper error visualization bug. · 56150040
  Christoph Schwering authored Apr 07, 2017
  
  56150040
- Fixed: custom Sudoku bug. · 22c1709c
  Christoph Schwering authored Apr 06, 2017 and Christoph Schwering committed Apr 07, 2017
  
  22c1709c
Mar 14, 2017
- Fixed: Solver::Assign() should check subsumption in original setup. · 0db46ea7
  Christoph Schwering authored Mar 14, 2017
  0db46ea7
Mar 09, 2017
- Javascript TUI has 'demo' mode (blocks next command). · 2e9b4782
  Christoph Schwering authored Mar 09, 2017
  
  2e9b4782
Mar 08, 2017
- Code formatting. · ac2ce3f2
  Christoph Schwering authored Mar 09, 2017
  
  ac2ce3f2
Mar 07, 2017
- Improved Javascript TUI and CMakeLists. · 36d35b57
  Christoph Schwering authored Mar 08, 2017
  
  36d35b57
- TUI prints normalised formulas now; fixed PRINT_ABBREVIATIONS. · 0b0dc06f
  Christoph Schwering authored Mar 07, 2017
  
  0b0dc06f
- Javascript TUI is now interactive. · 71a949e4
  Christoph Schwering authored Mar 07, 2017
  71a949e4
Mar 06, 2017
- Fixed several C++ concepts. · 8bd63436
  Christoph Schwering authored Mar 07, 2017
  8bd63436