Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
semint-kprime-arm
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Container Registry
Model registry
Operate
Environments
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
Pedot Nicola
semint-kprime-arm
Commits
3b90d558892f4e8876c8bef8174b7923dc31023f
Select Git revision
15 results
semint-kprime
src
main
kotlin
unibz.cs.semint.kprime
domain
ddl
Constraint.kt
Author
Search by author
Any Author
authors
Pedot Nicola
Nicola.Pedot
1 author
Apr 01, 2020
fix for compute applicability su empty rules and multivalue dep(wip)
· a758bb62
npedot
authored
4 years ago
a758bb62
Feb 27, 2020
refact for optimus usecase
· f0c691f7
npedot
authored
5 years ago
f0c691f7
Feb 19, 2020
removes print from test
· 429d035a
npedot
authored
5 years ago
429d035a
TransformerVUseCase evo
· 0dd5bbe7
npedot
authored
5 years ago
0dd5bbe7
Feb 12, 2020
adds schema algo projection and minimalbasis
· db4e33eb
npedot
authored
5 years ago
db4e33eb
adds algo schema projection
· 7fe921dc
npedot
authored
5 years ago
7fe921dc
adds algo schema remove trivals
· 68495530
npedot
authored
5 years ago
68495530
adds basic constraint to string test
· ec3587fb
npedot
authored
5 years ago
ec3587fb
adds superkeys algo to schema
· f2880f48
npedot
authored
5 years ago
f2880f48
Jan 27, 2020
apply changeset to db with ApplyChangeSetUseCase
· e1847bab
npedot
authored
5 years ago
e1847bab
Loading