Commits · f56159403505bb9764dca91b70d5cf3f6f65312f · Christoph Schwering / limbo · GitLab

Oct 23, 2014
- You Complete Me config. · f5615940
  Christoph Schwering authored Oct 23, 2014
  
  f5615940
- Implemented model generation for ewffs. · c40db047
  Christoph Schwering authored Oct 23, 2014
  
  c40db047
Oct 22, 2014
- Variables IDs are implicit. · 3d370e50
  Christoph Schwering authored Oct 22, 2014
  
  3d370e50
- Added ewffs. · 754cf390
  Christoph Schwering authored Oct 22, 2014
  
  754cf390
Oct 21, 2014
- Started re-implementation in C++. · 99d19d0e
  Christoph Schwering authored Oct 22, 2014
  99d19d0e
- Gitignore. · d3d63dae
  Christoph Schwering authored Oct 21, 2014
  
  d3d63dae
- Restructured for C++. · ccbb0eda
  Christoph Schwering authored Oct 21, 2014
  ccbb0eda
- Moved ewff to separate files. · 738f4a3a
  Christoph Schwering authored Oct 21, 2014
  
  738f4a3a
- Started a minesweeper BAT. · 1c3cb771
  Christoph Schwering authored Oct 21, 2014
  
  1c3cb771
Oct 20, 2014
- Removed profiling test. · 10c873a5
  Christoph Schwering authored Oct 20, 2014
  10c873a5
- Updated readme. · 125aa560
  Christoph Schwering authored Oct 20, 2014
  
  125aa560
- Fixed: query_names() also added variables, removed #1, #2. · b05a09b2
  Christoph Schwering authored Oct 20, 2014
  b05a09b2
- Updated documentation, cosmetic changes, added unit tests. · cf096c41
  Christoph Schwering authored Oct 20, 2014
  
  cf096c41
- Merge branch 'split-optimization' · 17699364
  Christoph Schwering authored Oct 20, 2014
  
  17699364
- Queries are converted to CNF (again). · c1d404b7
  Christoph Schwering authored Oct 20, 2014
  c1d404b7
- Added ewff_cmp(), slightly changed ewff_eval(). · e233bcea
  Christoph Schwering authored Oct 20, 2014
  e233bcea
- vector_clear() clears the buffer. · cdfb79df
  Christoph Schwering authored Oct 20, 2014
  cdfb79df
- Added stdvec_is_ground(). · 8d6a8238
  Christoph Schwering authored Oct 20, 2014
  
  8d6a8238
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 10, 2014
- Dependencies in README.md. · 78508ab0
  Christoph Schwering authored Oct 10, 2014
  
  78508ab0
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