Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• aec76f39cf
  
  Support integer constant declarations master Patrick Lühne 2019-11-07 03:14:44 -0600
• 5c504bef5b
  
  Format positive result more nicely Patrick Lühne 2019-11-07 02:25:01 -0600
• 33c5245b80
  
  Skip input predicates in completion Patrick Lühne 2019-11-07 02:17:49 -0600
• a802b9f8fd
  
  Rename Statement to FormulaStatement Patrick Lühne 2019-11-07 01:12:26 -0600
• a206812d80
  
  Implement forward and backward proofs with all new directives correctly Patrick Lühne 2019-11-07 00:53:50 -0600
• cf90f4f69a
  
  Don’t rewrite specification files for now Patrick Lühne 2019-11-06 22:44:05 -0600
• 2d7f9db378
  
  Improve output Patrick Lühne 2019-11-06 22:43:22 -0600
• 2411781728
  
  Add lemma directives Patrick Lühne 2019-11-06 22:42:42 -0600
• e933c45079
  
  Tag completion directives with source Patrick Lühne 2019-11-06 21:20:06 -0600
• 39a047e10a
  
  Show Vampire proof times Patrick Lühne 2019-11-06 19:05:15 -0600
• fa2110294a
  
  Support right-to-left implications Patrick Lühne 2019-11-06 19:05:04 -0600
• 7da722aeec
  
  Implement backward proofs Patrick Lühne 2019-11-06 12:52:08 -0600
• bce9d8061c
  
  Verify all assertions one after the other Patrick Lühne 2019-11-06 04:36:51 -0600
• 3bf78115cf
  
  Add completion, assumption, and assertion directives Patrick Lühne 2019-11-06 00:18:30 -0600
• beb4dbb693
  
  Fix TPTP output of predicates with arguments Patrick Lühne 2019-11-05 15:54:28 -0600
• 3c94f677fc
  
  Update foliage Patrick Lühne 2019-11-05 15:54:09 -0600
• 199afd6768
  
  Fix variable names in TPTP Patrick Lühne 2019-11-05 13:58:21 -0600
• 2a8a076ecd
  
  Fix precedence rules for subtractions and implications Patrick Lühne 2019-11-05 13:15:13 -0600
• 56ed5f1cf1
  
  Recognize program variables better Patrick Lühne 2019-11-05 12:54:38 -0600
• b0173a7b9a
  
  Support comments and don’t touch input more than necessary Patrick Lühne 2019-11-05 12:44:28 -0600
• cc56c493f6
  
  Add stderr to error output Patrick Lühne 2019-11-02 07:54:39 +0100
• 0d63e48af9
  
  Fix typos Patrick Lühne 2019-11-02 07:54:29 +0100
• 52d8c84bc0
  
  Finish first version of interactive prover Patrick Lühne 2019-11-02 07:23:34 +0100
• 228b2032f7
  
  Make anthem axiomatization more consistent Patrick Lühne 2019-11-02 05:06:55 +0100
• e382058c2d
  
  Add missing anthem axioms Patrick Lühne 2019-11-02 04:13:00 +0100
• 306dc7d850
  
  Fix typos Patrick Lühne 2019-11-02 03:13:51 +0100
• a93af5b423
  
  Print TPTP type directives for predicates Patrick Lühne 2019-11-02 02:50:46 +0100
• 00169b2144
  
  Handle comparisons with nonarithmetic terms Patrick Lühne 2019-11-02 02:26:56 +0100
• 7d47910cfa
  
  Initial project file parser Patrick Lühne 2019-11-02 02:13:45 +0100