Commits · d2666a27d0f40cd9043b391b0d40d1764994639b · Christoph Schwering / limbo · GitLab

Nov 05, 2014
- Proper+ compiler generates C++ code. · d2666a27
  Christoph Schwering authored Nov 05, 2014
  d2666a27
- Full implementation of Setup class. · a479876d
  Christoph Schwering authored Nov 05, 2014
  a479876d
Nov 04, 2014
- Clause ewffs are restricted to clause variables. · 2bd5b783
  Christoph Schwering authored Nov 04, 2014
  2bd5b783
- Fixed: comparison function in Clause::Subsumes(). · 8235dbdf
  Christoph Schwering authored Nov 04, 2014
  8235dbdf
- Fixed box unification. · 3da68075
  Christoph Schwering authored Nov 04, 2014
  3da68075
- Fixed: Term::[Match|Unify] should fail for different size sequences. · f63c42f6
  Christoph Schwering authored Nov 04, 2014
  
  f63c42f6
Nov 03, 2014
- Subsumption of clauses with ewffs. · e242263e
  Christoph Schwering authored Nov 04, 2014
  e242263e
Oct 31, 2014
- Drastically restricted ewffs. · c1f105f2
  Christoph Schwering authored Oct 31, 2014
  c1f105f2
Oct 30, 2014
- Added [Ewff|Conj]::Subsumes(). · 31e710e2
  Christoph Schwering authored Oct 30, 2014
  31e710e2
- Ewff representation is even closer to unique. · 4c2df1bf
  Christoph Schwering authored Oct 30, 2014
  4c2df1bf
Oct 29, 2014
- Ewff representation is closer to unique. · 79b000c3
  Christoph Schwering authored Oct 29, 2014
  79b000c3
- Result of Term::Unify() is commutative now. · 0ef9f02c
  Christoph Schwering authored Oct 29, 2014
  0ef9f02c
- Started Setup::PropagateUnits(). · 5438ca96
  Christoph Schwering authored Oct 29, 2014
  
  5438ca96
- Added Clause::ResolveWithUnitClause(). · 45f1361a
  Christoph Schwering authored Oct 29, 2014
  45f1361a
- Added [Ewff|Conj]::And(). · 88da8ea8
  Christoph Schwering authored Oct 29, 2014
  88da8ea8
- Removed [Atom|Literal]::AppendActions(). · 9a9b6beb
  Christoph Schwering authored Oct 29, 2014
  9a9b6beb
Oct 28, 2014
- Added Setup::names() and Setup::variables(). · eda61042
  Christoph Schwering authored Oct 28, 2014
  
  eda61042
- Added Setup::Rel() and Setup::Pel(). · 8187e2f3
  Christoph Schwering authored Oct 28, 2014
  
  8187e2f3
- YouCompleteMe configuration. · c3d584eb
  Christoph Schwering authored Oct 28, 2014
  
  c3d584eb
- Improved efficency of Clause::Subsumes(). · 7ff3fdf1
  Christoph Schwering authored Oct 28, 2014
  7ff3fdf1
Oct 27, 2014
- Added comparison operator to Clause. · 15b38a14
  Christoph Schwering authored Oct 27, 2014
  
  15b38a14
- Updating a unifier now doesn't fail if the pair was present before. · 648a4a67
  Christoph Schwering authored Oct 27, 2014
  648a4a67
- Clause::Rel(), Clause::Subsume() look correct for non-ground literals. · ec107c42
  Christoph Schwering authored Oct 27, 2014
  ec107c42
- Added unit test for Clause::Rel(). · 88704c93
  Christoph Schwering authored Oct 27, 2014
  88704c93
- Fixed: Atom::is_ground() didn't check arguments. · 1ad60eb0
  Christoph Schwering authored Oct 27, 2014
  
  1ad60eb0
- Moved UnifySeq() to class Term. · 04ab89b4
  Christoph Schwering authored Oct 27, 2014
  
  04ab89b4
- Learned about STL debug define. · f6bb4ad1
  Christoph Schwering authored Oct 27, 2014
  f6bb4ad1
- Added unit test for clause subsumption. · 3c7da002
  Christoph Schwering authored Oct 27, 2014
  
  3c7da002
- Using aggregation instead of inheritance for StdName and Variable. · b0f45d17
  Christoph Schwering authored Oct 27, 2014
  b0f45d17
- Fixed: Ewff::Conj::SubstituteName() erased from wrong map. · 481e6e20
  Christoph Schwering authored Oct 27, 2014
  
  481e6e20
- Fixed: Clause::Subsumption(). · d7e029f5
  Christoph Schwering authored Oct 27, 2014
  
  d7e029f5
- Additional operator<< definitions. · ceb8db1b
  Christoph Schwering authored Oct 27, 2014
  
  ceb8db1b
- Fixed: method dispatching from Literal to Atom · 05414655
  Christoph Schwering authored Oct 27, 2014
  
  05414655
- Added Term::Factory. · af0bbaee
  Christoph Schwering authored Oct 27, 2014
  
  af0bbaee
Oct 26, 2014
- Added namespace. · 3b045525
  Christoph Schwering authored Oct 26, 2014
  
  3b045525
- Added Clause::PropagateUnit(). · 073eada4
  Christoph Schwering authored Oct 26, 2014
  073eada4
- Added Clause::Subsumes(). · 484e91a2
  Christoph Schwering authored Oct 26, 2014
  
  484e91a2
- Fixed: Rel() needs to check if the clause is boxed or not. · 629deacc
  Christoph Schwering authored Oct 26, 2014
  
  629deacc
- Added Ewff::Satisfiable(). · 5dc477e5
  Christoph Schwering authored Oct 26, 2014
  
  5dc477e5
- Fixed: Rel needs to negate literal · 91a89634
  Christoph Schwering authored Oct 26, 2014
  91a89634