Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 8, 2022

• Beautify the code.

  Show description for d1fab25
  tobielf

  committed
  d1fab25

  Copy full SHA for d1fab25

Commits on Aug 2, 2022

• Bug fix.

  Show description for deaa7a2
  tobielf

  committed
  deaa7a2

  Copy full SHA for deaa7a2

• Add grounding to the variable.

  Show description for 1fdd344
  tobielf

  committed
  1fdd344

  Copy full SHA for 1fdd344

Commits on Dec 28, 2021

• Add multiple variables support.

  Show description for 6edd006
  tobielf

  committed
  6edd006

  Copy full SHA for 6edd006

• Beautify the code.

  Show description for e71aa6d
  tobielf

  committed
  e71aa6d

  Copy full SHA for e71aa6d

• Change domain of variable to a list.

  Show description for d93afc8
  tobielf

  committed
  d93afc8

  Copy full SHA for d93afc8

• Move "last-step" after the "bind" definition.

  Show description for 669f48b
  tobielf

  committed
  669f48b

  Copy full SHA for 669f48b

Commits on Dec 22, 2021

• Remove unnecessary "mplus"

  Show description for dc81d0b
  tobielf

  committed
  dc81d0b

  Copy full SHA for dc81d0b

• Passing original goal during checking.

  Show description for 3d9c234
  tobielf

  committed
  3d9c234

  Copy full SHA for 3d9c234

• Fix checking with partial result.

  Show description for 10d9863
  tobielf

  committed
  10d9863

  Copy full SHA for 10d9863

Commits on Dec 17, 2021

• Add helper printing function.

  Show description for 5eaec81
  tobielf

  committed
  5eaec81

  Copy full SHA for 5eaec81

• Refactor the code.

  Show description for 242c7d4
  tobielf

  committed
  242c7d4

  Copy full SHA for 242c7d4

Commits on Dec 13, 2021

• Fix the bug in forall implementation.

  Show description for 387bb1a
  tobielf

  committed
  387bb1a

  Copy full SHA for 387bb1a

Commits on Dec 12, 2021

• Reimplement global constraint checking.

  Show description for 2b72bd5
  tobielf

  committed
  2b72bd5

  Copy full SHA for 2b72bd5

Commits on Nov 10, 2021

• Move trans-fresh to a higher level.

  Show description for 2d4d0c3
  tobielf

  committed
  2d4d0c3

  Copy full SHA for 2d4d0c3

Commits on Nov 4, 2021

• Fix predicate support and flip fresh-t.

  Show description for df079db
  tobielf

  committed
  df079db

  Copy full SHA for df079db

Commits on Nov 2, 2021

• Bug fixes.

  Show description for 77c58b0
  tobielf

  committed
  77c58b0

  Copy full SHA for 77c58b0

Commits on Nov 1, 2021

• A draft version of trans-fresh.

  Show description for dedd082
  tobielf

  committed
  dedd082

  Copy full SHA for dedd082

Commits on Mar 15, 2021

• Draft version for predicate support.

  Show description for 422208e
  tobielf

  committed
  422208e

  Copy full SHA for 422208e

• Beautify.

  Show description for b22c72f
  tobielf

  committed
  b22c72f

  Copy full SHA for b22c72f

• Implicitly perform the rule transform.

  Show description for fb0cd9c
  tobielf

  committed
  fb0cd9c

  Copy full SHA for fb0cd9c

• Add tracking and global constraint checking

  Show description for 83fb104
  tobielf

  committed
  83fb104

  Copy full SHA for 83fb104

Commits on Mar 9, 2021

• Even negative loop should produce two choices.

  Show description for 84f0789
  tobielf

  committed
  84f0789

  Copy full SHA for 84f0789

Commits on Mar 8, 2021

• Memorization.

  Show description for 345ebfb
  tobielf

  committed
  345ebfb

  Copy full SHA for 345ebfb

Commits on Mar 1, 2021

• A tracking set to track rules during execution.

  Show description for 267e4a9
  tobielf

  committed
  267e4a9

  Copy full SHA for 267e4a9

Commits on Feb 23, 2021

• Change the calling stack frame position.

  Show description for 113dc98
  tobielf

  committed
  113dc98

  Copy full SHA for 113dc98

Commits on Feb 22, 2021

• Change the location of negation counter.

  Show description for 294f484
  tobielf

  committed
  294f484

  Copy full SHA for 294f484

• Fix the positive loop.

  Show description for 3454b0b
  tobielf

  committed
  3454b0b

  Copy full SHA for 3454b0b

Commits on Feb 21, 2021

• Beautify.

  Show description for 76529f2
  tobielf

  committed
  76529f2

  Copy full SHA for 76529f2

• Added co-induction, simplified "no"/"complement rule" definitions.

  Show description for c5edc5e
  tobielf

  committed
  c5edc5e

  Copy full SHA for c5edc5e

Commits on Feb 20, 2021

• Change the negation implementation to "Scheme Macro" (Transformer)

  Show description for 9c3ca86
  tobielf

  committed
  9c3ca86

  Copy full SHA for 9c3ca86

• Add a wrapper to define asp rules.

  Show description for 59579fe
  tobielf

  committed
  59579fe

  Copy full SHA for 59579fe

Commits on Nov 16, 2020

• Prototype on nested negation.

  Show description for 9d7f2c4
  tobielf

  committed
  9d7f2c4

  Copy full SHA for 9d7f2c4

Commits on Oct 17, 2020

• Extending the combination.

  Show description for e321981
  tobielf

  committed
  e321981

  Copy full SHA for e321981

Commits on Oct 11, 2020

• Letting reify handle only subsitution.

  Show description for 42d4e4d
  tobielf

  committed
  42d4e4d

  Copy full SHA for 42d4e4d

Pagination

Previous

Next