Commit Graph

Select branches

Hide Pull Requests

master

v0.4.0-beta.1

v0.4.0-beta.2

v0.4.0-beta.3

Mono Color

• e03628ec66
  
  Remove unused code Patrick Lühne 2020-05-11 02:46:52 +0200
• 37f1b301b5
  
  Remove unused variable reference Patrick Lühne 2020-05-11 02:45:58 +0200
• 91765a7a15
  
  Remove duplicate match arm Patrick Lühne 2020-05-11 02:45:44 +0200
• c075f99093
  
  Remove unused code Patrick Lühne 2020-05-11 02:43:42 +0200
• d44c3995b7
  
  Fix induction axiom in example 2 v0.4.0-beta.1 Patrick Lühne 2020-05-11 02:21:24 +0200
• c787a5881b
  
  Bump version number Patrick Lühne 2020-05-07 17:20:07 +0200
• 753cc3e5a8
  
  Improve output Patrick Lühne 2020-05-07 17:19:42 +0200
• 5469f7d7b2
  
  Improve output Patrick Lühne 2020-05-07 03:02:11 +0200
• a9ca72891c
  
  Add exact cover problem example Patrick Lühne 2020-05-07 02:54:13 +0200
• b55bc82b1d
  
  Add option for proof direction Patrick Lühne 2020-05-07 02:53:48 +0200
• b4339bfcb3 Add examples Patrick Lühne 2020-05-06 21:39:04 +0200
• 70bef152a4 Improve proof output Patrick Lühne 2020-05-06 21:38:48 +0200
• 15769d58b3 Add missing file Patrick Lühne 2020-05-06 21:30:27 +0200
• b14f620235
  
  Implement proof mechanism Patrick Lühne 2020-05-06 00:13:43 +0200
• e118442e16
  
  Work in progress Patrick Lühne 2020-05-05 19:40:57 +0200
• 07322f041c
  
  Use foliage traits Patrick Lühne 2020-04-17 04:10:23 +0200
• e6cf79ad1e
  
  Remove unneeded indirection Patrick Lühne 2020-04-17 03:37:53 +0200
• eb60bd7520
  
  Refactor variable declaration stack usage Patrick Lühne 2020-04-17 03:28:18 +0200
• 84bec338ae
  
  Use foliage’s built-in variable declaration stack Patrick Lühne 2020-04-17 01:44:16 +0200
• becd8d4c19
  
  Upgrade to foliage 0.2 development version Patrick Lühne 2020-04-17 00:09:44 +0200
• f83695b5dc
  
  Move closure functions to utils module Patrick Lühne 2020-02-09 10:26:24 +0700
• c3860c1bf1
  
  Check variable declaration stack before using it Patrick Lühne 2020-02-09 10:22:08 +0700
• f6f423e307
  
  Add axioms for order of symbolic constants Patrick Lühne 2020-02-05 20:19:22 +0100
• ca5cca8701
  
  Default to 0-ary predicates when omitting arity Patrick Lühne 2020-02-05 19:42:53 +0100
• b6ecf37211
  
  Add option for input constants Patrick Lühne 2020-02-05 19:40:21 +0100
• 844f81f5b5
  
  Count program and integer variable IDs separately Patrick Lühne 2020-02-05 18:50:48 +0100
• cd7129a3fa
  
  Add missing files Patrick Lühne 2020-02-05 04:28:02 +0100
• 3c485c949c
  
  Use upstream foliage crate Patrick Lühne 2020-02-05 03:36:24 +0100
• 26c1bde49b
  
  Move variable declaration stack from foliage crate Patrick Lühne 2020-02-05 02:29:38 +0100
• 2bc084d799
  
  Finish implementing TPTP output Patrick Lühne 2020-02-05 02:14:47 +0100
• 9a519abb0d
  
  Fix typo in TPTP output Patrick Lühne 2020-02-05 02:14:29 +0100
• caab0a618e
  
  Add option for input predicates Patrick Lühne 2020-02-05 01:10:33 +0100
• 6d489e457f
  
  Minor restructuring Patrick Lühne 2020-02-04 23:35:42 +0100
• ce19860325
  
  Make all terms compatible in TPTP Patrick Lühne 2020-02-04 23:33:59 +0100
• 26cce016b0
  
  Update dependencies Patrick Lühne 2020-02-04 17:07:28 +0100
• d7f04da0bd
  
  Restructure project Patrick Lühne 2020-02-04 16:53:52 +0100
• f5b84eaf63
  
  Restructure project Patrick Lühne 2020-02-04 16:48:33 +0100
• 3dbe11be61
  
  Restructure project Patrick Lühne 2020-02-04 16:45:06 +0100
• 87a3517bfb
  
  Restructure project Patrick Lühne 2020-02-04 16:42:50 +0100
• a9ef9d2496
  
  Minor refactoring Patrick Lühne 2020-02-04 15:15:11 +0100
• c40042baf6
  
  Change to upstream clingo-rs again Patrick Lühne 2020-02-04 15:14:57 +0100
• 2ad5396488
  
  Add option for human-readable output Patrick Lühne 2020-02-04 00:27:04 +0100
• 9f4b7946f5
  
  Add option for output format Patrick Lühne 2020-02-03 22:51:19 +0100
• c953b465e9
  
  Add documentation string to input option Patrick Lühne 2020-02-03 22:50:53 +0100
• 82b3176a40
  
  Require at least one input file Patrick Lühne 2020-02-03 22:50:33 +0100
• ad3a2d18f8
  
  Add subcommand for verifying programs Patrick Lühne 2020-02-03 22:20:13 +0100
• 072fa34e69
  
  Refactoring to support TPTP output Patrick Lühne 2020-02-03 02:57:45 +0100
• 0714bed2cc
  
  Start supporting TPTP output Patrick Lühne 2020-02-02 20:27:30 +0100
• 5ad14f8deb
  
  Add option for specifying input files Patrick Lühne 2020-02-02 19:20:16 +0100
• e122532fcb
  
  Implement completion Patrick Lühne 2020-02-02 17:57:27 +0100
• 28a804409c
  
  Support choice rules with single atom in head Patrick Lühne 2020-02-02 03:56:34 +0100
• 23641987bc
  
  Persist declarations between rules Patrick Lühne 2020-02-02 02:53:04 +0100
• 99345bc0ac
  
  Finish implementing definitions Patrick Lühne 2020-02-02 02:32:32 +0100
• 86c8391278
  
  Refactoring Patrick Lühne 2020-02-01 21:59:36 +0100
• 24980d5a8d
  
  Refactoring to drop Context type Patrick Lühne 2020-02-01 19:20:46 +0100
• 66902c1888
  
  Rename module for determining head type Patrick Lühne 2020-02-01 17:20:43 +0100
• 142531d334
  
  Determine head type of input rules Patrick Lühne 2020-02-01 17:13:43 +0100
• aaea04d51b
  
  Work in progress Patrick Lühne 2020-02-01 15:32:41 +0100
• 442d9f6ac0
  
  Split translation code into smaller modules Patrick Lühne 2020-01-31 17:24:13 +0100
• 6145c2cf1a
  
  Translate body of rules for verifying properties Patrick Lühne 2020-01-31 17:19:44 +0100
• b95bda810a
  
  Work in progress Patrick Lühne 2020-01-25 12:55:23 +0100
• a7e8368634
  
  Work in progress Patrick Lühne 2020-01-24 13:32:43 +0100