Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
V
validator
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Package registry
Container registry
Model registry
Operate
Environments
Terraform modules
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
Foxido
validator
Commits
master
Select Git revision
0 results
validator
Author
Search by author
Any Author
authors
Foxido
foxido
1 author
Oct 26, 2024
Merge branch 'add_more_test' into 'master'
· 2c41b06d
Foxido
authored
7 months ago
2c41b06d
Add more tests
· c396868b
Foxido
authored
7 months ago
c396868b
Add missing untracked file
· 6815f6cb
Foxido
authored
7 months ago
6815f6cb
Merge branch 'fix_cardinality' into 'master'
· 88aaef32
Foxido
authored
7 months ago
88aaef32
[TASK2] use max cardinality from eq class
· 0fb90520
Foxido
authored
7 months ago
0fb90520
Oct 25, 2024
swap misamatch eq and const check mismatch as asked
· a8abc909
Foxido
authored
7 months ago
a8abc909
Merge branch 'gitlab_ci_reports' into 'master'
· 33f229ca
Foxido
authored
7 months ago
33f229ca
integrate google test with gitlab
· e79d366b
Foxido
authored
7 months ago
e79d366b
update README.md
· d8720c0b
Foxido
authored
7 months ago
d8720c0b
Merge branch 'fix_eq_classes' into 'master'
· 02019195
Foxido
authored
7 months ago
02019195
add gitlab ci
· 3c319f7a
Foxido
authored
7 months ago
3c319f7a
implement tests
· 6f85dfa8
Foxido
authored
7 months ago
6f85dfa8
fix eq classes & prepare for google tests
· 6d04fa36
Foxido
authored
7 months ago
6d04fa36
Add debug_mode support
· 8d3c6e1a
Foxido
authored
7 months ago
8d3c6e1a
Oct 23, 2024
Merge branch 'fix_redundant_clause' into 'master'
· aabf9366
Foxido
authored
7 months ago
aabf9366
Fix redundant clause issue
· 4c83e91f
Foxido
authored
7 months ago
4c83e91f
Oct 22, 2024
add missing const scan to PE
· a8ebd9f8
Foxido
authored
7 months ago
a8ebd9f8
Oct 21, 2024
WIP: HOTFIX FIX
· f3ea3f77
Foxido
authored
7 months ago
f3ea3f77
HOTFIX: check if all consts are scanned
· e850aff7
Foxido
authored
7 months ago
e850aff7
fix error reporting
· 73c0c749
Foxido
authored
7 months ago
73c0c749
Log if user beated us
· c931f365
Foxido
authored
7 months ago
c931f365
add costs to node dump
· e714f59e
Foxido
authored
7 months ago
e714f59e
fix wrong for predicate
· 9eada4e3
Foxido
authored
7 months ago
9eada4e3
fix typo in readme
· 9b9aac52
Foxido
authored
7 months ago
9b9aac52
Oct 20, 2024
Print user errors to stderr + reword some
· 8e0475a9
Foxido
authored
7 months ago
8e0475a9
Oct 19, 2024
Add note about TASK_NUMBER
· 676e452e
Foxido
authored
7 months ago
676e452e
README & first index parametrization
· 96e793a9
Foxido
authored
7 months ago
96e793a9
static build
· cab5b478
Foxido
authored
7 months ago
cab5b478
cleanup & format
· b72c76c1
Foxido
authored
7 months ago
b72c76c1
integrate with contest interface
· 0ec82d02
Foxido
authored
7 months ago
0ec82d02
costs
· ea9242cc
Foxido
authored
7 months ago
ea9242cc
Adapt CMakeLists.txt
· cc7702ff
Foxido
authored
7 months ago
cc7702ff
format
· 021baa36
Foxido
authored
8 months ago
021baa36
crossjoins validation and stupidier task 1 const deriviation
· 659f02f6
Foxido
authored
8 months ago
659f02f6
fix mulidigit tables
· 98ee34a5
Foxido
authored
8 months ago
98ee34a5
Oct 18, 2024
validating that table was seen
· c80d5d14
Foxido
authored
8 months ago
c80d5d14
eq classes done, simple tree validating done
· 10251afe
Foxido
authored
8 months ago
10251afe
eq classes from task
· fd6effef
Foxido
authored
8 months ago
fd6effef
remove debug prints
· 299e1066
Foxido
authored
8 months ago
299e1066
fix bug in init join operator
· edaa0d85
Foxido
authored
8 months ago
edaa0d85
Loading