Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 16, 2024

• --transform -z: avoid duplicate registrations of evaluation indices

  Show description for 5f6f798
  xamidi

  committed
  5f6f798

  Copy full SHA for 5f6f798

Commits on Jun 15, 2024

• found shorter proofs via new '--transform -z' proof compression feature

  Show description for f121411
  xamidi

  committed
  f121411

  Copy full SHA for f121411

• --transform -z (proof compression) feature

  Show description for 5e40660
  xamidi

  committed
  5e40660

  Copy full SHA for 5e40660

Commits on Jun 13, 2024

• w2:L2:781↦535

  Show description for c76302a
  

  xamidi

  and

  GinoGiotto

  committed
  c76302a

  Copy full SHA for c76302a

Commits on Jun 8, 2024

• readme: add raw data for behavioral graphs

  xamidi

  committed
  7b5a39c

  Copy full SHA for 7b5a39c

Commits on Jun 6, 2024

• readme: adjust formulation to fit previous commit

  xamidi

  committed
  743025d

  Copy full SHA for 743025d

Commits on Jun 5, 2024

• readme: add behavioral graphs and make data tables retractable

  xamidi

  committed
  c6b71ad

  Copy full SHA for c6b71ad

Commits on Jun 1, 2024

• --plot: also print median lengths of conclusions

  xamidi

  committed
  7e41426

  Copy full SHA for 7e41426

Commits on May 31, 2024

• --plot fix: don't get stuck for empty proof files + dead code removal

  xamidi

  committed
  fd1cce5

  Copy full SHA for fd1cce5

• --plot: iterate over files instead of loading them into memory

  Show description for bffb1d7
  xamidi

  committed
  bffb1d7

  Copy full SHA for bffb1d7

Commits on May 9, 2024

• readme: mention discussion forum

  xamidi

  committed
  faebf79

  Copy full SHA for faebf79

• readme: wiki links for 'syntactic consequence' and 'Hilbert system'

  xamidi

  committed
  c09d4fa

  Copy full SHA for c09d4fa

Commits on May 1, 2024

• unify log order for multi-node runs

  xamidi

  committed
  61906e0

  Copy full SHA for 61906e0

Commits on Apr 6, 2024

• readme: add DOI

  xamidi

  committed
  5629dbf

  Copy full SHA for 5629dbf

Commits on Apr 2, 2024

• w3:(A2:2762055↦614905,A3:182879↦51239,L1:180451↦39253,L2:2177↦1649)

  Show description for 3dcaae4
  xamidi

  committed
  3dcaae4

  Copy full SHA for 3dcaae4

• add computing time project extension proposal + update version number

  xamidi

  committed
  dfff750

  Copy full SHA for dfff750

Commits on Mar 3, 2024

• w3: reduced D-proofs for CCpCqrCCpqCpr,CCNpNqCqp,CCpqCCqrCpr,CCNppp

  Show description for 8a231d7
  xamidi

  committed
  8a231d7

  Copy full SHA for 8a231d7

• reinstate custom tools modified by previous commit + new 'dProofsFromDB'

  xamidi

  committed
  569245b

  Copy full SHA for 569245b

• --transform: ability to print (but not parse!) infix formulas in Unicode

  xamidi

  committed
  05e653d

  Copy full SHA for 05e653d

Commits on Mar 2, 2024

• restore C++20 from C++11

  xamidi

  committed
  ec0cfe9

  Copy full SHA for ec0cfe9

• join https://github.com/xamidi/pmGenerator/commit/6df0ccf00522fdf2a7166de7337af3bcaae64eea (c++11)

  xamidi

  committed
  de5e6a3

  Copy full SHA for de5e6a3

Commits on Feb 29, 2024

• remove obsolete debug and helper tools' code

  xamidi

  committed
  2980783

  Copy full SHA for 2980783

• helper tools' code (temporary, quick'n'dirty)

  xamidi

  committed
  018ac78

  Copy full SHA for 018ac78

• w3: reduced D-proofs for CCpCqrCCpqCpr,CCNpNqCqp,CCpqCCqrCpr,CCNppp

  Show description for 389da87
  xamidi

  committed
  389da87

  Copy full SHA for 389da87

Commits on Feb 9, 2024

• add CNLpLNLp (alternative to Lewis' axiom 5) to sample and DB of S5

  xamidi

  committed
  0d53ba0

  Copy full SHA for 0d53ba0

• abstract D-proof validation fix: allow improvements to proper schemas

  Show description for 63f93f3
  xamidi

  committed
  63f93f3

  Copy full SHA for 63f93f3

Commits on Feb 3, 2024

• w2: found D-proof for CCNppp (781 steps)

  Show description for e4602a2
  xamidi

  committed
  e4602a2

  Copy full SHA for e4602a2

Commits on Feb 1, 2024

• generated conclusion length limitation via '-g -l' + improve '--extract'

  xamidi

  committed
  a3dadbe

  Copy full SHA for a3dadbe

Commits on Jan 30, 2024

• --plot: ability to include unfiltered proof files

  Show description for e24e47d
  xamidi

  committed
  e24e47d

  Copy full SHA for e24e47d

Commits on Jan 29, 2024

• improvements via '--extract -l' script

  Show description for a848c40
  xamidi

  committed
  a848c40

  Copy full SHA for a848c40

• DlProofEnumerator::searchProofFiles(): add return value for best results

  Show description for d054305
  xamidi

  committed
  d054305

  Copy full SHA for d054305

Commits on Dec 28, 2023

• improvements via '--extract -l' script for w5 + minor log fixes

  Show description for 583bd78
  xamidi

  committed
  583bd78

  Copy full SHA for 583bd78

Commits on Dec 24, 2023

• ability to extract proofs with limited conclusion lengths to proof files

  xamidi

  committed
  30db6bb

  Copy full SHA for 30db6bb

Commits on Dec 22, 2023

• README: fix internal link

  xamidi

  committed
  b730fd5

  Copy full SHA for b730fd5

• README.html - fix S5 link id (to what GitHub generates in README.md)

  xamidi

  committed
  f3447b1

  Copy full SHA for f3447b1

Pagination

Previous

Next