CHANGELOG.md
LICENSE
MANIFEST.in
README.md
pyproject.toml
pytest.ini
requirements-dev.txt
requirements.txt
setup.py
examples/handover.rob
examples/inspect_object.rob
examples/pick_and_place.rob
examples/pick_and_place_v13.rob
examples/world.json
examples/plans/park_robot.rob
examples/plans/relocate_box.rob
legacy/robolang_adapter.py
legacy/robolang_adapter_ros2.py
legacy/robolang_ros2_main.py
legacy/robolang_runtime.py
legacy/robolang_std_v1.rob
spec/core-v0.1.md
spec/core-v0.2-draft.md
spec/delegate-v0.1.md
spec/delegate-v0.2.md
spec/export-goal-v0.1.md
spec/grammar-v1.2.ebnf
spec/grammar-v1.3.ebnf
spec/grammar-v1.4.ebnf
spec/grammar.ebnf
spec/interop-gate-2-v0.1.md
spec/ir-reader-v0.1.md
spec/ir-schema-v1.0.md
spec/ir-schema-v1.1.md
spec/ir-schema-v1.2.md
spec/ir-schema-v1.3.md
spec/reference-simulation-v0.1.md
spec/robolang-v1.1.md
spec/robolang-v1.2.md
spec/robolang-v1.3.md
spec/robolang-v1.4.md
spec/simulation-v1.0.md
spec/architecture/ai-first-language-charter.md
spec/architecture/rfc-001-ai-native-architecture.md
spec/architecture/rl-foundation-01-language-foundation.md
spec/architecture/rl-foundation-02-domain-contracts.md
spec/core/capability-descriptor-0.1.schema.json
spec/core/message-0.1.schema.json
spec/decisions/0001-rl-11a-language-decisions.md
spec/decisions/0002-ai-native-architecture.md
spec/decisions/0003-language-foundation.md
spec/decisions/0004-rl-basic-01a-simulation-semantics.md
spec/decisions/0005-ai-first-charter-and-domain-contracts.md
spec/decisions/0006-lang-1-combined-conditions.md
spec/decisions/0007-rl-arch-02-core-and-reference-simulation.md
spec/decisions/0008-core-sequencing-per-recipient.md
spec/decisions/0009-gate-2-independent-interoperability.md
spec/decisions/0010-binding-errata-lease-expired-commitment-state.md
spec/decisions/0011-interop-2a-bundle-errata.md
spec/decisions/0012-interop-2c-remaining-normative-decisions.md
spec/decisions/0013-h3-receiver-scoped-verification-keys.md
spec/decisions/0014-lang-2-goals-and-typed-sensors.md
spec/decisions/0015-report-all-diagnostics.md
spec/decisions/0016-cli-bindings.md
spec/decisions/0017-reprioritise-goals-before-interop-3.md
spec/decisions/0018-core-shaped-outcomes.md
spec/decisions/0019-export-goal.md
spec/decisions/0020-delegate.md
spec/decisions/0021-core-1-ir-reader.md
spec/decisions/0022-delegate-custody-and-leases.md
spec/decisions/0023-keep-interop-3-deferred.md
spec/decisions/0024-authoring-benchmark.md
spec/decisions/0025-bench-2.md
spec/decisions/0026-validate-world.md
spec/decisions/0027-bounded-branching.md
spec/decisions/0028-core-0-2-scope.md
src/robolang/__init__.py
src/robolang/__main__.py
src/robolang/bridge.py
src/robolang/cli.py
src/robolang/delegate.py
src/robolang/delegate_peer.py
src/robolang/diagnostics.py
src/robolang/export_goal.py
src/robolang/ir.py
src/robolang/ir_reader.py
src/robolang/lexer.py
src/robolang/nodes.py
src/robolang/parser.py
src/robolang/paths.py
src/robolang/tokens.py
src/robolang/validator.py
src/robolang.egg-info/PKG-INFO
src/robolang.egg-info/SOURCES.txt
src/robolang.egg-info/dependency_links.txt
src/robolang.egg-info/entry_points.txt
src/robolang.egg-info/requires.txt
src/robolang.egg-info/top_level.txt
src/robolang/arch02/__init__.py
src/robolang/arch02/engine.py
src/robolang/arch02/evidence.py
src/robolang/arch02/participants.py
src/robolang/arch02/record.py
src/robolang/arch02/scenario.py
src/robolang/arch02/world.py
src/robolang/core/__init__.py
src/robolang/core/canonical.py
src/robolang/core/reader.py
src/robolang/core/receiver.py
src/robolang/core/schema.py
src/robolang/core/signatures.py
src/robolang/core/schemas/capability-descriptor-0.1.schema.json
src/robolang/core/schemas/message-0.1.schema.json
src/robolang/reference/language-reference.md
src/robolang/sim/__init__.py
src/robolang/sim/check.py
src/robolang/sim/executor.py
src/robolang/sim/outcome.py
src/robolang/sim/record.py
src/robolang/sim/values.py
src/robolang/sim/world.py
tests/conftest.py
tests/core_precedence.py
tests/test_adapter.py
tests/test_all_diagnostics.py
tests/test_arch02.py
tests/test_arch02_corrections.py
tests/test_arch02_fixtures.py
tests/test_arch02_golden.py
tests/test_arch02_record.py
tests/test_bench.py
tests/test_bench_ask.py
tests/test_bench_branch.py
tests/test_bench_gate.py
tests/test_bench_hard.py
tests/test_bridge.py
tests/test_cli.py
tests/test_core.py
tests/test_core_outcome.py
tests/test_core_precedence.py
tests/test_delegate.py
tests/test_delegate_peer.py
tests/test_examples.py
tests/test_export_goal.py
tests/test_fixtures.py
tests/test_h3_trust.py
tests/test_interop.py
tests/test_interop_bundle.py
tests/test_interop_harness.py
tests/test_interop_spec.py
tests/test_ir.py
tests/test_ir_reader.py
tests/test_known_limitations.py
tests/test_lang1.py
tests/test_lang14.py
tests/test_lang2.py
tests/test_lexer.py
tests/test_packaging.py
tests/test_parser.py
tests/test_reference.py
tests/test_runtime_smoke.py
tests/test_sim14.py
tests/test_sim_cli.py
tests/test_sim_cli_bind.py
tests/test_sim_executor.py
tests/test_sim_values.py
tests/test_sim_world.py
tests/test_simulation_fixtures.py
tests/test_v1_2_fixtures.py
tests/test_v1_3_fixtures.py
tests/test_validate_world.py
tests/test_validator.py
tests/fixtures/README.md
tests/fixtures/arch02/README.md
tests/fixtures/arch02/cases.json
tests/fixtures/arch02/golden_records.json
tests/fixtures/arch02/scenario.json
tests/fixtures/arch02/sequencing_cases.json
tests/fixtures/core/README.md
tests/fixtures/core/cases.json
tests/fixtures/core/context.json
tests/fixtures/core/invalid/c101_byte_order_mark.json
tests/fixtures/core/invalid/c101_duplicate_key.json
tests/fixtures/core/invalid/c101_non_integer_number.json
tests/fixtures/core/invalid/c102_before_c106.json
tests/fixtures/core/invalid/c102_before_c107.json
tests/fixtures/core/invalid/c102_before_c201.json
tests/fixtures/core/invalid/c102_before_c402.json
tests/fixtures/core/invalid/c102_unsupported_version.json
tests/fixtures/core/invalid/c103_before_c104.json
tests/fixtures/core/invalid/c103_unknown_field.json
tests/fixtures/core/invalid/c104_goal_without_criteria.json
tests/fixtures/core/invalid/c104_missing_field.json
tests/fixtures/core/invalid/c105_before_c201.json
tests/fixtures/core/invalid/c105_unknown_type.json
tests/fixtures/core/invalid/c106_before_c201.json
tests/fixtures/core/invalid/c106_reserved_type.json
tests/fixtures/core/invalid/c107_profile_mismatch.json
tests/fixtures/core/invalid/c201_before_c107.json
tests/fixtures/core/invalid/c201_before_c402.json
tests/fixtures/core/invalid/c201_unsigned.json
tests/fixtures/core/invalid/c202_message_before_c203_observation.json
tests/fixtures/core/invalid/c202_wrong_signature.json
tests/fixtures/core/invalid/c203_before_c202.json
tests/fixtures/core/invalid/c203_key_not_the_senders.json
tests/fixtures/core/invalid/c203_message_before_c204_observation.json
tests/fixtures/core/invalid/c204_before_c203_before_c202.json
tests/fixtures/core/invalid/c204_simulation_signature_in_physical_mode.json
tests/fixtures/core/invalid/c301_before_c307.json
tests/fixtures/core/invalid/c301_expired.json
tests/fixtures/core/invalid/c302_before_c301.json
tests/fixtures/core/invalid/c302_before_c303.json
tests/fixtures/core/invalid/c302_lifetime_too_long.json
tests/fixtures/core/invalid/c303_before_c307.json
tests/fixtures/core/invalid/c303_sent_in_the_future.json
tests/fixtures/core/invalid/c307_wrong_recipient.json
tests/fixtures/core/invalid/c401_requester_authorizes_its_own_goal.json
tests/fixtures/core/invalid/c402_succeeded_with_unmet_criterion.json
tests/fixtures/core/invalid/c402_succeeded_without_verification.json
tests/fixtures/core/invalid/c404_physical_mode.json
tests/fixtures/core/valid/assessment.json
tests/fixtures/core/valid/authorization_decision.json
tests/fixtures/core/valid/commit.json
tests/fixtures/core/valid/custody_confirmed.json
tests/fixtures/core/valid/descriptor_amr_07.json
tests/fixtures/core/valid/descriptor_arm_02.json
tests/fixtures/core/valid/outcome_succeeded.json
tests/fixtures/core/valid/propose_goal.json
tests/fixtures/invalid/e101_block_comment.rob
tests/fixtures/invalid/e101_name_starts_with_underscore.rob
tests/fixtures/invalid/e101_negative_number.rob
tests/fixtures/invalid/e101_unexpected_character.rob
tests/fixtures/invalid/e102_escaped_closing_quote.rob
tests/fixtures/invalid/e102_unterminated_string.rob
tests/fixtures/invalid/e103_malformed_number.rob
tests/fixtures/invalid/e103_version_with_three_parts.rob
tests/fixtures/invalid/e104_unknown_escape.rob
tests/fixtures/invalid/e201_duplicate_version_marker.rob
tests/fixtures/invalid/e201_missing_keyword.rob
tests/fixtures/invalid/e201_nested_block.rob
tests/fixtures/invalid/e201_statement_outside_plan.rob
tests/fixtures/invalid/e201_trailing_tokens.rob
tests/fixtures/invalid/e201_version_marker_after_task.rob
tests/fixtures/invalid/e202_missing_semicolon_annotation.rob
tests/fixtures/invalid/e202_missing_semicolon_condition.rob
tests/fixtures/invalid/e202_missing_semicolon_statement.rob
tests/fixtures/invalid/e202_missing_semicolon_version.rob
tests/fixtures/invalid/e203_prefix_is_not_a_statement.rob
tests/fixtures/invalid/e203_unknown_statement.rob
tests/fixtures/invalid/e204_unknown_condition.rob
tests/fixtures/invalid/e205_unknown_parameter_type.rob
tests/fixtures/invalid/e206_duration_without_unit.rob
tests/fixtures/invalid/e206_timeout_without_unit.rob
tests/fixtures/invalid/e206_unknown_duration_unit.rob
tests/fixtures/invalid/e206_unknown_speed_unit.rob
tests/fixtures/invalid/e207_unknown_safety_key.rob
tests/fixtures/invalid/e208_duplicate_plan.rob
tests/fixtures/invalid/e208_empty_plan.rob
tests/fixtures/invalid/e208_missing_plan.rob
tests/fixtures/invalid/e208_pre_after_plan.rob
tests/fixtures/invalid/e208_safety_after_pre.rob
tests/fixtures/invalid/e209_inspect_with_instead_of_using.rob
tests/fixtures/invalid/e209_inspect_without_sensor.rob
tests/fixtures/invalid/e209_wait_until_without_timeout.rob
tests/fixtures/invalid/e210_no_task.rob
tests/fixtures/invalid/e211_action_level_safety.rob
tests/fixtures/invalid/e211_message_received.rob
tests/fixtures/invalid/e211_move_modifiers.rob
tests/fixtures/invalid/e211_no_go_region.rob
tests/fixtures/invalid/e211_scalar_parameter.rob
tests/fixtures/invalid/e212_reserved_word_as_parameter.rob
tests/fixtures/invalid/e212_reserved_word_as_task_name.rob
tests/fixtures/invalid/e212_robolang_as_name.rob
tests/fixtures/invalid/e213_older_version.rob
tests/fixtures/invalid/e213_unsupported_version.rob
tests/fixtures/invalid/e301_duplicate_task.rob
tests/fixtures/invalid/e302_duplicate_parameter.rob
tests/fixtures/invalid/e303_undeclared_name.rob
tests/fixtures/invalid/e303_undeclared_name_in_pre.rob
tests/fixtures/invalid/e304_wrong_kind_in_condition.rob
tests/fixtures/invalid/e304_wrong_kind_swapped_arguments.rob
tests/fixtures/invalid/e305_zero_max_speed.rob
tests/fixtures/invalid/e305_zero_timeout.rob
tests/fixtures/invalid/e306_duplicate_angular_limit.rob
tests/fixtures/invalid/e306_duplicate_linear_limit.rob
tests/fixtures/invalid/e306_duplicate_unitless_limit.rob
tests/fixtures/invalid/e307_empty_string.rob
tests/fixtures/invalid/e308_explicit_then_unitless.rob
tests/fixtures/invalid/e308_unitless_then_explicit.rob
tests/fixtures/ir_invalid/I101_not_utf8.json
tests/fixtures/ir_invalid/I102_not_json.json
tests/fixtures/ir_invalid/I103_duplicate_key.json
tests/fixtures/ir_invalid/I104_float.json
tests/fixtures/ir_invalid/I110_wrong_type.json
tests/fixtures/ir_invalid/I111_missing_field.json
tests/fixtures/ir_invalid/I112_unknown_field.json
tests/fixtures/ir_invalid/I113_unknown_schema_version.json
tests/fixtures/ir_invalid/I114_unknown_kind.json
tests/fixtures/ir_invalid/I115_and_in_schema_1_0.json
tests/fixtures/ir_invalid/I116_bad_decimal.json
tests/fixtures/ir_invalid/I117_bad_unit.json
tests/fixtures/ir_invalid/I118_bad_name.json
tests/fixtures/ir_invalid/I119_surrogate.json
tests/fixtures/ir_invalid/I120_no_steps.json
tests/fixtures/ir_invalid/I121_condition_too_deep.json
tests/fixtures/ir_invalid/I122_nested_and.json
tests/fixtures/ir_invalid/I123_if_too_deep.json
tests/fixtures/ir_invalid/I201_duplicate_task.json
tests/fixtures/ir_invalid/I202_duplicate_parameter.json
tests/fixtures/ir_invalid/I203_undeclared_name.json
tests/fixtures/ir_invalid/I204_wrong_type.json
tests/fixtures/ir_invalid/I205_zero_duration.json
tests/fixtures/ir_invalid/I206_duplicate_limit.json
tests/fixtures/ir_invalid/I207_empty_string.json
tests/fixtures/ir_invalid/I208_unitless_with_unit.json
tests/fixtures/ir_invalid/I209_missing_goal.json
tests/fixtures/ir_invalid/I210_string_sensor.json
tests/fixtures/ir_invalid/I212_min_confidence_above_one.json
tests/fixtures/ir_invalid/I213_empty_verify.json
tests/fixtures/ir_invalid/I214_fail_not_last.json
tests/fixtures/ir_invalid/I215_fail_reason_too_long.json
tests/fixtures/ir_invalid/expected.json
tests/fixtures/ir_invalid/valid_1_0.json
tests/fixtures/ir_invalid/valid_1_2.json
tests/fixtures/simulation/README.md
tests/fixtures/simulation/cases.json
tests/fixtures/simulation/sources/inspect_box.rob
tests/fixtures/simulation/sources/move_only.rob
tests/fixtures/simulation/sources/move_with_limit.rob
tests/fixtures/simulation/sources/place_elsewhere.rob
tests/fixtures/simulation/sources/place_without_grasp.rob
tests/fixtures/simulation/sources/two_tasks.rob
tests/fixtures/simulation/sources/wait_for_region.rob
tests/fixtures/simulation/worlds/base.json
tests/fixtures/simulation/worlds/binding_extra.json
tests/fixtures/simulation/worlds/binding_missing.json
tests/fixtures/simulation/worlds/binding_undeclared.json
tests/fixtures/simulation/worlds/binding_wrong_type.json
tests/fixtures/simulation/worlds/box_on_table.json
tests/fixtures/simulation/worlds/cancel_step_2.json
tests/fixtures/simulation/worlds/event_1s.json
tests/fixtures/simulation/worlds/event_2500ms.json
tests/fixtures/simulation/worlds/event_5s.json
tests/fixtures/simulation/worlds/event_at_deadline.json
tests/fixtures/simulation/worlds/fault_step_3.json
tests/fixtures/simulation/worlds/limit_low.json
tests/fixtures/simulation/worlds/limit_rad_only.json
tests/fixtures/simulation/worlds/no_gripper.json
tests/fixtures/simulation/worlds/not_ready.json
tests/fixtures/simulation/worlds/ready_unknown.json
tests/fixtures/simulation/worlds/region_blocked.json
tests/fixtures/simulation/worlds/region_unknown.json
tests/fixtures/simulation/worlds/sensor_on_arm2.json
tests/fixtures/simulation/worlds/sensor_unavailable.json
tests/fixtures/simulation/worlds/sensor_undeclared.json
tests/fixtures/simulation/worlds/sensor_unknown.json
tests/fixtures/simulation/worlds/unknown_field.json
tests/fixtures/simulation/worlds/unsupported_version.json
tests/fixtures/v1.2/README.md
tests/fixtures/v1.2/compat/operator_words_as_names.rob
tests/fixtures/v1.2/compat/operator_words_as_names_marked_1_1.rob
tests/fixtures/v1.2/compat/operators_in_v1_1_file.rob
tests/fixtures/v1.2/invalid/e201_empty_parentheses.rob
tests/fixtures/v1.2/invalid/e201_not_without_operand.rob
tests/fixtures/v1.2/invalid/e201_trailing_operator.rob
tests/fixtures/v1.2/invalid/e201_unclosed_parenthesis.rob
tests/fixtures/v1.2/invalid/e204_unknown_operand.rob
tests/fixtures/v1.2/invalid/e211_message_received_operand.rob
tests/fixtures/v1.2/invalid/e212_operator_word_as_name.rob
tests/fixtures/v1.2/invalid/e213_version_1_5.rob
tests/fixtures/v1.2/invalid/e214_and_then_or.rob
tests/fixtures/v1.2/invalid/e214_mixed_inside_parentheses.rob
tests/fixtures/v1.2/invalid/e214_or_then_and_in_wait.rob
tests/fixtures/v1.2/invalid/e215_nesting_too_deep.rob
tests/fixtures/v1.2/invalid/e215_not_chain_in_conjunction.rob
tests/fixtures/v1.2/invalid/e303_undeclared_name_in_operand.rob
tests/fixtures/v1.2/invalid/e304_wrong_kind_in_operand.rob
tests/fixtures/v1.2/simulation/cases.json
tests/fixtures/v1.2/simulation/sources/pre_and.rob
tests/fixtures/v1.2/simulation/sources/pre_not.rob
tests/fixtures/v1.2/simulation/sources/pre_or.rob
tests/fixtures/v1.2/simulation/sources/wait_combined.rob
tests/fixtures/v1.2/simulation/sources/wait_not.rob
tests/fixtures/v1.2/simulation/worlds/and_false_unknown.json
tests/fixtures/v1.2/simulation/worlds/base.json
tests/fixtures/v1.2/simulation/worlds/both_blocked.json
tests/fixtures/v1.2/simulation/worlds/box_present.json
tests/fixtures/v1.2/simulation/worlds/box_unknown.json
tests/fixtures/v1.2/simulation/worlds/cell_cleared_then_blocked.json
tests/fixtures/v1.2/simulation/worlds/cell_unknown.json
tests/fixtures/v1.2/simulation/worlds/right_blocked.json
tests/fixtures/v1.2/simulation/worlds/sensor_unknown.json
tests/fixtures/v1.2/simulation/worlds/wait_events.json
tests/fixtures/v1.2/valid/and_in_pre.rob
tests/fixtures/v1.2/valid/flatten_grouping.rob
tests/fixtures/v1.2/valid/multiline_condition.rob
tests/fixtures/v1.2/valid/nesting_at_limit.rob
tests/fixtures/v1.2/valid/nesting_limit_with_conjunction.rob
tests/fixtures/v1.2/valid/not_in_pre.rob
tests/fixtures/v1.2/valid/not_of_group.rob
tests/fixtures/v1.2/valid/or_in_pre.rob
tests/fixtures/v1.2/valid/parenthesized_mix.rob
tests/fixtures/v1.2/valid/wait_until_combined.rob
tests/fixtures/v1.3/README.md
tests/fixtures/v1.3/compat/goal_block_in_v1_2.rob
tests/fixtures/v1.3/compat/holding_in_v1_1.rob
tests/fixtures/v1.3/compat/names_of_v1_3_in_v1_1.rob
tests/fixtures/v1.3/compat/names_of_v1_3_in_v1_2.rob
tests/fixtures/v1.3/compat/object_at_in_v1_2.rob
tests/fixtures/v1.3/compat/sensor_ok_name_in_v1_2.rob
tests/fixtures/v1.3/compat/sensor_parameter_in_v1_2.rob
tests/fixtures/v1.3/compat/string_sensor_in_v1_2.rob
tests/fixtures/v1.3/invalid/e201_goal_missing_semicolon_brace.rob
tests/fixtures/v1.3/invalid/e201_holding_one_name.rob
tests/fixtures/v1.3/invalid/e201_inspect_sensor_is_a_number.rob
tests/fixtures/v1.3/invalid/e201_object_at_one_name.rob
tests/fixtures/v1.3/invalid/e201_sensor_ok_without_parameter.rob
tests/fixtures/v1.3/invalid/e202_goal_condition_without_semicolon.rob
tests/fixtures/v1.3/invalid/e204_unknown_condition_in_goal.rob
tests/fixtures/v1.3/invalid/e208_goal_after_plan.rob
tests/fixtures/v1.3/invalid/e208_goal_before_pre.rob
tests/fixtures/v1.3/invalid/e208_goal_empty.rob
tests/fixtures/v1.3/invalid/e208_goal_without_plan.rob
tests/fixtures/v1.3/invalid/e208_two_goal_blocks.rob
tests/fixtures/v1.3/invalid/e211_message_received_in_goal.rob
tests/fixtures/v1.3/invalid/e212_goal_as_name.rob
tests/fixtures/v1.3/invalid/e212_holding_as_name.rob
tests/fixtures/v1.3/invalid/e212_object_at_as_name.rob
tests/fixtures/v1.3/invalid/e212_robot_at_as_name.rob
tests/fixtures/v1.3/invalid/e212_sensor_as_name.rob
tests/fixtures/v1.3/invalid/e214_mixed_in_goal.rob
tests/fixtures/v1.3/invalid/e215_too_deep_in_goal.rob
tests/fixtures/v1.3/invalid/e303_undeclared_inspect_sensor.rob
tests/fixtures/v1.3/invalid/e303_undeclared_name_in_goal.rob
tests/fixtures/v1.3/invalid/e303_undeclared_sensor.rob
tests/fixtures/v1.3/invalid/e304_holding_swapped.rob
tests/fixtures/v1.3/invalid/e304_inspect_using_robot.rob
tests/fixtures/v1.3/invalid/e304_new_atom_in_pre.rob
tests/fixtures/v1.3/invalid/e304_new_atom_in_wait_until.rob
tests/fixtures/v1.3/invalid/e304_object_at_location_is_object.rob
tests/fixtures/v1.3/invalid/e304_object_at_robot_first.rob
tests/fixtures/v1.3/invalid/e304_robot_as_sensor.rob
tests/fixtures/v1.3/invalid/e304_robot_at_object_first.rob
tests/fixtures/v1.3/invalid/e304_robot_at_region_second.rob
tests/fixtures/v1.3/invalid/e304_sensor_as_robot.rob
tests/fixtures/v1.3/invalid/e304_sensor_as_robot_in_goal.rob
tests/fixtures/v1.3/invalid/e309_missing_goal.rob
tests/fixtures/v1.3/invalid/e309_second_task_missing_goal.rob
tests/fixtures/v1.3/invalid/e310_empty_string_sensor.rob
tests/fixtures/v1.3/invalid/e310_string_sensor_inspect.rob
tests/fixtures/v1.3/invalid/e310_string_sensor_ok_in_goal.rob
tests/fixtures/v1.3/invalid/e310_string_sensor_ok_in_pre.rob
tests/fixtures/v1.3/invalid/e310_string_sensor_ok_in_wait_until.rob
tests/fixtures/v1.3/simulation/cases.json
tests/fixtures/v1.3/simulation/sources/goal_after_events.rob
tests/fixtures/v1.3/simulation/sources/goal_combined.rob
tests/fixtures/v1.3/simulation/sources/goal_false_and_unknown.rob
tests/fixtures/v1.3/simulation/sources/goal_held.rob
tests/fixtures/v1.3/simulation/sources/goal_holding.rob
tests/fixtures/v1.3/simulation/sources/goal_never_moved.rob
tests/fixtures/v1.3/simulation/sources/goal_unknown.rob
tests/fixtures/v1.3/simulation/sources/goal_unknown_and_true.rob
tests/fixtures/v1.3/simulation/sources/holding_unknown.rob
tests/fixtures/v1.3/simulation/sources/limit_with_goal.rob
tests/fixtures/v1.3/simulation/sources/pick_place.rob
tests/fixtures/v1.3/simulation/sources/pre_holding.rob
tests/fixtures/v1.3/simulation/sources/pre_new_atoms.rob
tests/fixtures/v1.3/simulation/sources/pre_object_unknown.rob
tests/fixtures/v1.3/simulation/sources/sensor_inspect.rob
tests/fixtures/v1.3/simulation/sources/sensor_pre.rob
tests/fixtures/v1.3/simulation/sources/sensor_two.rob
tests/fixtures/v1.3/simulation/sources/sensor_wait.rob
tests/fixtures/v1.3/simulation/sources/two_tasks.rob
tests/fixtures/v1.3/simulation/sources/wait_object_at.rob
tests/fixtures/v1.3/simulation/worlds/base.json
tests/fixtures/v1.3/simulation/worlds/binding_location_to_sensor.json
tests/fixtures/v1.3/simulation/worlds/binding_robot_to_sensor.json
tests/fixtures/v1.3/simulation/worlds/binding_sensor_to_location.json
tests/fixtures/v1.3/simulation/worlds/binding_sensor_to_robot.json
tests/fixtures/v1.3/simulation/worlds/binding_sensor_undeclared.json
tests/fixtures/v1.3/simulation/worlds/box_absent.json
tests/fixtures/v1.3/simulation/worlds/box_at_table.json
tests/fixtures/v1.3/simulation/worlds/box_held_at_start.json
tests/fixtures/v1.3/simulation/worlds/box_unknown.json
tests/fixtures/v1.3/simulation/worlds/cancel_step_4.json
tests/fixtures/v1.3/simulation/worlds/cell_blocked_then_clear.json
tests/fixtures/v1.3/simulation/worlds/cell_blocked_then_clear_late.json
tests/fixtures/v1.3/simulation/worlds/cell_clear_then_blocked.json
tests/fixtures/v1.3/simulation/worlds/fault_step_2.json
tests/fixtures/v1.3/simulation/worlds/robot_at_shelf.json
tests/fixtures/v1.3/simulation/worlds/robot_not_ready.json
tests/fixtures/v1.3/simulation/worlds/sensor_inspect_aux.json
tests/fixtures/v1.3/simulation/worlds/sensor_inspect_dead.json
tests/fixtures/v1.3/simulation/worlds/sensor_inspect_other_robot.json
tests/fixtures/v1.3/simulation/worlds/sensor_inspect_unknown.json
tests/fixtures/v1.3/simulation/worlds/sensor_name_is_robot_name.json
tests/fixtures/v1.3/simulation/worlds/sensor_pre_dead.json
tests/fixtures/v1.3/simulation/worlds/sensor_pre_unknown.json
tests/fixtures/v1.3/simulation/worlds/sensor_two_swapped.json
tests/fixtures/v1.3/simulation/worlds/sensor_wait_dead_then_ok.json
tests/fixtures/v1.3/valid/goal_combined.rob
tests/fixtures/v1.3/valid/goal_holding.rob
tests/fixtures/v1.3/valid/goal_object_at.rob
tests/fixtures/v1.3/valid/goal_robot_at.rob
tests/fixtures/v1.3/valid/goal_several_conditions.rob
tests/fixtures/v1.3/valid/goal_without_pre.rob
tests/fixtures/v1.3/valid/new_atoms_in_pre.rob
tests/fixtures/v1.3/valid/new_atoms_in_wait_until.rob
tests/fixtures/v1.3/valid/safety_with_goal.rob
tests/fixtures/v1.3/valid/sensor_parameter_inspect.rob
tests/fixtures/v1.3/valid/sensor_parameter_ok.rob
tests/fixtures/v1.3/valid/two_tasks.rob
tests/fixtures/v1.4/valid/branch_route.rob
tests/fixtures/v1.4/valid/fail_report.rob
tests/fixtures/v1.4/valid/sequential_ifs.rob
tests/fixtures/valid/all_conditions.rob
tests/fixtures/valid/compact_formatting.rob
tests/fixtures/valid/inspect_with_sensor.rob
tests/fixtures/valid/max_speed_angular_then_linear.rob
tests/fixtures/valid/max_speed_angular_unit.rob
tests/fixtures/valid/max_speed_linear_and_angular.rob
tests/fixtures/valid/max_speed_linear_unit.rob
tests/fixtures/valid/minimal_task.rob
tests/fixtures/valid/multiple_tasks.rob
tests/fixtures/valid/pick_and_place_v1_compat.rob
tests/fixtures/valid/string_escapes.rob
tests/fixtures/valid/unit_words_as_names.rob
tests/fixtures/valid/version_marker.rob
tests/fixtures/valid/wait_durations.rob
tests/fixtures/valid/wait_until_with_timeout.rob
tests/snapshots/ir/all_conditions.json
tests/snapshots/ir/compact_formatting.json
tests/snapshots/ir/inspect_with_sensor.json
tests/snapshots/ir/max_speed_angular_then_linear.json
tests/snapshots/ir/max_speed_angular_unit.json
tests/snapshots/ir/max_speed_linear_and_angular.json
tests/snapshots/ir/max_speed_linear_unit.json
tests/snapshots/ir/minimal_task.json
tests/snapshots/ir/multiple_tasks.json
tests/snapshots/ir/pick_and_place_v1_compat.json
tests/snapshots/ir/string_escapes.json
tests/snapshots/ir/unit_words_as_names.json
tests/snapshots/ir/version_marker.json
tests/snapshots/ir/wait_durations.json
tests/snapshots/ir/wait_until_with_timeout.json
tests/snapshots/ir-v1.2/and_in_pre.json
tests/snapshots/ir-v1.2/flatten_grouping.json
tests/snapshots/ir-v1.2/multiline_condition.json
tests/snapshots/ir-v1.2/nesting_at_limit.json
tests/snapshots/ir-v1.2/nesting_limit_with_conjunction.json
tests/snapshots/ir-v1.2/not_in_pre.json
tests/snapshots/ir-v1.2/not_of_group.json
tests/snapshots/ir-v1.2/or_in_pre.json
tests/snapshots/ir-v1.2/parenthesized_mix.json
tests/snapshots/ir-v1.2/wait_until_combined.json
tests/snapshots/ir-v1.3/goal_combined.json
tests/snapshots/ir-v1.3/goal_holding.json
tests/snapshots/ir-v1.3/goal_object_at.json
tests/snapshots/ir-v1.3/goal_robot_at.json
tests/snapshots/ir-v1.3/goal_several_conditions.json
tests/snapshots/ir-v1.3/goal_without_pre.json
tests/snapshots/ir-v1.3/new_atoms_in_pre.json
tests/snapshots/ir-v1.3/new_atoms_in_wait_until.json
tests/snapshots/ir-v1.3/safety_with_goal.json
tests/snapshots/ir-v1.3/sensor_parameter_inspect.json
tests/snapshots/ir-v1.3/sensor_parameter_ok.json
tests/snapshots/ir-v1.3/two_tasks.json
tests/snapshots/ir-v1.4/branch_route.json
tests/snapshots/ir-v1.4/fail_report.json
tests/snapshots/ir-v1.4/sequential_ifs.json