Arne Nordmann

Adds offset parameter for paging, fixes issue #43

2

- Since numer of results is limited to MAX_PAGE_RESULTS (20), the 'start' parameter allows offsetting the search for paging. fixes #43

Allow paging

11

Allow paging to receive results >20. Can be done with Google Scholar's search parameter 'start'.

Add option to escape uppercase letters

1

Add option to escape uppercase letters, e.g., in the title field. Example: `{{Model-Based Safety Assessment with SysML and Component Fault Trees: Application and Lessons Learned}}` -> `{{{M}odel-{B}ased {S}afety {A}ssessment with...

Cannot open include file: 'sys/wait.h'

1

## Description Windows builds seem to miss the file `sys/wait.h`, resulting in builds of the package `osrf_testing_tools_cpp` (see, [this PR](https://github.com/micro-ROS/system_modes/pull/36) for example) to fail. `osrf_testing_tools_cpp` builds without this issue in...

[WiP] github actions now also performing checks

1

This PR adds performing checks to the github actions. Fixes https://github.com/mbeddr/mbeddr.formal/issues/42

Add constraints for ocra expressions (some of them redundant to nusmv expressions), to exclude them from polluting nusmv models. That is: * Allow ocra expressions only in ocra roots (can...

The ocra language currently doesn't support an enum type, but only allows inline definition of enum-like types, which breaks MPS type inference.

Dependencies missing in manifest

3

**Describe the bug** Dependencies [declared as required in cmake](https://github.com/micro-ROS/micro-ROS-Agent/blob/galactic/micro_ros_agent/CMakeLists.txt#L32-L50) are missing [in the manifest file](https://github.com/micro-ROS/micro-ROS-Agent/blob/galactic/micro_ros_agent/package.xml#L18-L22). **To reproduce** I encountered this issue when trying to revive an old micro-ROS agent (foxy)...

Seperate CI for focal and jammy. Added humble distro to workflow

2

Configures two (almost identical) workflows * foxy and galactic to be built on Ubuntu focal * humble and rolling to be built on Ubuntu jammy Had to exclude include-order from...

When the system definition (SMH) contains non-lifecycle nodes, inference will most probably fail, because nodes woll not report any (of the specified) states / transitions used by the inference. Two...