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

Commits on Jun 6, 2022

• wip: tweak code generator to handle boolean preds

  johsi-k

  committed
  76adcd6

Commits on Feb 28, 2022

• Fix arg binding in not operation

  johsi-k

  committed
  11e8858

Commits on Feb 15, 2022

• Fixed clara map deconstruction for not-statements

  alfredats

  committed
  83ec57b

• clara output updated for new representation

  alfredats

  committed
  7b1db34

Commits on Dec 8, 2021

• Removed tests*, added documentation

  Show description for 57b64c0
  alfredats

  committed
  57b64c0

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

  Show description for c668d56
  alfredats

  committed
  c668d56

Commits on Dec 1, 2021

• Add rulename field to trace objects

  alfredats

  committed
  8eb030c

Commits on Nov 26, 2021

• Fix capitalisation in clara postconds

  alfredats

  committed
  fad443d

Commits on Nov 25, 2021

• Fix parentheses with Clara output for rules

  alfredats

  committed
  34c293e

Commits on Nov 24, 2021

• Add support for Facts transpilation + Clara trace objs

  alfredats

  committed
  7024000

Commits on Nov 15, 2021

• Clara function transpilations + some tidying up

  alfredats

  committed
  ede05e1

• Function definitions for clara

  alfredats

  committed
  876c520

• Extend function transpilations to boolean/float

  alfredats

  committed
  6d62dd1

Commits on Nov 9, 2021

• first try for function transpilations in drools

  alfredats

  committed
  851460f

Commits on Nov 2, 2021

• Embed Justification objects within rule actions

  alfredats

  committed
  9e5cce5

Commits on Nov 1, 2021

• add Justification fields for type declarations

  alfredats

  committed
  538e4b5

Commits on Oct 29, 2021

• Add variable-binding check for localvars used in ruleActions

  alfredats

  committed
  3f6ecfd

• Fix silly error

  alfredats

  committed
  ed0392c

• Merge branch 'smtgen' into expertsys-merged

  alfredats

  committed
  e27e251

Commits on Oct 28, 2021

• Trace objects generated as required

  alfredats

  committed
  01b8f7d

Commits on Oct 26, 2021

• Change clara output to be slightly more consistent with drools output

  alfredats

  committed
  46e35f9

• Fix tests, and tidying up

  alfredats

  committed
  839616d

• Add Clara output for object declarations

  alfredats

  committed
  2877036

Commits on Oct 25, 2021

• Bindings in post conditions are working

  alfredats

  committed
  5aaebac

Commits on Oct 21, 2021

• Add object declarations

  alfredats

  committed
  499c203

• Divide expertsys stuff into seperate files within subfolder

  alfredats

  committed
  d903057

Loading