Code

Updates#21

Code

Merged

francescofuggitti merged 23 commits intomasterwhitemech/FOND4LTLf:masterfrom developwhitemech/FOND4LTLf:developCopy head branch name to clipboardNov 3, 2024

+983-8,764

Commits

Commits on Nov 7, 2022

• Fix in parser

  LBonassi95

  committed
  a4577db

  Copy full SHA for a4577db

• Removed disjunctions from trans actions

  LBonassi95

  committed
  fdcf481

  Copy full SHA for fdcf481

Commits on Nov 9, 2022

• Fixed parser + allow no-actions in the domain

  LBonassi95

  committed
  db09a57

  Copy full SHA for db09a57

• Fix for beamwalk

  LBonassi95

  committed
  71d94e2

  Copy full SHA for 71d94e2

• Update fond4ltlfpltlf/automa/automaton.py

  Show description for 935db5c
  

  LBonassi95

  and

  francescofuggitti

  authored
  935db5c

  Copy full SHA for 935db5c

• Update fond4ltlfpltlf/automa/automaton.py

  francescofuggitti

  authored
  2eb5198

  Copy full SHA for 2eb5198

• Update fond4ltlfpltlf/automa/automaton.py

  francescofuggitti

  authored
  801c139

  Copy full SHA for 801c139

Commits on Nov 1, 2024

• Merge pull request #16 from LBonassi95/master

  Show description for 851539a
  francescofuggitti

  authored
  851539a

  Copy full SHA for 851539a

• remove codecov

  francescofuggitti

  committed
  5af4660

  Copy full SHA for 5af4660

• chore: update name throughout the package

  francescofuggitti

  committed
  61c792d

  Copy full SHA for 61c792d

• chore: update package name

  francescofuggitti

  committed
  b0046e5

  Copy full SHA for b0046e5

• remove pipenv and setup, add pyproject, apply format

  francescofuggitti

  committed
  82ddd75

  Copy full SHA for 82ddd75

• update Dockerfile, fix tox.ini

  francescofuggitti

  committed
  490de5c

  Copy full SHA for 490de5c

Commits on Nov 2, 2024

• add python3.9 to tox.ini and update github workflows

  francescofuggitti

  committed
  ff41a4d

  Copy full SHA for ff41a4d

• Resolve merge conflicts

  francescofuggitti

  committed
  e0f62cd

  Copy full SHA for e0f62cd

• Update README

  francescofuggitti

  committed
  01dc4b6

  Copy full SHA for 01dc4b6

• remove parser debug and tab files

  francescofuggitti

  committed
  8de951a

  Copy full SHA for 8de951a

• add main console script to pyproject

  francescofuggitti

  committed
  cb15641

  Copy full SHA for cb15641

• keep generation with disjunctive preconds, add a flag to control it, fix tests

  francescofuggitti

  committed
  821fb14

  Copy full SHA for 821fb14

Commits on Nov 3, 2024

• apply formatting to parser, fix typo in project.toml and format robot-coffee domain

  francescofuggitti

  committed
  1e03b75

  Copy full SHA for 1e03b75

• Fix bug on typed list of types

  francescofuggitti

  committed
  2dff3eb

  Copy full SHA for 2dff3eb

• fix workflow coverage update

  francescofuggitti

  committed
  27a23e6

  Copy full SHA for 27a23e6

• Merge pull request #20 from whitemech/fix/update

  Show description for dae06d4
  francescofuggitti

  authored
  dae06d4

  Copy full SHA for dae06d4