Commits · 9b4c1c9a4fdc769a7a47399d67aef6d8e237d064 · Christoph Schwering / limbo · GitLab

Apr 19, 2014
- Quantifiers in queries using var_t instead of callbacks. · 9b4c1c9a
  Christoph Schwering authored Apr 20, 2014
  9b4c1c9a
- Unit test for ewffs; fixed rest of setup unit test. · 77701acd
  Christoph Schwering authored Apr 20, 2014
  
  77701acd
- ewffs are now represented as terms instead of callbacks. · 3fbd66d8
  Christoph Schwering authored Apr 19, 2014
  3fbd66d8
Apr 18, 2014
- New representation of BATs with macros for simple definition. · 122cf896
  Christoph Schwering authored Apr 18, 2014
  122cf896
Apr 17, 2014
- Unit propagation minimizes the setup. · 6189706a
  Christoph Schwering authored Apr 17, 2014
  6189706a
Apr 16, 2014
- Fixed profiling test. · 23f8aabb
  Christoph Schwering authored Apr 17, 2014
  
  23f8aabb
- Sped up unit propagation. Added setup_copy_with_new_actions(). · 4a1e6bc8
  Christoph Schwering authored Apr 16, 2014
  4a1e6bc8
- Fixed: EVAL queries were not negated properly. · 5b82cf29
  Christoph Schwering authored Apr 16, 2014
  
  5b82cf29
- Removed nedmalloc. Documentation. · 9ad8c80b
  Christoph Schwering authored Apr 16, 2014
  9ad8c80b
- Clearing work, documentation. · 9df964c6
  Christoph Schwering authored Apr 16, 2014
  
  9df964c6
- Simplified PEL optimization and split-SF computation. · 03f40d05
  Christoph Schwering authored Apr 16, 2014
  03f40d05
Apr 15, 2014
- Support for nested queries (untested). Queries are const now. · d0ed347d
  Christoph Schwering authored Apr 16, 2014
  d0ed347d
Apr 14, 2014
- Optimization of PEL. · e551c88a
  Christoph Schwering authored Apr 14, 2014
  e551c88a
- More efficient use of unit propagation. · 67e4776f
  Christoph Schwering authored Apr 14, 2014
  67e4776f
- Splitting SF literals like ordinary literals works now. · 25b62dba
  Christoph Schwering authored Apr 14, 2014
  25b62dba
- Fixed performance, broke correctness when splitting SFs. · f5544eb6
  Christoph Schwering authored Apr 14, 2014
  f5544eb6
- Treating SF literals as normal split variables. · 62213561
  Christoph Schwering authored Apr 14, 2014
  62213561
- Removed memory deallocations. · 50588459
  Christoph Schwering authored Apr 14, 2014
  50588459
- Fixed: Boehm GC is used by default. · 8aeed40a
  Christoph Schwering authored Apr 14, 2014
  
  8aeed40a
Apr 13, 2014
- Replaced nedmalloc with Boehm GC. · c4fd62ab
  Christoph Schwering authored Apr 13, 2014
  
  c4fd62ab
- Setups can be re-used. · f316522e
  Christoph Schwering authored Apr 13, 2014
  
  f316522e
Apr 12, 2014
- Fixed build system. Sped up memory allocation. · 4b1410eb
  Christoph Schwering authored Apr 12, 2014
  
  4b1410eb
Apr 10, 2014
- Moved query code from clause.c to query.c Added query constructors. · 5447e039
  Christoph Schwering authored Apr 10, 2014
  
  5447e039
- Replaced standard allocator with nedmalloc. · 0dcafeb5
  Christoph Schwering authored Apr 10, 2014
  0dcafeb5
- Query evaluation works. · 340ecdda
  Christoph Schwering authored Apr 10, 2014
  340ecdda
Apr 03, 2014
- New query evaluation attempt based on CNF. · 36fe8525
  Christoph Schwering authored Apr 03, 2014
  
  36fe8525
Apr 02, 2014
- Query evaluation (untested). · ac4a5144
  Christoph Schwering authored Apr 02, 2014
  
  ac4a5144
- Query preprocessing (untested). · c456fb43
  Christoph Schwering authored Apr 02, 2014
  c456fb43
- Better unit propagation. Started query evaluation. · 7f3f6980
  Christoph Schwering authored Apr 02, 2014
  7f3f6980
Apr 01, 2014
- Added subsumption. · 425ac30e
  Christoph Schwering authored Apr 01, 2014
  425ac30e
- Implemented unit propagation (efficiently). · 97f91b95
  Christoph Schwering authored Apr 01, 2014
  97f91b95
- Introduced box_univ_clauses and univ_clauses. · 32eda30f
  Christoph Schwering authored Apr 01, 2014
  32eda30f
Mar 31, 2014
- Fixed a few bugs, unit tests. · cedcab97
  Christoph Schwering authored Mar 31, 2014
  cedcab97
Mar 27, 2014
- Utility functions for clauses. · a21b9bcd
  Christoph Schwering authored Mar 27, 2014
  
  a21b9bcd
- Grounding of KB, untested. · ddfb3216
  Christoph Schwering authored Mar 27, 2014
  
  ddfb3216
- Refactoring: constructors return structures now. · 5e255275
  Christoph Schwering authored Mar 27, 2014
  5e255275
- Started with grounding of clauses. · 8414d364
  Christoph Schwering authored Mar 27, 2014
  
  8414d364
- Macros for type-safe vectors, sets, maps. · 4e968040
  Christoph Schwering authored Mar 27, 2014
  
  4e968040
Mar 26, 2014
- Variables and standard names definitions. · e8f4ea1d
  Christoph Schwering authored Mar 26, 2014
  
  e8f4ea1d
Mar 25, 2014
- Map structure and unit test. · b7424de9
  Christoph Schwering authored Mar 25, 2014
  
  b7424de9