Commits

Branch selector

 main-github

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 26, 2025

• spacing

  kifer

  committed
  1888eb7

  Copy full SHA for 1888eb7

• minor

  kifer

  committed
  c6439ec

  Copy full SHA for c6439ec

• Scratchpad no longer eats up loading messages.

  kifer

  committed
  2b92ae0

  Copy full SHA for 2b92ae0

Commits on Mar 21, 2025

• use write_canonical instead of write/1 to write out prolog terms

  kifer

  committed
  be3c362

  Copy full SHA for be3c362

Commits on Mar 19, 2025

• removed certificate from windows install

  kifer

  committed
  7a6eebd

  Copy full SHA for 7a6eebd

Commits on Mar 9, 2025

• more fixes in flimport

  kifer

  committed
  f0ab0db

  Copy full SHA for f0ab0db

• mostly cosmetic changes

  Show description for abeb881
  kifer

  committed
  abeb881

  Copy full SHA for abeb881

Commits on Nov 26, 2024

• added description of the compilation pipeline

  kifer

  committed
  66698f8

  Copy full SHA for 66698f8

Commits on Oct 19, 2024

• Merge branch 'main-bitbucket' into debug-quant

  kifer

  committed
  74489e0

  Copy full SHA for 74489e0

• doc changes

  Show description for 7eb3fcb
  kifer

  committed
  7eb3fcb

  Copy full SHA for 7eb3fcb

Commits on Aug 7, 2024

• debug print statements

  kifer

  committed
  95d24b9

  Copy full SHA for 95d24b9

• minor

  kifer

  committed
  7eb7a04

  Copy full SHA for 7eb7a04

Commits on Jun 25, 2024

• minor

  kifer

  committed
  b766456

  Copy full SHA for b766456

Commits on Jun 20, 2024

• updated flrgclp_wfsx

  kifer

  committed
  7b8aa1f

  Copy full SHA for 7b8aa1f

• mostly fixes in refute_clp to make it essentially into flrgclp minus rebuttals.

  kifer

  committed
  5a1ff16

  Copy full SHA for 5a1ff16

Commits on Jun 19, 2024

• further cleanup in flrgclp and ogclp.

  kifer

  committed
  47858e4

  Copy full SHA for 47858e4

Commits on Jun 17, 2024

• In FL_COMPROMISE: test only FL_REFUTED. Testing FL_DEFEATED in addition doesn't seem to make a diff.

  kifer

  committed
  696358e

  Copy full SHA for 696358e

• fixed important bug in flrgclp.flr

  kifer

  committed
  85b58e1

  Copy full SHA for 85b58e1

Commits on Jun 15, 2024

• more explanations

  kifer

  committed
  872f8c2

  Copy full SHA for 872f8c2

Commits on Jun 14, 2024

• minor

  kifer

  committed
  b653004

  Copy full SHA for b653004

Commits on Jun 10, 2024

• more explanations

  kifer

  committed
  739886c

  Copy full SHA for 739886c

• more comments in flrgclp

  kifer

  committed
  507d7fe

  Copy full SHA for 507d7fe

• new tests for cancellation, fot atck,atco.

  Show description for bc9c291
  kifer

  committed
  bc9c291

  Copy full SHA for bc9c291

Commits on Jun 7, 2024

• added cancel tests to gclp-related theories

  kifer

  committed
  e8a76f2

  Copy full SHA for e8a76f2

• fixes to make refutation sensitive to cancellation.

  kifer

  committed
  99e695f

  Copy full SHA for 99e695f

Commits on Jun 6, 2024

• partially roll back the 2024-04-08 fix to defeat delay because the 2024-05-20 fix solves the same problem in a simpler way and is more general.

  kifer

  committed
  26bcab8

  Copy full SHA for 26bcab8

• fixed clause{...} in ergo shell

  kifer

  committed
  ffcaad9

  Copy full SHA for ffcaad9

Commits on Jun 4, 2024

• updates in manual

  kifer

  committed
  3b55271

  Copy full SHA for 3b55271

Commits on Jun 3, 2024

• fixed yet another bug in the delay function, which improves most maxcard* tests. In most cases, the \opposes clause in maxcard*flt in the ATs doesn't require the use of candidate/2 but all the atck…

  Show description for e2ee079
  kifer

  committed
  e2ee079

  Copy full SHA for e2ee079

Commits on Jun 1, 2024

• added a setion on nonmon inheritance and defeasible

  kifer

  committed
  6ed316a

  Copy full SHA for 6ed316a

Commits on May 31, 2024

• intermediate commit: perf improvements in flrhead_dispatch

  kifer

  committed
  8a41549

  Copy full SHA for 8a41549

Commits on May 27, 2024

• some optimizations

  kifer

  committed
  4c705e0

  Copy full SHA for 4c705e0

Commits on May 26, 2024

• fixed and generalized the ->-> operator.

  kifer

  committed
  e82bf4c

  Copy full SHA for e82bf4c

Commits on May 25, 2024

• fixed maxcard tests using candidate@\gcl

  kifer

  committed
  e0bbfc6

  Copy full SHA for e0bbfc6

Commits on May 20, 2024

• fixes in defeasibility concerning cancelled rebutals.

  Show description for f4dfd87
  kifer

  committed
  f4dfd87

  Copy full SHA for f4dfd87

Pagination

Previous

Next