Commits · 2631cb3155bdf184c55e3410b832d6dde7003ca2 · Christoph Schwering / limbo

Browse files

Nov 11, 2016
- Added Formula::Reader::NF(). · 2631cb31
  Christoph Schwering authored Nov 11, 2016
  2631cb31
Nov 10, 2016
- Refactored pretty printer; added higher-level syntax layer. · c1be2d0a
  Christoph Schwering authored Nov 10, 2016
  
  c1be2d0a
- Merge branch 'master' of https://github.com/schwering/lela into bolf · 3f7acee7
  Christoph Schwering authored Nov 10, 2016
  
  3f7acee7
Nov 08, 2016
- Fixed: Grounder's treatment of additional names for splitting. · 44db850b
  Christoph Schwering authored Nov 09, 2016
  
  44db850b
- 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
- Readme. · 7d161299
  Christoph Schwering authored Sep 20, 2016
  
  7d161299
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