Commits · 58fa58d26d633708720c8041f6db7aa28ba5fcbc · Christoph Schwering / limbo · GitLab

Jan 17, 2017
- Parser is action-based now. · 58fa58d2
  Christoph Schwering authored Jan 17, 2017
  
  58fa58d2
Jan 16, 2017
- Started battleship modelling. · 6e619674
  Christoph Schwering authored Jan 16, 2017
  6e619674
Jan 14, 2017
- Representation theorem re-uses dummy names. · 3171d9a0
  Christoph Schwering authored Jan 14, 2017
  3171d9a0
- Readme and documentation. · 199cad29
  Christoph Schwering authored Jan 14, 2017
  
  199cad29
Jan 13, 2017
- Updated documentation of text-interface. · 8150dbbe
  Christoph Schwering authored Jan 13, 2017
  
  8150dbbe
- Readme. · 913260cc
  Christoph Schwering authored Jan 13, 2017
  
  913260cc
- Added missing CMake file. · 361ca011
  Christoph Schwering authored Jan 13, 2017
  
  361ca011
- Fixed: GCC errors in Parser::Token() and Parser::Result::operator<<(). · bacbecc0
  Christoph Schwering authored Jan 13, 2017
  bacbecc0
- Fixed: GCC's control reaches end of non-void function warnings. · a4ab1fc3
  Christoph Schwering authored Jan 13, 2017
  a4ab1fc3
- Fixed: relied on order of argument evaluation in Formula::Bel ctor. · 0de733a1
  Christoph Schwering authored Jan 13, 2017
  
  0de733a1
Dec 30, 2016
- Removed end-of-line-marker (semicolon) from PDL. · 40dc0c45
  Christoph Schwering authored Dec 30, 2016
  40dc0c45
Dec 27, 2016
- Fixed: Grounder::AssignLiterals() missed literals. · 5123e742
  Christoph Schwering authored Dec 28, 2016
  5123e742
- Fixed: Res operator didn't handly no-free-vars case correctly. · a2b02e99
  Christoph Schwering authored Dec 27, 2016
  a2b02e99
Dec 22, 2016
- C++11 suffices. · b889118d
  Christoph Schwering authored Dec 23, 2016
  
  b889118d
- Fixed: parser bug for conditionals. · 086a8d2a
  Christoph Schwering authored Dec 22, 2016
  086a8d2a
- Fixed a few small bugs; updated PDL. · 85a396bf
  Christoph Schwering authored Dec 22, 2016
  85a396bf
- Fixed: generation of system of spheres. · decb03ad
  Christoph Schwering authored Dec 22, 2016
  
  decb03ad
- Fixed: Formula::Bel needs ternary ctor to keep normalization alive. · 6bcdff10
  Christoph Schwering authored Dec 22, 2016
  
  6bcdff10
- Fixed: split terms / assign literals may be empty for trivial formulas. · 43be46a1
  Christoph Schwering authored Dec 22, 2016
  43be46a1
- Implemented representation theorem for modal operators. · 996552d7
  Christoph Schwering authored Dec 22, 2016
  
  996552d7
- Slightly improved minesweeper evaluation and web interface. · 699dd772
  Christoph Schwering authored Dec 22, 2016
  
  699dd772
Dec 20, 2016
- Added modal operators to formulas. · b64f0eee
  Christoph Schwering authored Dec 21, 2016
  b64f0eee
- Fixed: iOS Minesweeper display bug. · a77f26ef
  Christoph Schwering authored Dec 21, 2016
  
  a77f26ef
- Sudokku attempt. · fe76137f
  Christoph Schwering authored Dec 20, 2016
  
  fe76137f
- Simplified Clause::Subsumes(); added average Minesweeper move time to eval.sh. · 5af57b68
  Christoph Schwering authored Dec 20, 2016
  
  5af57b68
Dec 19, 2016
- Simplified bloom filter hash functions. · 89b2e084
  Christoph Schwering authored Dec 20, 2016
  89b2e084
- Improved parser's error reporting. · de318880
  Christoph Schwering authored Dec 19, 2016
  
  de318880
- Added static_assert()ions to check iterator categories. · aba1e42d
  Christoph Schwering authored Dec 19, 2016
  
  aba1e42d
Dec 18, 2016
- Slightly extended tests. · 6bdcf871
  Christoph Schwering authored Dec 19, 2016
  
  6bdcf871
- Fixed: bug in Formula::Normalize(); improved Formula::Flatten(). · 4259a6a3
  Christoph Schwering authored Dec 19, 2016
  4259a6a3
Dec 17, 2016
- Fixed: Formula::Flatten() handled positive literals like definitions. · e3e8993e
  Christoph Schwering authored Dec 18, 2016
  e3e8993e
- Parser now supports implication, equivalence; also in KB. · 29e6d625
  Christoph Schwering authored Dec 18, 2016
  29e6d625
- Fixed: Formula::Flatten() skips non-quasiprimitive function-free atoms. · 21af6997
  Christoph Schwering authored Dec 18, 2016
  
  21af6997
- Unit tests. · 9d69829f
  Christoph Schwering authored Dec 18, 2016
  
  9d69829f
- Removed Grounder::PlusSplitNames(). · de13f421
  Christoph Schwering authored Dec 17, 2016
  de13f421
- Added Formula::Flatten() to Formula::NF(). · e9e90ef9
  Christoph Schwering authored Dec 17, 2016
  
  e9e90ef9
- Rewrote Formula. · db6419d5
  Christoph Schwering authored Dec 17, 2016
  db6419d5
Dec 16, 2016
- Cleanup. · adfd2545
  Christoph Schwering authored Dec 16, 2016
  adfd2545
- Added some experiments to find good bucket size. · 0bc1cdb6
  Christoph Schwering authored Dec 16, 2016
  0bc1cdb6
Dec 15, 2016
- Setup revision finished. · 650c6b1f
  Christoph Schwering authored Dec 16, 2016
  650c6b1f