Commits · c35606ac2336510afcacc4549a69e403401827cd · Christoph Schwering / limbo · GitLab

Sep 21, 2014
- Proper+ compiler generates complete C header. · c35606ac
  Christoph Schwering authored Sep 21, 2014
  
  c35606ac
Sep 20, 2014
- Proper+ compiler works for examples. · 724068cf
  Christoph Schwering authored Sep 20, 2014
  
  724068cf
Sep 19, 2014
- Started proper+ BAT compiler. · f6a65a11
  Christoph Schwering authored Sep 19, 2014
  
  f6a65a11
Sep 18, 2014
- Made setup_is_inconsistent() static. · 34f10128
  Christoph Schwering authored Sep 18, 2014
  34f10128
- Added a test for eventual completeness. · abd4a222
  Christoph Schwering authored Sep 18, 2014
  abd4a222
Sep 16, 2014
- Fixed consistency check of belief setups. · 28aab4d6
  Christoph Schwering authored Sep 17, 2014
  28aab4d6
May 08, 2014
- Removed SET_ALIAS. · cb365577
  Christoph Schwering authored May 08, 2014
  cb365577
May 07, 2014
- Quantifiers are handled in one pass during query answering. · 13cf410a
  Christoph Schwering authored May 07, 2014
  13cf410a
May 03, 2014
- One less loop iteration in setup_propagate_units(). · 231fc459
  Christoph Schwering authored May 03, 2014
  231fc459
May 02, 2014
- Sped up clause_resolve(). · 9d2215b6
  Christoph Schwering authored May 02, 2014
  9d2215b6
May 01, 2014
- Simplified setup_minimize_wrt(). · ea602c3c
  Christoph Schwering authored May 02, 2014
  ea602c3c
- Replaced loops with iterators. · 268ca6e9
  Christoph Schwering authored May 01, 2014
  268ca6e9
- Added a val attribute to all iterators. · 87fcc85b
  Christoph Schwering authored May 01, 2014
  87fcc85b
Apr 30, 2014
- New iterator API. · b573c7ee
  Christoph Schwering authored Apr 30, 2014
  b573c7ee
- Added context_remove_undone_sf(). · 05dbd4b1
  Christoph Schwering authored Apr 30, 2014
  05dbd4b1
Apr 29, 2014
- Added context_prev() to undo functions (untested). · 95f36e41
  Christoph Schwering authored Apr 30, 2014
  
  95f36e41
- Renamed stdname to term in queries. · b19e4733
  Christoph Schwering authored Apr 29, 2014
  
  b19e4733
Apr 28, 2014
- Iterators for sets and vectors. · 12071bff
  Christoph Schwering authored Apr 29, 2014
  12071bff
- 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