Commits

Breadcrumbs

History for

onf026779

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 28, 2022

• bring up to date with stack LTS 19.33; deprecate L4LSP; introduce package.yaml

  Show description for f026779
  mengwong

  committed
  f026779

  Copy full SHA for f026779

Commits on Nov 24, 2022

• upgrade stack version to LTS 18

  Show description for ba98e56
  mengwong

  committed
  ba98e56

  Copy full SHA for ba98e56

Commits on Nov 21, 2022

• made ToASP independent from typing of programs

  Martin-Strecker

  committed
  45149ce

  Copy full SHA for 45149ce

Commits on Nov 14, 2022

• edit to make it more like manually written code

  AvishkarMahajan

  committed
  3dd4f0f

  Copy full SHA for 3dd4f0f

Commits on Sep 21, 2022

• use aspRulesNoFact as per debugging session yesterday

  mengwong

  committed
  e7966c5

  Copy full SHA for e7966c5

Commits on Sep 19, 2022

• add support for running "l4 epilog" as well as "l4 asp"

  mengwong

  committed
  1858b51

  Copy full SHA for 1858b51

Commits on Sep 13, 2022

• Transpiler to epilog

  AvishkarMahajan

  authored
  5988fc1

  Copy full SHA for 5988fc1

Commits on Aug 19, 2022

• Latest ASP transpiler, able to deal with global vars

  AvishkarMahajan

  authored
  3a59708

  Copy full SHA for 3a59708

• Delete ToASP.hs

  AvishkarMahajan

  authored
  a680cec

  Copy full SHA for a680cec

Commits on Jul 4, 2022

• introduced globalVarDecls into ASPRule instead of Environment

  Martin-Strecker

  committed
  c1a2320

  Copy full SHA for c1a2320

Commits on Jul 1, 2022

• added an environment component to ASPRule

  Martin-Strecker

  committed
  c5be3b4

  Copy full SHA for c5be3b4

• update file

  AvishkarMahajan

  authored
  0ec1aef

  Copy full SHA for 0ec1aef

• Delete ToASP.hs

  AvishkarMahajan

  authored
  57c3e2c

  Copy full SHA for 57c3e2c

Commits on Jun 28, 2022

• Extend code generator to handle facts/meta parameters

  AvishkarMahajan

  authored
  a22a4cc

  Copy full SHA for a22a4cc

• Delete ToASP.hs

  AvishkarMahajan

  authored
  39bac03

  Copy full SHA for 39bac03

Commits on Jun 20, 2022

• rename files

  AvishkarMahajan

  authored
  6186525

  Copy full SHA for 6186525

• rename files

  AvishkarMahajan

  authored
  612fe48

  Copy full SHA for 612fe48

• Delete ToASP_non_sk.hs

  AvishkarMahajan

  authored
  5e9a27a

  Copy full SHA for 5e9a27a

• Delete ToASP.hs

  AvishkarMahajan

  authored
  2612cba

  Copy full SHA for 2612cba

Commits on Jun 8, 2022

• add non skolem version and delete extra files

  AvishkarMahajan

  committed
  4940299

  Copy full SHA for 4940299

Commits on Jun 6, 2022

• wip: tweak code generator to handle boolean preds

  johsi-k

  committed
  76adcd6

  Copy full SHA for 76adcd6

Commits on May 24, 2022

• Merge branch 'expertsys' into smtgen

  Show description for c786ced
  Martin-Strecker

  committed
  c786ced

  Copy full SHA for c786ced

Commits on Feb 28, 2022

• Fix arg binding in not operation

  johsi-k

  committed
  11e8858

  Copy full SHA for 11e8858

Commits on Feb 18, 2022

• further modified code generator

  AvishkarMahajan

  committed
  19ce48c

  Copy full SHA for 19ce48c

Commits on Feb 16, 2022

• enable variable substitution

  AvishkarMahajan

  committed
  164a429

  Copy full SHA for 164a429

Commits on Feb 15, 2022

• Fixed clara map deconstruction for not-statements

  alfredats

  committed
  83ec57b

  Copy full SHA for 83ec57b

• clara output updated for new representation

  alfredats

  committed
  7b1db34

  Copy full SHA for 7b1db34

• fixed minor capitalisation issue

  AvishkarMahajan

  committed
  47f1bb8

  Copy full SHA for 47f1bb8

Commits on Feb 11, 2022

• major skolemization effort

  AvishkarMahajan

  committed
  1335d0c

  Copy full SHA for 1335d0c

• added skolemization code but doesn't work

  AvishkarMahajan

  committed
  05159ab

  Copy full SHA for 05159ab

Commits on Jan 9, 2022

• justification tree in Haskell

  Martin-Strecker

  committed
  ca80ca3

  Copy full SHA for ca80ca3

Commits on Dec 8, 2021

• Removed tests*, added documentation

  Show description for 57b64c0
  alfredats

  committed
  57b64c0

  Copy full SHA for 57b64c0

• Update drools output for pred->justif->pred trees

  Show description for c668d56
  alfredats

  committed
  c668d56

  Copy full SHA for c668d56

Commits on Dec 1, 2021

• Add rulename field to trace objects

  alfredats

  committed
  8eb030c

  Copy full SHA for 8eb030c

Commits on Nov 26, 2021

• Merge branch 'smtgen' into expertsys

  alfredats

  committed
  9176e32

  Copy full SHA for 9176e32

Pagination

Previous

Next