Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Kirill's branch #1892

Closed
wants to merge 32 commits into from
Closed

Kirill's branch #1892

wants to merge 32 commits into from

Conversation

knikolaevskii
Copy link

No description provided.

knikolaevskii and others added 30 commits June 19, 2024 22:37
@knikolaevskii
The instrumented code for is_dimension() function and a coverage test…
cdc3e8a 
… for it
@knikolaevskii
Enhanced test for is_dimension()
ab9afba
@knikolaevskii
The instrumented code for _commonprefix() function and a coverage tes…
bb1d1f2 
…t for it
@knikolaevskii
Enhanced test for _commonprefix()
f7743cf
to_dimension unenhanced
15f93db
to_dimension enhanced
f8e6d56
to_dimension enhanced
d5af7fd
merge_processors unenhanced
67343f6
merge_processors enhanced
6fadf7d
@DanMalygin
Edited document.py
e9e7dc6
@DanMalygin
Test file for "find_next_matching_line"
06947d0
@DanMalygin
Test file for "find_prev_matching_line"
57b6f3e
@DanMalygin
Added extra print statements
d2a478d
@DanMalygin
Added extra print statements
3e6b501
@DanMalygin
Last minor changes
6c4e8c8
@DanMalygin
Reversed stuff so I can do it again in correct order and paste a good…
e7dc22d 
… link in README
@DanMalygin
find_next_matching_line
ae26bfd
@DanMalygin
find_previous_matching_line
dd1c578
@DanMalygin
test cases for find_next_matching_line
b71160d
@DanMalygin
test cases for find_previous_matching_line
5bfd91a
@BMatajsz
Added modified src and tests
daeccc3
@BMatajsz
test_row_col_to_index bug fix
6110a0f
@BMatajsz
Fixed tests
a7b8ea8
@knikolaevskii
Merge pull request #1 from knikolaevskii/Kirill's-branch
3dbcc15 
Kirill's branch
@knikolaevskii
Merge pull request #2 from knikolaevskii/Rov's-branch
e1e7959 
Rov's branch
@BMatajsz
Merge pull request #3 from knikolaevskii/Bence's-branch
82ec747 
Bence's branch
@DanMalygin
added branch_coverage_translate
76ce491
@BMatajsz
Merge branch 'master' into Daniil's-branch
0b238ac
@BMatajsz
Merge pull request #4 from knikolaevskii/Daniil's-branch
5f8fcd6 
Daniil's branch
@BMatajsz
Minor bug fix
ff98c4b
@knikolaevskii
Copy link
Author

new changes

@knikolaevskii knikolaevskii deleted the Kirill's-branch branch June 27, 2024 18:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@knikolaevskii @DanMalygin @BMatajsz