Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on May 19, 2019

• Rename setmm.h -> setmm_loader.h.

  giomasce

  committed
  478ea3b

  Copy full SHA for 478ea3b

Commits on Oct 29, 2018

• Migrate exception and stacktrace handling to giolib.

  giomasce

  committed
  ed62a65

  Copy full SHA for ed62a65

• Remove MMPPException.

  giomasce

  committed
  261b321

  Copy full SHA for 261b321

• Migrate to giolib.

  giomasce

  committed
  d01e5fe

  Copy full SHA for d01e5fe

Commits on Sep 22, 2018

• Template-ize wff.cpp.

  giomasce

  committed
  a86d92b

  Copy full SHA for a86d92b

Commits on Aug 18, 2018

• Minor.

  giomasce

  committed
  44c20f4

  Copy full SHA for 44c20f4

Commits on Jul 2, 2018

• Fix missing free.

  giomasce

  committed
  386d421

  Copy full SHA for 386d421

• Factor out one single exception handler.

  giomasce

  committed
  c707b85

  Copy full SHA for c707b85

Commits on Apr 13, 2018

• Fix test stacktrace.

  giomasce

  committed
  4376fd0

  Copy full SHA for 4376fd0

• Abstract the stacktrace interface from the platform.

  giomasce

  committed
  fbc2c9f

  Copy full SHA for fbc2c9f

• Migrate to backward for stack trace handling.

  giomasce

  committed
  fdcf656

  Copy full SHA for fdcf656

Commits on Mar 30, 2018

• Improve encapsulation in LibraryToolbox::get_parsed_sent() and similar.

  giomasce

  committed
  7dc16ed

  Copy full SHA for 7dc16ed

• Make *Tok distinct types, instead of typedefs of numeric types.

  giomasce

  committed
  911985c

  Copy full SHA for 911985c

Commits on Mar 18, 2018

• Give new dignity to the set.mm environment loader.

  giomasce

  committed
  4de25e3

  Copy full SHA for 4de25e3

Commits on Mar 15, 2018

• Make namespace std explicit everywhere.

  giomasce

  committed
  3d3e3e3

  Copy full SHA for 3d3e3e3

Commits on Mar 8, 2018

• Prepare a working Wff prover via SAT refutation.

  giomasce

  committed
  93158dc

  Copy full SHA for 93158dc

Commits on Feb 23, 2018

• Implement unit propagation.

  giomasce

  committed
  7c54366

  Copy full SHA for 7c54366

• Move SAT material to a dedicated unit.

  giomasce

  committed
  0eab0ad

  Copy full SHA for 0eab0ad

• Write a Wff in DIMACS format.

  giomasce

  committed
  0125748

  Copy full SHA for 0125748

• Use hypotheses in strategy Wff.

  giomasce

  committed
  9e28635

  Copy full SHA for 9e28635

Commits on Jan 11, 2018

• Optimize template assertions lookup.

  giomasce

  committed
  a8f762c

  Copy full SHA for a8f762c

Commits on Jan 9, 2018

• Refactor the whole C++ project to simplify headers.

  giomasce

  committed
  754025f

  Copy full SHA for 754025f

Commits on Oct 13, 2017

• Some more refactoring.

  giomasce

  committed
  374b5ad

  Copy full SHA for 374b5ad

• First step of source refactoring in directories.

  giomasce

  committed
  2cfe389

  Copy full SHA for 2cfe389

Commits on Oct 12, 2017

• Some more housekeeping.

  giomasce

  committed
  b5803d9

  Copy full SHA for b5803d9

• Some code housekeeping.

  giomasce

  committed
  8aa6912

  Copy full SHA for 8aa6912

Commits on Oct 11, 2017

• Fix a couple of bugs.

  giomasce

  committed
  920b6b3

  Copy full SHA for 920b6b3

• Minor housekeeping.

  giomasce

  committed
  8af61a9

  Copy full SHA for 8af61a9

• unify2() finally appears to work well.

  giomasce

  committed
  83dcd1a

  Copy full SHA for 83dcd1a

Commits on Oct 8, 2017

• Implement a quicker (and incomplete) version of unify2.

  giomasce

  committed
  d339177

  Copy full SHA for d339177

Commits on Oct 6, 2017

• Recognize theorems that are less general than they could be.

  giomasce

  committed
  5748677

  Copy full SHA for 5748677

Commits on Oct 5, 2017

• Implement better reactor.

  giomasce

  committed
  10c09de

  Copy full SHA for 10c09de

Commits on Oct 4, 2017

• Implement temporary variables and unification reactor.

  giomasce

  committed
  c51410b

  Copy full SHA for c51410b

Commits on Oct 3, 2017

• Let LibraryToolbox implement a Library interface itself.

  giomasce

  committed
  b3f02bc

  Copy full SHA for b3f02bc

Commits on Oct 1, 2017

• Experiments with optimization and timing.

  giomasce

  committed
  0c90276

  Copy full SHA for 0c90276

Pagination

Previous

Next