Commits

Branch selector

 develop

User selector

EzequielPostan

Datepicker

All time

Commit History

Commits on Aug 22, 2016

• Merge branch 'feature-FOSplitting-Review' into develop

  EzequielPostan

  committedAug 22, 2016
  d9327d9

• EPFOSplit tests

  EzequielPostan

  committedAug 22, 2016
  54390b2

• Implementation of EPFOSplit

  EzequielPostan

  committedAug 22, 2016
  4aea591

• Bad compressions filtered out

  EzequielPostan

  committedAug 22, 2016
  b4ce582

• Ambiguity solved and problems causes were identified

  EzequielPostan

  committedAug 22, 2016
  e6d00b9

• Eager contraction eliminated from FOSplitting - Ambiguity errors detected

  EzequielPostan

  committedAug 22, 2016
  273d679

• Method added to parse strings directly

  EzequielPostan

  committedAug 22, 2016
  82c4ccf

Commits on Aug 12, 2016

• Merge branch 'feature-Random-FO-Proofs-Generator' into develop

  EzequielPostan

  committedAug 12, 2016
  b0f879a

• Code cleanup

  EzequielPostan

  committedAug 12, 2016
  a1d72fa

• Random generated stored proofs bug fixed

  EzequielPostan

  committedAug 12, 2016
  32450d7

• Experiments with generated proofs

  EzequielPostan

  committedAug 12, 2016
  6761364

• Method to save proofs in files added

  EzequielPostan

  committedAug 12, 2016
  83af0c3

• Contraction rule added to CNF proofs parser

  EzequielPostan

  committedAug 12, 2016
  101f074

• Draft method to save generated proofs in files

  EzequielPostan

  committedAug 12, 2016
  ce2c452

• Testing algorithms with generated proofs

  EzequielPostan

  committedAug 12, 2016
  cac1f19

• Experiments and minor changes

  EzequielPostan

  committedAug 12, 2016
  c8734f5

• Generation of more realistic resolution steps

  EzequielPostan

  committedAug 12, 2016
  6da0c9d

• Improvement to generate nodes with common parents

  EzequielPostan

  committedAug 12, 2016
  059990c

• Experimentation with parameters for proofs generator

  EzequielPostan

  committedAug 12, 2016
  590e6ea

• Data Recollection

  EzequielPostan

  committedAug 12, 2016
  610d2c3

• Adding more data to ProofsDataRecollection

  EzequielPostan

  committedAug 12, 2016
  72f9758

• Implementation of ProofsDataRecollection object

  EzequielPostan

  committedAug 12, 2016
  6bb09e5

• irregularResolutionStep method draft implemented

  EzequielPostan

  committedAug 12, 2016
  e2649cc

• Adding debug information

  EzequielPostan

  committedAug 12, 2016
  6560281

• testing the generateProof method

  EzequielPostan

  committedAug 12, 2016
  9b81322

• generateProof method - Draft 1

  EzequielPostan

  committedAug 12, 2016
  139a7fb

• Literals random generation implemented

  EzequielPostan

  committedAug 12, 2016
  fc97201

• Contraction nodes generation draft

  EzequielPostan

  committedAug 12, 2016
  3cfcd1e

• Draft - FO Proof generator structure

  EzequielPostan

  committedAug 12, 2016
  689b87e

Commits on Jul 23, 2016

• Merge branch 'feature-FOSplitting-Improvements' into develop

  EzequielPostan

  committedJul 23, 2016
  d4018d1

• Code cleanup

  EzequielPostan

  committedJul 23, 2016
  4d031e9

Commits on Jul 20, 2016

• FOSplit heuristic tests

  EzequielPostan

  committedJul 20, 2016
  50ec76e

• Method isIncludedIsSet bug fixed

  EzequielPostan

  committedJul 20, 2016
  0e5905f

• Draft to correct isIncludedInSet method - Still failing

  EzequielPostan

  committedJul 20, 2016
  e46d922

Commits on Jul 16, 2016

• Adding check for duplicated literals

  EzequielPostan

  committedJul 16, 2016
  b03a917

Pagination

PreviousNext