Search results

Dockerfile is missing ENTRYPOINT

Status: Open.

#41 In sen-uni-kn/ContractCheck;

· senniraf opened on Sep 29, 2023

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;

· MartinKoelbl opened on May 12, 2023

Correct Connection between Dependent Claims

bugSomething isn't workingSomething isn't working

Status: Open.

#30 In sen-uni-kn/ContractCheck;

· MartinKoelbl opened on May 8, 2023

feat: Add Tests

enhancementNew feature or requestNew feature or request

Status: Open.

#22 In sen-uni-kn/ContractCheck;

· MartinKoelbl opened on Dec 31, 2022

rework: Separate Legal Semantic and SMT encoding

Status: Open.

#21 In sen-uni-kn/ContractCheck;

· MartinKoelbl opened on Dec 31, 2022

rework: remove UmlNode2

invalidThis doesn't seem rightThis doesn't seem right

Status: Open.

#20 In sen-uni-kn/ContractCheck;

· MartinKoelbl opened on Dec 31, 2022

Abstract the Main UI Code for Re-Use with the Data Labelling Interface

enhancementNew feature or requestNew feature or request

Status: Open.

#16 In sen-uni-kn/ContractCheck;

· cherrywoods opened on Dec 20, 2022

Setup Separate UI for Data Labelling

enhancementNew feature or requestNew feature or request

Status: Open.

#15 In sen-uni-kn/ContractCheck;

· cherrywoods opened on Dec 20, 2022

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;

· MartinKoelbl opened on Nov 5, 2022

bug: Legal Vocabulary is Implemented Twice

invalidThis doesn't seem rightThis doesn't seem right

Status: Open.

#9 In sen-uni-kn/ContractCheck;

· MartinKoelbl opened on Nov 5, 2022

feat: Analysis of Double Punishment

enhancementNew feature or requestNew feature or request

Status: Open.

#5 In sen-uni-kn/ContractCheck;

· MartinKoelbl opened on Nov 1, 2022

bug: Z3 Output Red Warnings Because of Soft Assert

bugSomething isn't workingSomething isn't working

Status: Open.

#4 In sen-uni-kn/ContractCheck;

· MartinKoelbl opened on Nov 1, 2022