Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 2, 2021

• Merge pull request #5 from qnighy/dependabot/cargo/serde_json-1.0.66

  Show description for b6ab52b
  qnighy

  authored
  b6ab52b

  Copy full SHA for b6ab52b

Commits on Jul 30, 2021

• Bump serde_json from 1.0.65 to 1.0.66

  Show description for 75e3fa2
  dependabot[bot]

  authored
  75e3fa2

  Copy full SHA for 75e3fa2

Commits on Jul 29, 2021

• Merge pull request #4 from qnighy/dependabot/cargo/serde_json-1.0.65

  Show description for 454cb57
  qnighy

  authored
  454cb57

  Copy full SHA for 454cb57

• Bump serde_json from 1.0.64 to 1.0.65

  Show description for 1ad9399
  dependabot[bot]

  authored
  1ad9399

  Copy full SHA for 1ad9399

Commits on Jun 27, 2021

• Fix clippy warning

  qnighy

  committed
  67903c5

  Copy full SHA for 67903c5

Commits on Jun 26, 2021

• Point to a different patch commit

  qnighy

  committed
  8ec9b93

  Copy full SHA for 8ec9b93

• Merge pull request #1 from qnighy/dependabot/cargo/thiserror-1.0.25

  Show description for 09f2a3e
  qnighy

  authored
  09f2a3e

  Copy full SHA for 09f2a3e

Commits on Jun 12, 2021

• Bump thiserror from 1.0.24 to 1.0.25

  Show description for 1660d3f
  dependabot[bot]

  authored
  1660d3f

  Copy full SHA for 1660d3f

• In progress: RPC

  qnighy

  committed
  6580b2f

  Copy full SHA for 6580b2f

Commits on May 16, 2021

• Support branches more than 5

  qnighy

  committed
  042a695

  Copy full SHA for 042a695

• Prepare generalization of node type

  qnighy

  committed
  2c6ab6e

  Copy full SHA for 2c6ab6e

• Support ASCII-based symbols

  qnighy

  committed
  bf003e0

  Copy full SHA for bf003e0

• Remove debug output

  qnighy

  committed
  a4d2da7

  Copy full SHA for a4d2da7

• Reduce DNE on (A → B)

  qnighy

  committed
  a8bf43e

  Copy full SHA for a8bf43e

• Add description in LaTeX documents

  qnighy

  committed
  935ddd5

  Copy full SHA for 935ddd5

• Show classical logic proof

  qnighy

  committed
  d15b18b

  Copy full SHA for d15b18b

• Differentiate Not and Impl, Equiv and Conj

  qnighy

  committed
  a1e1136

  Copy full SHA for a1e1136

• Fix bugs in reduction and type-checking

  qnighy

  committed
  1030a68

  Copy full SHA for 1030a68

Commits on May 15, 2021

• Add ImplType / ConjType

  qnighy

  committed
  5447cb5

  Copy full SHA for 5447cb5

• Show as a boolean model

  qnighy

  committed
  714e7d4

  Copy full SHA for 714e7d4

• Reduce duplicate details

  qnighy

  committed
  82a3802

  Copy full SHA for 82a3802

• Show classical logic result

  qnighy

  committed
  1a840fe

  Copy full SHA for 1a840fe

Commits on May 9, 2021

• Refactor: introduce SolverResult

  qnighy

  committed
  c2f293d

  Copy full SHA for c2f293d

• Remove debug output

  qnighy

  committed
  26cbb79

  Copy full SHA for 26cbb79

• Add manual.ja

  qnighy

  committed
  a5fb1b4

  Copy full SHA for a5fb1b4

• Add tests

  qnighy

  committed
  fa37169

  Copy full SHA for fa37169

• Show Kripke model assignment table

  qnighy

  committed
  71b31ab

  Copy full SHA for 71b31ab

• Show Kripke frame

  qnighy

  committed
  772562a

  Copy full SHA for 772562a

• Add try_refute

  qnighy

  committed
  ad9741e

  Copy full SHA for ad9741e

• Change accessibility representation

  qnighy

  committed
  d4d33d7

  Copy full SHA for d4d33d7

• Move Refutation

  qnighy

  committed
  bcbd91c

  Copy full SHA for bcbd91c

Commits on May 8, 2021

• Fix clippy warnings

  qnighy

  committed
  66d8760

  Copy full SHA for 66d8760

• Implement try_refute_icnf

  qnighy

  committed
  1855c54

  Copy full SHA for 1855c54

• Add tests

  qnighy

  committed
  56fddd3

  Copy full SHA for 56fddd3

• Remember ConjType and ImplType

  qnighy

  committed
  a283f1c

  Copy full SHA for a283f1c

Pagination

Previous

Next