All issues

Search results

docs: document composition-operator semantics (XOR = parity, self-XOR unsatisfiable, AND-before-OR precedence)

Status: Open.

#813 In Hochfrequenz/ahbicht;

· hf-kklein opened on Jul 7, 2026

Handle the Package 1P

Status: Open.

#193 In Hochfrequenz/ahbicht;

· hf-kklein opened on Jun 21, 2022

Create Placeholder RCs + FCs that are always (Un)Fulfilled

Status: Open.

#190 In Hochfrequenz/ahbicht;

· hf-kklein opened on Jun 21, 2022

Harmonization: package_expression vs condition_expression

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#157 In Hochfrequenz/ahbicht;

· hf-kklein opened on Apr 22, 2022

Implement Wiederholbarkeiten (FV2204)

Status: Open.

#96 In Hochfrequenz/ahbicht;

· hf-aschloegl opened on Nov 30, 2021

Re-Structure README

Status: Open.

#79 In Hochfrequenz/ahbicht;

· hf-kklein opened on Nov 3, 2021

Implement a reduced ConditionCheckresult

Status: Open.

#77 In Hochfrequenz/ahbicht;

· hf-kklein opened on Nov 2, 2021

Check if the dev environment does use the right files

Status: Open.

#25 In Hochfrequenz/ahbicht;

· hf-krechan opened on Sep 17, 2021

Images not visible on pypy site

Status: Open.

#14 In Hochfrequenz/ahbicht;

· hf-krechan opened on Aug 31, 2021