Skip to content

Dev - #56

Merged
adaamko merged 3 commits into
mainfrom
dev
May 19, 2022
Merged

Dev#56
adaamko merged 3 commits into
mainfrom
dev

Conversation

@Eszti

@Eszti Eszti commented May 19, 2022

Copy link
Copy Markdown
Collaborator

No description provided.

Eszti and others added 3 commits May 13, 2022 18:42
* instantiate GraphFormulaMatcher with case_sensitive parameter
* call GraphFormulaMatcher.get_matcher whenever a matcher is needed
* instantiate FeatureEvaluator with case_sensitive parameter
* add -cs connector to frontend
* add -cs connector to evaluate.py
* fixes score discrepancy bug for Widmung
Add parameter for case-sensitivity
@Eszti
Eszti requested review from adaamko and recski May 19, 2022 07:46
@adaamko
adaamko merged commit 24417c1 into main May 19, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants