Commits · 80d419b15eb62921275d5fd03a115ca2ead1759a · Christoph Schwering / limbo · GitLab

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
- BATs are built automatically now. · 4a12a535
  Christoph Schwering authored Oct 02, 2014
  4a12a535
- Started ECLiPSe-CLP interface. · cf1212a9
  Christoph Schwering authored Oct 02, 2014
  
  cf1212a9
- Added print_query() to common.h. · b7388b7f
  Christoph Schwering authored Oct 02, 2014
  b7388b7f
- Added serialization and deserialization functions. · f2c70c17
  Christoph Schwering authored Oct 02, 2014
  f2c70c17
- Renamed CMake projects. · 84a9719a
  Christoph Schwering authored Oct 02, 2014
  
  84a9719a
Oct 01, 2014
- Fixed: kv_t's members are const · 5bc84c0a
  Christoph Schwering authored Oct 02, 2014
  
  5bc84c0a
- Using non-const iterators where appropriate. · 627d1911
  Christoph Schwering authored Oct 01, 2014
  627d1911
- Hello, cmake. · e5007efa
  Christoph Schwering authored Oct 01, 2014
  
  e5007efa
- So long, nedmalloc. · d479a6e2
  Christoph Schwering authored Oct 01, 2014
  
  d479a6e2
- So long, autoconf. · 1b6e1c76
  Christoph Schwering authored Oct 01, 2014
  
  1b6e1c76
Sep 25, 2014
- ewff_true() is now (forall x . x = x). · 38deeecf
  Christoph Schwering authored Sep 25, 2014
  38deeecf
- BATs must list sort names; fixed implication and equivalence in proper+ compiler. · 4cbb860b
  Christoph Schwering authored Sep 25, 2014
  4cbb860b
Sep 24, 2014
- Proper+ compiler generates better is_<sort>(). · f0c25eaa
  Christoph Schwering authored Sep 24, 2014
  
  f0c25eaa
- Fixed serialization of variables in proper+ compiler print_all/1. · d11e305e
  Christoph Schwering authored Sep 24, 2014
  d11e305e
Sep 23, 2014
- Fixed: incomplete setups due to ewff_ground() varmap bug. · 83311d72
  Christoph Schwering authored Sep 23, 2014
  83311d72
Sep 22, 2014
- Makefile.am: tests don't compile with lib_LTLIBRARIES. · 984df31a
  Christoph Schwering authored Sep 22, 2014
  984df31a
- Non-const iterator in bsetup_propagate_units(). · e7598371
  Christoph Schwering authored Sep 22, 2014
  
  e7598371
- Makefile: install library, add include header sub-dir · c8840d24
  Tim Niemueller authored Sep 22, 2014
  c8840d24