-
Notifications
You must be signed in to change notification settings - Fork 1
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#41 In sen-uni-kn/ContractCheck;
Legal Action Simulator
epicA progress idea (e.g. creating a new version) with substantial effort.A progress idea (e.g. creating a new version) with substantial effort.Status: Open.#31 In sen-uni-kn/ContractCheck;Correct Connection between Dependent Claims
bugSomething isn't workingSomething isn't workingStatus: Open.#30 In sen-uni-kn/ContractCheck;feat: Add Tests
enhancementNew feature or requestNew feature or requestStatus: Open.#22 In sen-uni-kn/ContractCheck;- Status: Open.#21 In sen-uni-kn/ContractCheck;
rework: remove UmlNode2
invalidThis doesn't seem rightThis doesn't seem rightStatus: Open.#20 In sen-uni-kn/ContractCheck;Abstract the Main UI Code for Re-Use with the Data Labelling Interface
enhancementNew feature or requestNew feature or requestStatus: Open.#16 In sen-uni-kn/ContractCheck;Setup Separate UI for Data Labelling
enhancementNew feature or requestNew feature or requestStatus: Open.#15 In sen-uni-kn/ContractCheck;feat: Stepwise Execution
epicA progress idea (e.g. creating a new version) with substantial effort.A progress idea (e.g. creating a new version) with substantial effort.Status: Open.#10 In sen-uni-kn/ContractCheck;bug: Legal Vocabulary is Implemented Twice
invalidThis doesn't seem rightThis doesn't seem rightStatus: Open.#9 In sen-uni-kn/ContractCheck;feat: Analysis of Double Punishment
enhancementNew feature or requestNew feature or requestStatus: Open.#5 In sen-uni-kn/ContractCheck;bug: Z3 Output Red Warnings Because of Soft Assert
bugSomething isn't workingSomething isn't workingStatus: Open.#4 In sen-uni-kn/ContractCheck;