Repository to store student's practical works on high performance computing course
Object-oriented programming course
A C++ library of Concurrent Data Structures
A C++ library of Concurrent Data Structures
Video stream imitator based on panoramic image
The goal of the GPSTk project is to provide an open source library and suite of applications to the satellite navigation community--to free researchers to focus on research, not lower level coding.
Tool for splitting RTSP stream on fixed time h264 mkv files
push eventKotlin/kotlinx-lincheck
commit sha bc81aea8775fc6e0f46b92a6cfbb3bcf5e11670e
Prepare for next development iteration
push time in 11 days
push eventKotlin/kotlinx-lincheck
commit sha 84fc160813b8f2f3d11ae283d55b73386557cf77
Prepare for next development iteration
commit sha 1839af395a703b02b902c48aa264c3a4f775de8a
Support standard singleton collections representation in model checking traces (#101)
commit sha 11a3d8577f08ecc691d369e78929716af57773ba
Add a nicer Options.addCustomScenario function (#100)
commit sha 6a26365ec888026664d0ff1d04948d7dd26477ea
Provide default value in `ManagedOptions.verboseTrace(..)` (#99)
commit sha f2cb572f479c301fa70cfa0825ec6ba10ce6c7b8
Make the warning on missed state equivalence implementation nicer and do not print it multiple times when minimizing the failed scenario (#98)
commit sha f499e99e60a282331e57a4fcd91778c2ff29e6e4
Support thread-local randoms in Striped64 (#97)
commit sha e7542fcb12add82b6bbf573f601b49d6f9fcd028
Release lincheck-2.14
push time in 11 days
created tagKotlin/kotlinx-lincheck
Framework for testing concurrent data structures
created time in 11 days
push eventKotlin/kotlinx-lincheck
commit sha e7542fcb12add82b6bbf573f601b49d6f9fcd028
Release lincheck-2.14
push time in 11 days
push eventKotlin/kotlinx-lincheck
commit sha f499e99e60a282331e57a4fcd91778c2ff29e6e4
Support thread-local randoms in Striped64 (#97)
push time in 11 days
delete branch Kotlin/kotlinx-lincheck
delete branch : fix-state-equivalence-message
delete time in 11 days
push eventKotlin/kotlinx-lincheck
commit sha f2cb572f479c301fa70cfa0825ec6ba10ce6c7b8
Make the warning on missed state equivalence implementation nicer and do not print it multiple times when minimizing the failed scenario (#98)
push time in 11 days
PR merged Kotlin/kotlinx-lincheck
pr closed time in 11 days
delete branch Kotlin/kotlinx-lincheck
delete branch : verbose-trace-default-value
delete time in 11 days
push eventKotlin/kotlinx-lincheck
commit sha 6a26365ec888026664d0ff1d04948d7dd26477ea
Provide default value in `ManagedOptions.verboseTrace(..)` (#99)
push time in 11 days
PR merged Kotlin/kotlinx-lincheck
pr closed time in 11 days
delete branch Kotlin/kotlinx-lincheck
delete branch : custom-scenarios-nice-builder
delete time in 11 days
push eventKotlin/kotlinx-lincheck
commit sha 11a3d8577f08ecc691d369e78929716af57773ba
Add a nicer Options.addCustomScenario function (#100)
push time in 11 days
PR merged Kotlin/kotlinx-lincheck
pr closed time in 11 days
delete branch Kotlin/kotlinx-lincheck
delete branch : singleton-list-in-trace
delete time in 11 days
push eventKotlin/kotlinx-lincheck
commit sha 1839af395a703b02b902c48aa264c3a4f775de8a
Support standard singleton collections representation in model checking traces (#101)
push time in 11 days
PR merged Kotlin/kotlinx-lincheck
pr closed time in 11 days
PR opened Kotlin/kotlinx-lincheck
pr created time in 11 days
create barnchKotlin/kotlinx-lincheck
branch : singleton-list-in-trace
created branch time in 11 days
push eventKotlin/kotlinx-lincheck
commit sha 040591ade3b5a2fde2d425c0488bbb2c21f45443
Add a nicer Options.addCustomScenario function
push time in 11 days
PR opened Kotlin/kotlinx-lincheck
pr created time in 11 days
create barnchKotlin/kotlinx-lincheck
branch : custom-scenarios-nice-builder
created branch time in 11 days
PR opened Kotlin/kotlinx-lincheck
pr created time in 11 days
create barnchKotlin/kotlinx-lincheck
branch : verbose-trace-default-value
created branch time in 11 days
PR opened Kotlin/kotlinx-lincheck
pr created time in 11 days
create barnchKotlin/kotlinx-lincheck
branch : fix-state-equivalence-message
created branch time in 11 days