[interpretation] Add notion of classifier in language and use it in interpretation. (4e558db3) · Commits · pub / caisar · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

caisar
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Terraform modules
- Incidents

Snippets Groups Projects

4e558db3

Commit 4e558db3 authored 1 year ago by Michele Alberti

Downloads
- Patches
- Plain Diff

[interpretation] Add notion of classifier in language and use it in interpretation.

parent 845ecadb

No related branches found

No related tags found

No related merge requests found

Changes 5

Hide whitespace changes

Inline Side-by-side

Showing

src/interpretation.ml 32 additions, 10 deletions

src/interpretation.ml
src/language.ml 89 additions, 6 deletions

src/language.ml
src/language.mli 20 additions, 1 deletion

src/language.mli
tests/interpretation_acasxu.t 10 additions, 6 deletions

tests/interpretation_acasxu.t
tests/interpretation_dataset.t 9 additions, 5 deletions

tests/interpretation_dataset.t

with 160 additions and 28 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment