Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 2, 2024

• Use Double instead of Float

  joewatt95

  committed
  3838e4a

Commits on Jan 30, 2024

• deriving Hashable instances

  joewatt95

  committed
  03dd237

Commits on Dec 18, 2023

• prune some redundant deps (#152)

  joewatt95

  authored
  b0428c6

• Upgrade stack to lts-22.0 (#151)

  Show description for 38fd245
  joewatt95

  authored
  38fd245

Commits on Dec 13, 2023

• Hash containers (#149)

  Show description for 7a1c080
  joewatt95

  authored
  7a1c080

Commits on Sep 21, 2023

• Use GHC2021, remove obsoletised exts (#139)

  joewatt95

  authored
  b636f9e

Commits on Feb 18, 2023

• make ToDMN independent of program typing

  johsi-k

  committed
  409decf

Commits on Feb 14, 2023

• debug empty varenv

  johsi-k

  committed
  fcfa2de

Commits on Feb 9, 2023

• make fact preconds explicit, add debugs

  johsi-k

  committed
  253cbb2

Commits on Jan 9, 2023

• try splitting dmn gen and file writing

  johsi-k

  committed
  e9cef73

Commits on Jan 3, 2023

• refactor genDMN

  johsi-k

  committed
  6ba6237

Commits on Dec 5, 2022

• Remove GF dependency

  kharus

  committed
  6feded5

Commits on Dec 1, 2022

• Upgrade resolver to LTS 20.2, mv baby-l4-core into main tree, deprecate SmtSBV and some LSP

  Show description for 8d8b1d8
  mengwong

  committed
  8d8b1d8

• Merge branch 'main' into smtgen

  mengwong

  committed
  bfb56a1

Commits on Nov 30, 2022

• bump to LTS20.2 requires pinning Cabal 3.6.3.0 not the (mis-)recommended 3.8.1.0

  Show description for e8209b5
  mengwong

  committed
  e8209b5

• Merge branch 'dmn' into smtgen

  johsi-k

  committed
  ba0576b

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 Nov 24, 2022

• upgrade stack version to LTS 18

  Show description for ba98e56
  mengwong

  committed
  ba98e56

Commits on Nov 21, 2022

• made ToASP independent from typing of programs

  Martin-Strecker

  committed
  45149ce

Commits on Nov 14, 2022

• edit to make it more like manually written code

  AvishkarMahajan

  committed
  3dd4f0f

Commits on Nov 11, 2022

• add links to some information about the motor insurance use case

  mengwong

  committed
  8a35d67

Commits on Nov 7, 2022

• move hxtread into ToDMN

  Show description for e4f1866
  johsi-k

  committed
  e4f1866

• make xml output kogito-compatible

  johsi-k

  committed
  12b30a1

Commits on Oct 7, 2022

• give each tag its own integer range

  mengwong

  committed
  73f6e86

• switch from random IDs to integer IDs. switch to State monad.

  mengwong

  committed
  0e7e247

• switch from monadic to applicative syntax where appropriate

  mengwong

  committed
  091b824

• rephrase to monadic for to allow insertion of random ID strings

  mengwong

  committed
  1fb2d2d

• introduce pseudorandom ids non-monadically

  johsi-k

  committed
  a540ad1

Commits on Oct 3, 2022

• primitive decision as xml

  johsi-k

  committed
  ed2ca74

Commits on Sep 21, 2022

• use aspRulesNoFact as per debugging session yesterday

  mengwong

  committed
  e7966c5

Commits on Sep 19, 2022

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

  mengwong

  committed
  1858b51

Commits on Sep 13, 2022

• Transpiler to epilog

  AvishkarMahajan

  authored
  5988fc1

Commits on Aug 22, 2022

• add pickler for decision rule

  johsi-k

  committed
  7b247c4

Commits on Aug 19, 2022

• Latest ASP transpiler, able to deal with global vars

  AvishkarMahajan

  authored
  3a59708

• Delete ToASP.hs

  AvishkarMahajan

  authored
  a680cec

Pagination

PreviousNext