Commits · 7534fc926e3424415f4270dbd02d539286ed32a7 · Christoph Schwering / limbo · GitLab

Oct 18, 2014
- Fixed: timeout in belief unit test. · 7534fc92
  Christoph Schwering authored Oct 19, 2014
  7534fc92
- SF literals are split for free again. · da5a240b
  Christoph Schwering authored Oct 18, 2014
  da5a240b
- SF literals are not split anymore. · 5e3c34c6
  Christoph Schwering authored Oct 18, 2014
  5e3c34c6
- Added map_[lazy_]copy(). · 6f0dba6c
  Christoph Schwering authored Oct 18, 2014
  
  6f0dba6c
Oct 17, 2014
- Fixed: split literals were deleted too aggressively from PEL · c0977ec1
  Christoph Schwering authored Oct 18, 2014
  c0977ec1
Oct 16, 2014
- Cosmetic changes. · cba347ab
  Christoph Schwering authored Oct 16, 2014
  
  cba347ab
- Updated readme. · 9bc06a76
  Christoph Schwering authored Oct 16, 2014
  
  9bc06a76
- Added context_guarantee_consistency(). Unified Prolog interface naming. · 7748df09
  Christoph Schwering authored Oct 16, 2014
  7748df09
- Replaced MALLOC with NEW where possible. · 1dfa54d5
  Christoph Schwering authored Oct 16, 2014
  1dfa54d5
- Added setup_guarantee_consistency(). · 21cc8dea
  Christoph Schwering authored Oct 16, 2014
  
  21cc8dea
Oct 15, 2014
- Updated documentation and unit test. · b5bd9af5
  Christoph Schwering authored Oct 16, 2014
  
  b5bd9af5
- Gitignore. · 631f344a
  Christoph Schwering authored Oct 15, 2014
  
  631f344a
- Updated documentation. · a1880943
  Christoph Schwering authored Oct 15, 2014
  
  a1880943
- Renamed setup_get_unit_clauses() to setup_unit_clauses(). · b32e98a8
  Christoph Schwering authored Oct 15, 2014
  
  b32e98a8
- Implemented consistency checks. · 36839a18
  Christoph Schwering authored Oct 15, 2014
  36839a18
Oct 14, 2014
- Updated documentation. · 605e4f36
  Christoph Schwering authored Oct 14, 2014
  
  605e4f36
- Removed query construct EVAL. · 0467cb02
  Christoph Schwering authored Oct 14, 2014
  0467cb02
- Actions are added to the setups one by one now. · 62955f6d
  Christoph Schwering authored Oct 14, 2014
  62955f6d
Oct 09, 2014
- Merge branch 'master' into split-optimization · 80d419b1
  Christoph Schwering authored Oct 10, 2014
  
  80d419b1
- Kitchen BAT for standard ESL. · 94543758
  Christoph Schwering authored Oct 10, 2014
  
  94543758
- Implemented needless split detection. · 7ffd2ac8
  Christoph Schwering authored Oct 09, 2014
  7ffd2ac8
- Enabled warnings. · a311f433
  Christoph Schwering authored Oct 09, 2014
  a311f433
- Implemented smaller setups. · 562f359a
  Christoph Schwering authored Oct 09, 2014
  562f359a
Oct 07, 2014
- Thoughts on splitting. · 3fc05ce7
  Christoph Schwering authored Oct 08, 2014
  
  3fc05ce7
Oct 05, 2014
- query.c's context_rebuild_setup() minimizes setups now. · fb8e1a35
  Christoph Schwering authored Oct 05, 2014
  fb8e1a35
Oct 03, 2014
- Using loop in bats/CMakeLists.txt. · 953cf14c
  Christoph Schwering authored Oct 04, 2014
  
  953cf14c
- Added Prolog ECAI-2014 example. · 1f1d8882
  Christoph Schwering authored Oct 03, 2014
  
  1f1d8882
- Added [store|retrieve]_context/2 predicates and Prolog KR-2014 example. · 065c2996
  Christoph Schwering authored Oct 03, 2014
  
  065c2996
- Added email address to a few headers. · 9a302cf8
  Christoph Schwering authored Oct 03, 2014
  
  9a302cf8
- ECLiPSe-CLP correctly handles non-BAT predicates. · 4162c739
  Christoph Schwering authored Oct 03, 2014
  4162c739
- Fixed (possibly): garbage collection issue with ECLiPSe-CLP. · 0845304a
  Christoph Schwering authored Oct 03, 2014
  0845304a
- pred_t is long int now; introduced MAX_PRED. · 20dcf070
  Christoph Schwering authored Oct 03, 2014
  20dcf070
- Fixed: query_ennf() didn't propagate negations properly. · 49c37cab
  Christoph Schwering authored Oct 03, 2014
  49c37cab
Oct 02, 2014
- Added example binaries to .gitignore. · 4415b059
  Christoph Schwering authored Oct 02, 2014
  
  4415b059
- Fixed ECLiPSe-CLP interface bugs; found problem with GC. · fb9311f7
  Christoph Schwering authored Oct 02, 2014
  fb9311f7
- Added context to ECLiPSe-CLP interface. · f92e1ddf
  Christoph Schwering authored Oct 02, 2014
  f92e1ddf
- Merge branch 'master' of github.com:schwering/esbl · 3cd87ab3
  Christoph Schwering authored Oct 02, 2014
  
  3cd87ab3
- FindProlog module for cmake. · 7299a94c
  Christoph Schwering authored Oct 02, 2014
  
  7299a94c
- Updated readme. · dc98c2c2
  Christoph Schwering authored Oct 02, 2014
  
  dc98c2c2
- FindECLiPSe-CLP module for cmake. · 3121c5e4
  Christoph Schwering authored Oct 02, 2014
  3121c5e4