Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 31, 2024

• Update README.md

  joewatt95

  authored
  45ee081

Commits on May 27, 2024

• Merge branch 'LogicalContracts:main' into main

  joewatt95

  authored
  ebb6ab9

Commits on May 22, 2024

• Adding the ontology section. Its content goes to the kb

  jacintodavila

  committed
  9a4a7a3

Commits on May 8, 2024

• Merge branch 'LogicalContracts:main' into main

  joewatt95

  authored
  fbdc4ba

Commits on May 7, 2024

• fix error_notice error

  mcalejo

  committed
  97c4200

Commits on May 5, 2024

• Merge pull request LogicalContracts#35 from LegalMachineLab/wasm

  Show description for 7b95d66
  jacintodavila

  authored
  7b95d66

• Fix error in check

  LyzardKing

  committed
  26be086

• Merge pull request LogicalContracts#34 from LegalMachineLab/wasm

  Show description for 36a9ee3
  jacintodavila

  authored
  36a9ee3

• Add checks for wasm support

  LyzardKing

  committed
  13e4133

Commits on Apr 29, 2024

• update workflow actions

  joewatt95

  committed
  26039bc

• Merge branch 'LogicalContracts:main' into main

  joewatt95

  authored
  11eec34

Commits on Apr 28, 2024

• Merge pull request LogicalContracts#33 from LegalMachineLab/main

  Show description for 326c899
  jacintodavila

  authored
  326c899

Commits on Apr 27, 2024

• Add predicate to return a list with the explanation

  LyzardKing

  committed
  76efb70

Commits on Jan 16, 2024

• Merge branch 'LogicalContracts:main' into main

  joewatt95

  authored
  4ff123f

Commits on Dec 10, 2023

• Adding conditional compilation to avoid installing R

  jacintodavila

  committed
  f738107

Commits on Dec 5, 2023

• Fix ECR image name (#11)

  kharus

  authored
  2c0ddbb

• Upload to ECR (#10)

  Show description for 382745f
  kharus

  authored
  382745f

Commits on Nov 23, 2023

• Update the docker setup in README

  ym-han

  committed
  1e4c2bf

Commits on Oct 16, 2023

• add is the number of

  joewatt95

  committed
  4eef66e

• add set of all predicate

  joewatt95

  committed
  387608c

Commits on Oct 11, 2023

• more fixes

  joewatt95

  committed
  b8dde05

• fix within

  joewatt95

  committed
  a0c8746

• fix within dates

  joewatt95

  committed
  bfd3686

Commits on Oct 3, 2023

• Merge pull request #9 from smucclaw/date-time-within

  Show description for 86cd79f
  joewatt95

  authored
  86cd79f

• Add support for within in date time lib

  joewatt95

  committed
  10a4466

Commits on Sep 18, 2023

• Merge branch 'LogicalContracts:main' into main

  joewatt95

  authored
  2fc9c2a

Commits on Sep 14, 2023

• Date-time-lib (#8)

  joewatt95

  authored
  7d1fb12

Commits on Sep 12, 2023

• Updating FE parser and example

  jacintodavila

  committed
  9bb6284

Commits on Sep 11, 2023

• Build docker from swish:master instead

  joewatt95

  committed
  4da3fe8

Commits on Aug 16, 2023

• Disallow single quotes for strings

  joewatt95

  committed
  e643681

• Update README with pre-packaged docker instructions (#7)

  kharus

  authored
  bfd33ab

• Merge branch 'LogicalContracts:main' into main

  joewatt95

  authored
  2068137

Commits on Aug 15, 2023

• Merge pull request LogicalContracts#31 from LogicalContracts/wuenic_extensions

  Show description for 6364500
  jacintodavila

  authored
  6364500

• remove redundant code & fixed a bug in meta-predicates

  MigadaTang

  committed
  f1596e6

• add not equal to

  joewatt95

  committed
  3b7354e

Pagination

PreviousNext