Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 21, 2024

• versio 0.5.4 - ready for JaCaMo 1.3.0

  maiquelb

  committed
  fe1b528

  Copy full SHA for fe1b528

• Merge pull request #32 from artificial-institutions/sai_sanctions

  Show description for b75c39d
  maiquelb

  authored
  b75c39d

  Copy full SHA for b75c39d

• minor changes

  maiquelb

  committed
  5cd0ad7

  Copy full SHA for 5cd0ad7

Commits on Oct 14, 2024

• update sai version to 0.5.5

  maiquelb

  committed
  0295e92

  Copy full SHA for 0295e92

• update sanctions example

  maiquelb

  committed
  74beedd

  Copy full SHA for 74beedd

Commits on Sep 17, 2024

• Merge pull request #31 from artificial-institutions/master

  Show description for dbee019
  maiquelb

  authored
  dbee019

  Copy full SHA for dbee019

Commits on Sep 16, 2024

• handle variables in arguments of event- and state-SFs of constitutive program

  maiquelb

  committed
  cca36da

  Copy full SHA for cca36da

• Merge pull request #29 from artificial-institutions/master

  Show description for d81d0ef
  maiquelb

  authored
  d81d0ef

  Copy full SHA for d81d0ef

Commits on Sep 9, 2024

• relpace DeonticModality by NormInstance

  maiquelb

  committed
  61e7f49

  Copy full SHA for 61e7f49

• update build.gradle

  maiquelb

  committed
  b0686e4

  Copy full SHA for b0686e4

Commits on Sep 4, 2024

• Merge branch 'master' of https://github.com/artificial-institutions/sai

  maiquelb

  committed
  649ca86

  Copy full SHA for 649ca86

• update build-a-house example to jacamo 1.2

  maiquelb

  committed
  ee0f0c7

  Copy full SHA for ee0f0c7

Commits on Dec 13, 2023

• udpate sanction demo for new NPL

  jomifred

  committed
  ac02e32

  Copy full SHA for ac02e32

Commits on Dec 8, 2023

• add missing files

  maiquelb

  committed
  126ff2c

  Copy full SHA for 126ff2c

• update library versions in examples

  maiquelb

  committed
  0baedb2

  Copy full SHA for 0baedb2

• institutional reasoner: include combine termX and termM in context formula of state-sf constitution

  maiquelb

  committed
  c091636

  Copy full SHA for c091636

• Merge pull request #24 from artificial-institutions/sai_sanctions

  Show description for 6cc6b50
  maiquelb

  authored
  6cc6b50

  Copy full SHA for 6cc6b50

• support NPL sanctions

  maiquelb

  committed
  11e1b23

  Copy full SHA for 11e1b23

• change the rule for constituting state-sf: check the X-term before the M-term

  maiquelb

  committed
  9f3f4e1

  Copy full SHA for 9f3f4e1

Commits on Nov 30, 2023

• adapt examples to jacamo 1.3-snapshot

  maiquelb

  committed
  d2a60f2

  Copy full SHA for d2a60f2

• Merge pull request #22 from artificial-institutions/sai_sanctions

  Show description for 5adf917
  maiquelb

  authored
  5adf917

  Copy full SHA for 5adf917

• adapt SAI to NPL 0.6-SNAPSHOT (including sanctions)

  maiquelb

  committed
  23cded8

  Copy full SHA for 23cded8

Commits on Nov 28, 2023

• Merge pull request #21 from artificial-institutions/develop

  Show description for 77985aa
  maiquelb

  authored
  77985aa

  Copy full SHA for 77985aa

Commits on Nov 27, 2023

• add test Npl2SaiTest

  maiquelb

  committed
  dbab36d

  Copy full SHA for dbab36d

• fix removal of event-SFA in Npl2Sai

  maiquelb

  committed
  14a3471

  Copy full SHA for 14a3471

Commits on Nov 24, 2023

• Merge pull request #18 from artificial-institutions/master

  Show description for 21c6601
  maiquelb

  authored
  21c6601

  Copy full SHA for 21c6601

Commits on Nov 16, 2023

• update sai_npl examples

  maiquelb

  committed
  302c4e3

  Copy full SHA for 302c4e3

Commits on Oct 25, 2023

• Create README.md

  maiquelb

  authored
  130e948

  Copy full SHA for 130e948

Commits on Oct 24, 2023

• update tests

  maiquelb

  committed
  4c31236

  Copy full SHA for 4c31236

• add tests folder

  maiquelb

  committed
  7d44c6c

  Copy full SHA for 7d44c6c

• update build.gradle

  maiquelb

  committed
  9d7a1d3

  Copy full SHA for 9d7a1d3

Commits on Oct 23, 2023

• Merge pull request #17 from artificial-institutions/develop

  Show description for 31f4cd6
  maiquelb

  authored
  31f4cd6

  Copy full SHA for 31f4cd6

• increase failure time in constitutive reasoner test

  maiquelb

  committed
  d5ca548

  Copy full SHA for d5ca548

• add suport to list in arguments of events in constitutive rules - part 2

  maiquelb

  committed
  a683515

  Copy full SHA for a683515

• add suport to list in arguments of events in constitutive rules

  maiquelb

  committed
  b1cf5a6

  Copy full SHA for b1cf5a6

Pagination

Previous

Next