Commits · 3a41d2bf97017f6cc8ffdcd35ea14a068c207b87 · Christoph Schwering / limbo

Browse files

Nov 08, 2016
- Fixed: BloomFilter::hash() only used half of the bytes. · 3a41d2bf
  Christoph Schwering authored Nov 08, 2016
  
  3a41d2bf
Nov 07, 2016
- Fixed Grounder::SplitTerms() to consider non-primitive terms in query. · c76d444d
  Christoph Schwering authored Nov 08, 2016
  
  c76d444d
- Refactored unit tests to allow for FRIEND_TEST(). · 2b7b5fbe
  Christoph Schwering authored Nov 07, 2016
  
  2b7b5fbe
Nov 06, 2016
- Cpplint. · eb518c79
  Christoph Schwering authored Nov 06, 2016
  
  eb518c79
- Fixed Lemma 8 bug in Grounder; redesigned assignments iterators. · 08bd1b29
  Christoph Schwering authored Nov 06, 2016
  
  08bd1b29
Nov 02, 2016
- Grounder unit test. · eefd04c3
  Christoph Schwering authored Nov 02, 2016
  
  eefd04c3
- Fixed a bug in Setup::Minimize(). · f802b7f2
  Christoph Schwering authored Nov 02, 2016
  f802b7f2
Nov 01, 2016
- Grounder now has a state. · f7f1b322
  Christoph Schwering authored Nov 01, 2016
  
  f7f1b322
- Grounder can now incorporate names and variables of Formula. · 238cc3a2
  Christoph Schwering authored Nov 01, 2016
  
  238cc3a2
Oct 26, 2016
- Substitution in formulas. · 6e70c820
  Christoph Schwering authored Oct 26, 2016
  6e70c820
Oct 25, 2016
- Fixed a few issues in Formula. · 2739f234
  Christoph Schwering authored Oct 25, 2016
  
  2739f234
Oct 21, 2016
- Added basic formulas. · f1fc956a
  Christoph Schwering authored Oct 21, 2016
  
  f1fc956a
- Renamed test classes. · 7bcec4c8
  Christoph Schwering authored Oct 21, 2016
  
  7bcec4c8
- Reordered static methods. · f6ad5f04
  Christoph Schwering authored Oct 21, 2016
  
  f6ad5f04
Sep 20, 2016
- Readme. · c0b101ad
  Christoph Schwering authored Sep 20, 2016
  
  c0b101ad
Jul 10, 2016
- Little work on formulas. · 2872ad79
  Christoph Schwering authored Jul 10, 2016
  
  2872ad79
Jul 09, 2016
- Setup::LocallyConsistent() only considers transitive closur of literals. · 5967c101
  Christoph Schwering authored Jul 09, 2016
  
  5967c101
Apr 26, 2016
- nullptr and consistent use of default ctor/dtors. · 179a949f
  Christoph Schwering authored Apr 27, 2016
  
  179a949f
Apr 25, 2016
- Introduced symbol and term factories. · e69dab79
  Christoph Schwering authored Apr 25, 2016
  e69dab79
Apr 18, 2016
- Merged Ground() and Substitute(). · 804bd0c9
  Christoph Schwering authored Apr 18, 2016
  
  804bd0c9
- Grounder. · 43f2d097
  Christoph Schwering authored Apr 18, 2016
  
  43f2d097
Apr 12, 2016
- Renamed Term::Collect and friends Term::Traverse with simpler interface. · a8dfe5aa
  Christoph Schwering authored Apr 12, 2016
  
  a8dfe5aa
Apr 10, 2016
- Started with the grounder. · a4a213ec
  Christoph Schwering authored Apr 10, 2016
  
  a4a213ec
- Workaround for clang error with typedef in IntMap. · 5e335a9c
  Christoph Schwering authored Apr 10, 2016
  
  5e335a9c
- Setup::primitive_terms() only considers occurring clauses. · 8caf8d71
  Christoph Schwering authored Apr 10, 2016
  
  8caf8d71
Apr 07, 2016
- Cleanup · 2df4ffb3
  Christoph Schwering authored Apr 07, 2016
  
  2df4ffb3
- Some documentation. · b2826405
  Christoph Schwering authored Apr 07, 2016
  
  b2826405
Apr 06, 2016
- Removed legacy files. · 12285ec8
  Christoph Schwering authored Apr 07, 2016
  
  12285ec8
- Rewrote iterators templates and setup iterators. Fixed unit propagation. · 69cf8eda
  Christoph Schwering authored Apr 07, 2016
  
  69cf8eda
- Bloomfilter; tests. · e603c81e
  Christoph Schwering authored Apr 06, 2016
  
  e603c81e
Apr 05, 2016
- Unit test for clauses and setups, bugfixes. · f66b0e2b
  Christoph Schwering authored Apr 05, 2016
  
  f66b0e2b
Apr 04, 2016
- Unit test for bloom filter and literals. · 8ae8aca3
  Christoph Schwering authored Apr 04, 2016
  
  8ae8aca3
Apr 03, 2016
- Unit test for terms. · d8407f4a
  Christoph Schwering authored Apr 03, 2016
  
  d8407f4a
Apr 01, 2016
- Bloom filters. · 2be94025
  Christoph Schwering authored Apr 01, 2016
  
  2be94025
- Revised iterators. · f93890f4
  Christoph Schwering authored Apr 01, 2016
  
  f93890f4
Mar 31, 2016
- Setup data structure is hopefully more sophisticated. · 2861c2a6
  Christoph Schwering authored Mar 31, 2016
  2861c2a6
Mar 30, 2016
- Setups · 09d986e5
  Christoph Schwering authored Mar 30, 2016
  
  09d986e5
Mar 23, 2016
- Lots of minor changes and little progress towards LBF/BOLF. · 4a237bdb
  Christoph Schwering authored Mar 23, 2016
  
  4a237bdb
Mar 22, 2016
- Added BucketMap. · f9c69f66
  Christoph Schwering authored Mar 22, 2016
  
  f9c69f66
Feb 02, 2016
- Continuing rewrite. · 40a429ad
  Christoph Schwering authored Feb 02, 2016
  
  40a429ad