Commits · 3addbdd60299e428d79a57409cc88a707111a7ed · Christoph Schwering / limbo · GitLab

Jan 23, 2017
- Restored accidentally deleted example files. · 3addbdd6
  Christoph Schwering authored Jan 23, 2017
  
  3addbdd6
Jan 22, 2017
- Sudoku. · e9cf07f4
  Christoph Schwering authored Jan 23, 2017
  
  e9cf07f4
Jan 21, 2017
- Restructured battleship examples. · 3ed33d8f
  Christoph Schwering authored Jan 21, 2017
  
  3ed33d8f
- Extended PDL control structures. · 9530e252
  Christoph Schwering authored Jan 21, 2017
  9530e252
Jan 19, 2017
- Battleship 4x4. · 4be80f73
  Christoph Schwering authored Jan 20, 2017
  
  4be80f73
- Battleship 1x4. · f1e07612
  Christoph Schwering authored Jan 19, 2017
  
  f1e07612
- Very simple version of battleship. · 2669f3eb
  Christoph Schwering authored Jan 19, 2017
  
  2669f3eb
Jan 18, 2017
- Fixed: two and a half bugs in Formula::Flatten(). · 6909eea7
  Christoph Schwering authored Jan 19, 2017
  6909eea7
- Added Context::CreateTerm(). · de83bf6f
  Christoph Schwering authored Jan 19, 2017
  
  de83bf6f
- Some work towards Battleship. · 8f5c2264
  Christoph Schwering authored Jan 18, 2017
  
  8f5c2264
- Copyright notice. · 823b32c6
  Christoph Schwering authored Jan 18, 2017
  
  823b32c6
Jan 17, 2017
- Started battleship engine. · 3afc6913
  Christoph Schwering authored Jan 18, 2017
  
  3afc6913
- Added callbacks. · 630560bd
  Christoph Schwering authored Jan 17, 2017
  
  630560bd
- Added if/else as well as while and for loops. · 62b99197
  Christoph Schwering authored Jan 17, 2017
  
  62b99197
- Moved Context out of Parser. · 5c0a48c8
  Christoph Schwering authored Jan 17, 2017
  
  5c0a48c8
- 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