Commits · e699adfe0e5d69ce730d5c5e2cd45ee3c839e7c2 · Christoph Schwering / limbo · GitLab

Nov 29, 2016
- Cleaned up previous code fix. · e699adfe
  Christoph Schwering authored Nov 30, 2016
  e699adfe
- Improved web-interface; added alternatives for operators. · c64fea1c
  Christoph Schwering authored Nov 29, 2016
  
  c64fea1c
- Using only one name for BOOL sort. · 76ac5b79
  Christoph Schwering authored Nov 29, 2016
  
  76ac5b79
- Fixed: too few split names were considered. · f46b9745
  Christoph Schwering authored Nov 29, 2016
  f46b9745
- Dropped "False" value from boolean sorts. · 1e091fb5
  Christoph Schwering authored Nov 29, 2016
  1e091fb5
Nov 28, 2016
- Text interface reads from standard input. · 46dd528d
  Christoph Schwering authored Nov 29, 2016
  
  46dd528d
- Fixed iterator_categories (hopefully). · 51512d58
  Christoph Schwering authored Nov 28, 2016
  
  51512d58
- Minesweeper demo runs (fake) asynchronously now. · d766c75c
  Christoph Schwering authored Nov 28, 2016
  
  d766c75c
Nov 27, 2016
- Added Minesweeper web demo. · fce18534
  Christoph Schwering authored Nov 28, 2016
  
  fce18534
- Improved text interface grammar. · 0c545625
  Christoph Schwering authored Nov 28, 2016
  
  0c545625
Nov 26, 2016
- Nicer HTML/Javascript demo. · d8d4c8ac
  Christoph Schwering authored Nov 27, 2016
  
  d8d4c8ac
- Javascript binding for text-interface. · 9a007b70
  Christoph Schwering authored Nov 26, 2016
  
  9a007b70
- Implemented KB, formulas, abbreviations, queries. · 95b6c3dc
  Christoph Schwering authored Nov 26, 2016
  
  95b6c3dc
- Fixed: Solver::Reduce() accidentally negated disjuncts. · 5a8ee19b
  Christoph Schwering authored Nov 26, 2016
  
  5a8ee19b
Nov 25, 2016
- Better error reporting. · d65e163b
  Christoph Schwering authored Nov 26, 2016
  
  d65e163b
- Ongoing new parser. · 7caaf59a
  Christoph Schwering authored Nov 26, 2016
  
  7caaf59a
- Writing a new parser. · d019c525
  Christoph Schwering authored Nov 25, 2016
  
  d019c525
- Abandoning Boost Spirit. · 7a03596f
  Christoph Schwering authored Nov 25, 2016
  
  7a03596f
Nov 24, 2016
- Started parser. · b3fff466
  Christoph Schwering authored Nov 25, 2016
  
  b3fff466
- Fixed: Term::hash() also works for 32 bit. · 8063ce7c
  Christoph Schwering authored Nov 24, 2016
  8063ce7c
- Replaced Solver::EntailsComplete() with Solver::Consistent(). · 863ec4bb
  Christoph Schwering authored Nov 24, 2016
  863ec4bb
Nov 23, 2016
- Cleanup. · 94d6bede
  Christoph Schwering authored Nov 24, 2016
  
  94d6bede
- Readme. · c0271fb2
  Christoph Schwering authored Nov 24, 2016
  
  c0271fb2
- Cleanup. · 1c1f025b
  Christoph Schwering authored Nov 24, 2016
  
  1c1f025b
- Readme. · 192f2adb
  Christoph Schwering authored Nov 24, 2016
  
  192f2adb
- Fixed two bugs in Grounder. · f30fcff5
  Christoph Schwering authored Nov 24, 2016
  f30fcff5
- Rewrote Grounder::AssignLiterals(). · c2651cdf
  Christoph Schwering authored Nov 23, 2016
  c2651cdf
Nov 22, 2016
- Fixed a few bugs in Solver::EntailsComplete(). · 8206b231
  Christoph Schwering authored Nov 23, 2016
  
  8206b231
- Fixed splitting-query-substitution bug · ba8320ac
  Christoph Schwering authored Nov 22, 2016
  ba8320ac
- First version of Grounder::AssignTerms(). · 017dd6a9
  Christoph Schwering authored Nov 22, 2016
  017dd6a9
- Lazy version of Grounder::SplitTerms(). · a1818710
  Christoph Schwering authored Nov 22, 2016
  a1818710
Nov 21, 2016
- Fixed compiler errors in old GCC. · 7a342f6a
  Christoph Schwering authored Nov 21, 2016
  
  7a342f6a
- Fixed Clause unit test. · 89f0b74a
  Christoph Schwering authored Nov 21, 2016
  
  89f0b74a
Nov 20, 2016
- Started complete semantics. · 059b4f7e
  Christoph Schwering authored Nov 21, 2016
  
  059b4f7e
- Renamed KB to Solver, Maybe::succ to yes; bool conversion explicit. · 1c12554a
  Christoph Schwering authored Nov 20, 2016
  
  1c12554a
Nov 18, 2016
- Cleanup. · 5b5efdf8
  Christoph Schwering authored Nov 18, 2016
  
  5b5efdf8
Nov 17, 2016
- Added Grounder::RelevantSplitTerms. · 9574b9dd
  Christoph Schwering authored Nov 18, 2016
  9574b9dd
Nov 16, 2016
- Difference between old and new minesweeper is bug in old one. · 7ff1d36f
  Christoph Schwering authored Nov 17, 2016
  7ff1d36f
- Grounder avoids additional names in cases like the Bool simulation. · 0211b997
  Christoph Schwering authored Nov 16, 2016
  0211b997
Nov 15, 2016
- Fixed: inheriting Setups are kept minimal. · 819bbfd9
  Christoph Schwering authored Nov 16, 2016
  819bbfd9