Commits · c065f2a17aac23422a003470800f3559bfbce02f · Christoph Schwering / limbo · GitLab

Dec 03, 2016
- Setup::occurs_ is now std::unsorted_multimap. · c065f2a1
  Christoph Schwering authored Dec 03, 2016
  c065f2a1
- Renamed internal::hash() to fnv1a_hash(); added BloomFilter::hash(). · e7a78d90
  Christoph Schwering authored Dec 03, 2016
  
  e7a78d90
- Removed flatten_range(), unique_filter. · b2b09a2b
  Christoph Schwering authored Dec 03, 2016
  b2b09a2b
- Grounder::TermSet, Grounder::LiteralSet are now std::unordered_sets. · 505c383b
  Christoph Schwering authored Dec 03, 2016
  505c383b
- Cleaned up a includes. · b4bbf5fe
  Christoph Schwering authored Dec 03, 2016
  
  b4bbf5fe
- Generalised flatten_iterator. · a9a0012a
  Christoph Schwering authored Dec 03, 2016
  a9a0012a
- Term::Factory, Grounder::Assignments::Assignment use unordered_map now. · 0eb947a3
  Christoph Schwering authored Dec 03, 2016
  0eb947a3
Dec 02, 2016
- Formula::Substitute() does not substitute bound variables. · d858b4da
  Christoph Schwering authored Dec 03, 2016
  
  d858b4da
- Added traits to allow transform_iterator's function work with iterators. · 0f54a9fe
  Christoph Schwering authored Dec 02, 2016
  
  0f54a9fe
- Fixed: Formula::Element::operator= non-const reference problem. · d07020f3
  Christoph Schwering authored Dec 02, 2016
  d07020f3
Dec 01, 2016
- CMake; examples. · 5cf32799
  Christoph Schwering authored Dec 01, 2016
  
  5cf32799
- Changed includes to make cpplint happy. · 02aefdb3
  Christoph Schwering authored Dec 01, 2016
  02aefdb3
Nov 30, 2016
- Textinterface helps with unit tests. · 9f4a964a
  Christoph Schwering authored Dec 01, 2016
  
  9f4a964a
- Two simple tests for textinterface. · 0488f9e6
  Christoph Schwering authored Nov 30, 2016
  
  0488f9e6
- Fixed: too few split names were considered (again!). · ad1b24aa
  Christoph Schwering authored Nov 30, 2016
  ad1b24aa
Nov 29, 2016
- Added assertions, comments to text interface. · 4f7c06f0
  Christoph Schwering authored Nov 30, 2016
  
  4f7c06f0
- Cleaned up previous code fix. · e699adfe
  Christoph Schwering authored Nov 30, 2016
  e699adfe
- Improved web-interface; added alternatives for operators. · c64fea1c
  Christoph Schwering authored Nov 29, 2016
  
  c64fea1c
- Using only one name for BOOL sort. · 76ac5b79
  Christoph Schwering authored Nov 29, 2016
  
  76ac5b79
- Fixed: too few split names were considered. · f46b9745
  Christoph Schwering authored Nov 29, 2016
  f46b9745
- Dropped "False" value from boolean sorts. · 1e091fb5
  Christoph Schwering authored Nov 29, 2016
  1e091fb5
Nov 28, 2016
- Text interface reads from standard input. · 46dd528d
  Christoph Schwering authored Nov 29, 2016
  
  46dd528d
- Fixed iterator_categories (hopefully). · 51512d58
  Christoph Schwering authored Nov 28, 2016
  
  51512d58
- Minesweeper demo runs (fake) asynchronously now. · d766c75c
  Christoph Schwering authored Nov 28, 2016
  
  d766c75c
Nov 27, 2016
- Added Minesweeper web demo. · fce18534
  Christoph Schwering authored Nov 28, 2016
  
  fce18534
- Improved text interface grammar. · 0c545625
  Christoph Schwering authored Nov 28, 2016
  
  0c545625
Nov 26, 2016
- Nicer HTML/Javascript demo. · d8d4c8ac
  Christoph Schwering authored Nov 27, 2016
  
  d8d4c8ac
- Javascript binding for text-interface. · 9a007b70
  Christoph Schwering authored Nov 26, 2016
  
  9a007b70
- Implemented KB, formulas, abbreviations, queries. · 95b6c3dc
  Christoph Schwering authored Nov 26, 2016
  
  95b6c3dc
- Fixed: Solver::Reduce() accidentally negated disjuncts. · 5a8ee19b
  Christoph Schwering authored Nov 26, 2016
  
  5a8ee19b
Nov 25, 2016
- Better error reporting. · d65e163b
  Christoph Schwering authored Nov 26, 2016
  
  d65e163b
- Ongoing new parser. · 7caaf59a
  Christoph Schwering authored Nov 26, 2016
  
  7caaf59a
- Writing a new parser. · d019c525
  Christoph Schwering authored Nov 25, 2016
  
  d019c525
- Abandoning Boost Spirit. · 7a03596f
  Christoph Schwering authored Nov 25, 2016
  
  7a03596f
Nov 24, 2016
- Started parser. · b3fff466
  Christoph Schwering authored Nov 25, 2016
  
  b3fff466
- Fixed: Term::hash() also works for 32 bit. · 8063ce7c
  Christoph Schwering authored Nov 24, 2016
  8063ce7c
- Replaced Solver::EntailsComplete() with Solver::Consistent(). · 863ec4bb
  Christoph Schwering authored Nov 24, 2016
  863ec4bb
Nov 23, 2016
- Cleanup. · 94d6bede
  Christoph Schwering authored Nov 24, 2016
  
  94d6bede
- Readme. · c0271fb2
  Christoph Schwering authored Nov 24, 2016
  
  c0271fb2
- Cleanup. · 1c1f025b
  Christoph Schwering authored Nov 24, 2016
  
  1c1f025b