Issues

• Support for Coq's tactic syntax (., ;)

  kframework/matching-logic-prover#84 · Filter by author h0nzZik opened on Aug 11, 2020
  

• Delete the rest of the prover (in the notation branch).

  kframework/matching-logic-prover#83 · Filter by author h0nzZik opened on Aug 11, 2020
  

• Syntactic matching for the apply strategy.

  kframework/matching-logic-prover#82 · Filter by author h0nzZik opened on Aug 11, 2020
  

• Merge symbolic unit tests and unit-test semantics

  kframework/matching-logic-prover#75 · Filter by author nishantjr opened on Jun 13, 2020

• Deterministic choice operators

  kframework/matching-logic-prover#63 · Filter by author nishantjr opened on Apr 22, 2020
  1

• Axiom names are duplicated

  kframework/matching-logic-prover#52 · Filter by author nishantjr opened on Mar 23, 2020

• Replace \hole() with #hole

  kframework/matching-logic-prover#49 · Filter by author h0nzZik opened on Mar 10, 2020
  4

• Matchig variables - duplicated rule

  kframework/matching-logic-prover#48 · Filter by author h0nzZik opened on Feb 25, 2020

• apply-equation should check functionality of terms in substitution

  kframework/matching-logic-prover#47 · Filter by author h0nzZik opened on Feb 25, 2020

• replace-svar-with-constant

  kframework/matching-logic-prover#46 · Filter by author h0nzZik opened on Feb 18, 2020

• Remove the ability to have unnamed axioms.

  kframework/matching-logic-prover#45 · Filter by author h0nzZik opened on Feb 11, 2020

• match strategy working with axioms and arbitrary formulas

  kframework/matching-logic-prover#44 · Filter by author h0nzZik opened on Feb 11, 2020

• isFOLPattern

  kframework/matching-logic-prover#41 · Filter by author h0nzZik opened on Feb 11, 2020

• Transition to AML: sorts

  kframework/matching-logic-prover#40 · Filter by author h0nzZik opened on Feb 6, 2020
  18