Commits · 142e5d5487ef9b591ed553f3330b5f531b07b3ce · Christoph Schwering / limbo · GitLab

Apr 28, 2014
- Query handling without CNF. · 142e5d54
  Christoph Schwering authored Apr 28, 2014
  142e5d54
Apr 27, 2014
- Fixed: context_copy_with_new_actions() mishandled query_zs. · 0c9c1df1
  Christoph Schwering authored Apr 28, 2014
  0c9c1df1
- Fixed: forall x phi as not exists x _not_ phi. · f54e873e
  Christoph Schwering authored Apr 27, 2014
  f54e873e
Apr 26, 2014
- Added a check for inconsistency for better performance. · 6b0436db
  Christoph Schwering authored Apr 26, 2014
  6b0436db
Apr 24, 2014
- Unit test for belief context. · afea29d2
  Christoph Schwering authored Apr 24, 2014
  
  afea29d2
- Added belief contexts. · cf0522c3
  Christoph Schwering authored Apr 24, 2014
  cf0522c3
Apr 23, 2014
- Cleanup and added kcontext_copy(). · c366ee1b
  Christoph Schwering authored Apr 24, 2014
  c366ee1b
- Fixed belief setup subsumption. Added Example 12 to unit test. · 96b6ad06
  Christoph Schwering authored Apr 23, 2014
  96b6ad06
- Added subsumption for belief setups. · e42c8353
  Christoph Schwering authored Apr 23, 2014
  e42c8353
- Unit test for belief. · 75190aab
  Christoph Schwering authored Apr 23, 2014
  75190aab
- H+ for beliefs, started unit test for beliefs. · 5b11ead1
  Christoph Schwering authored Apr 23, 2014
  
  5b11ead1
Apr 22, 2014
- Computation of belief setups (untested). · 216c63ca
  Christoph Schwering authored Apr 23, 2014
  
  216c63ca
- Started belief, moved splitting to setup.c. · 72d15f14
  Christoph Schwering authored Apr 22, 2014
  
  72d15f14
Apr 20, 2014
- Some cleanup. · c49fe223
  Christoph Schwering authored Apr 20, 2014
  
  c49fe223
Apr 19, 2014
- Merge branch 'master' of ssh://schwering.ath.cx/home/git/esl · a4f5236c
  Christoph Schwering authored Apr 20, 2014
  a4f5236c
- 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
- Unit test for ewffs; fixed rest of setup unit test. · a71ddf48
  Christoph Schwering authored Apr 20, 2014
  
  a71ddf48
- 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