v0.0.7

Features

• validator: evaluation of an expression #85 (Roland Godet)
• validator: check conditions #85 (Roland Godet)
• validator: effect expression evaluation #85 (Roland Godet)
• validator: action application #85 (Roland Godet)
• validator: add the procedures #85 (Roland Godet)
• validator: add exists and forall procedures #85 (Roland Godet)
• validator: create lt procedure #85 (Roland Godet)
• validator: create iff procedure #85 (Roland Godet)
• validator: add new procedures in env #85 (Roland Godet)
• validator: handle hierarchical types #85 (Roland Godet)
• validator: check the goal is reached #85 (Roland Godet)
• validator: handle temporal problems #85 (Roland Godet)
• grpc: support of the validation #85 (Roland Godet)
• backtrack: Expose a decision level tracker that implement Backtrack. (Arthur Bit-Monnot)
• up: create Aries validator engine #85 (Roland Godet)
• provide branching combinators in main crate (Arthur Bit-Monnot)
• make lexical brancher support optional variables (Arthur Bit-Monnot)
• search: Expose lexical brancher. (Arthur Bit-Monnot)
• validator: check that the problem kind is supported #85 (Roland Godet)
• validator: convert a list of actions into a list of durative actions #85 (Roland Godet)
• Support API for providing constraint decomposition. (Arthur Bit-Monnot)
• validator: calculation of the start and the end of a method #85 (Roland Godet)
• utils: Introduce the Seq trait for accepting a range of collection patterns on the calling site. (Arthur Bit-Monnot)
• sat: Support scoped clause with eager propagation in sat solver. (Arthur Bit-Monnot)
• solver: Allow defining the scope of all constraint when enforcing them. (Arthur Bit-Monnot)
• validator: check task constraints with a CSP #85 (Roland Godet)
• up: Add support for external conditions and effects. #85 (Arthur Bit-Monnot)
• up: Support Anytime planning operation mode. #86 (Arthur Bit-Monnot)

Bug Fixes

• validator: expression evaluation issues #85 (Roland Godet)
• validator: duplicate changes on a state variable caused by conditional effects #85 (Roland Godet)
• validator: function application #85 (Roland Godet)
• validator: condition verification #85 (Roland Godet)
• validator: disable doctest for generate_tests macro doc #85 (Roland Godet)
• validator: stop to panic if bins folder does not exist #85 (Roland Godet)
• up: binaries creation #85 (Roland Godet)
• validator: check the duration in the plan match the duration of the problem #85 (Roland Godet)
• up: bin folders creation #85 (Roland Godet)
• val: Avoid panicking on protobuf update (+ more helpful error message). #85 (Arthur Bit-Monnot)
• val: remove claimed support of task network variables and constraints. #85 (Arthur Bit-Monnot)
• ci: Make sure environment variables are correctly set #85 (Arthur Bit-Monnot)

Code Refactoring

• validator: usage of traits #85 (Roland Godet)
• validator: change the signature of validate() #85 (Roland Godet)
• move backtrack #84 (Arthur Bit-Monnot)
• transfer utils #84 (Arthur Bit-Monnot)
• transfer core #84 (Arthur Bit-Monnot)
• transfer model #84 (Arthur Bit-Monnot)
• stn #84 (Arthur Bit-Monnot)
• cp #84 (Arthur Bit-Monnot)
• sat #84 (Arthur Bit-Monnot)
• examples #84 (Arthur Bit-Monnot)
• planning #84 (Arthur Bit-Monnot)
• Reorganize modules and fix related clippy lints #84 (Arthur Bit-Monnot)
• validator: move parameters from conditions and effects to actions #85 (Roland Godet)
• validator: remove unnecessary traits #85 (Roland Godet)
• validator: create Durative trait #85 (Roland Godet)
• validator: create Configurable trait #85 (Roland Godet)

Tests

• validator: implement valid tests #85 (Roland Godet)
• validator: update problems #85 (Roland Godet)
• validator: update bins location #85 (Roland Godet)
• validator: set verbose from environment variable #85 (Roland Godet)
• validator: test all problems defined in unified planning #85 (Roland Godet)
• validator: make integration tests easier to debug #85 (Roland Godet)
• validator: check nested exists and forall procedures #85 (Roland Godet)

Builds

• validator: adapt dependencies after a rebase on master #85 (Roland Godet)

Continuous Integration

• clippy warnings and errors #85 (Roland Godet)
• clippy warnings #85 (Roland Godet)
• build unified planning problem binaries before unit tests #85 (Roland Godet)
• install unified planning python dependencies #85 (Roland Godet)
• Add test script for UP integration. #85 (Arthur Bit-Monnot)
• run new integration tests in CI #85 (Arthur Bit-Monnot)
• remove outdated test. (Arthur Bit-Monnot)

Chores

• validator: first draft #85 (Arthur Bit-Monnot)
• validator: create the initial env #85 (Roland Godet)
• validator: create the initial state #85 (Roland Godet)
• validator: conversion from up expression into expression #85 (Roland Godet)
• validator: use trait for expression extension #85 (Roland Godet)
• validator: implement the validation function #85 (Roland Godet)
• validator: add a simple verbose mode #85 (Roland Godet)
• validator: handle clippy warnings #85 (Roland Godet)
• validator: handle clippy warnings #85 (Roland Godet)
• validator: refactor and add unit tests #85 (Roland Godet)
• validator: create goal struct and its iterator #85 (Roland Godet)
• validator: use modules for UPF factories #85 (Roland Godet)
• ignore python virtual environment #85 (Roland Godet)
• ignore pycache folders #85 (Roland Godet)
• run linters #85 (Roland Godet)
• up: merge Aries and AriesDev #85 (Roland Godet)
• search: Expose Brancher type alias. (Arthur Bit-Monnot)
• up: create base Aries engine #85 (Roland Godet)
• up: update protobuf for hierarchical plans #85 (Roland Godet)
• up: export plans with problems & ignore generated bins #85 (Roland Godet)
• clippy #85 (Roland Godet)
• up: set git submodule tracking master branch #85 (Roland Godet)
• up: set submodule on hierarchical-plan branch #85 (Roland Godet)
• validator: add id to actions #85 (Roland Godet)
• change bound representation #84 (Arthur Bit-Monnot)
• svar renaming #84 (Arthur Bit-Monnot)
• Remobe neg on UpperBound #84 (Arthur Bit-Monnot)
• move sat solver to reasoners. (Arthur Bit-Monnot)
• Make reasoners available non-generically in solver. (Arthur Bit-Monnot)
• Remove unnecessary TheorySolver wrapper. (Arthur Bit-Monnot)
• Move reasoner abstractions to solver/reasoners. (Arthur Bit-Monnot)
• Remove sat special casing in propagation. (Arthur Bit-Monnot)
• Change encoding mechanism of constraints. (Arthur Bit-Monnot)
• validator: build the root tasks of the hierarchy #85 (Roland Godet)
• Support linear constraint in new constraint API. (Arthur Bit-Monnot)
• validator: count actions in plan and hierarchy decomposition #85 (Roland Godet)
• validator: create CSP constraints and variables for method timepoints #85 (Roland Godet)
• Allow passing Lit in addition to VarRef to some Domains' methods. (Arthur Bit-Monnot)
• merge branch 'master' into 'validation' #85 (Roland Godet)
• clippy #85 (Roland Godet)
• up: remove binary protobuf problems from the repository. #85 (Arthur Bit-Monnot)
• val: update UP version. #85 (Arthur Bit-Monnot)
• up: Update protobuf version #85 (Arthur Bit-Monnot)
• val: Remove previous integration tests #85 (Arthur Bit-Monnot)

Reverts

• 5f5b252: put up bins back, they are needed for ci #85 (Roland Godet)

Commits

• 11ab60a: refactor(validator)!: Stop using Try[From|Into] and [Action|Goal]Iter (Roland Godet) #85
• b98bbee: refactor(validator)!: transform goals into conditions (Roland Godet) #85
• Document brancher combinators. (Arthur Bit-Monnot)
• Lit #84 (Arthur Bit-Monnot)
• 62ca9e8: chore Lit clean up (Arthur Bit-Monnot) #84
• f59de07: refactor transfer collections (Arthur Bit-Monnot) #84
• 8713ce7: refactor solver (Arthur Bit-Monnot) #84
• e3a7c4c: reformat (Arthur Bit-Monnot) #84
• Fix clippy lints #84 (Arthur Bit-Monnot)
• e333879: Merge branch 'master' into cleanup-brancher (Arthur Bit-Monnot)
• Improve README of unified planning integration. #85 (Arthur Bit-Monnot)