Uwe Krüger
|
5e9b528a9d
|
checker/cgen: support `return` from nested `or` (#8430)
|
2021-01-30 12:46:36 +02:00 |
|
Uwe Krüger
|
4a955d9c54
|
sync: don't force `Mutex` and `Semaphore` to be reference (#8331)
|
2021-01-29 20:52:14 +02:00 |
|
Uwe Krüger
|
2cb711ee15
|
checker/channels: check `mut`/`&` state of transmitted objects (#6315)
|
2020-09-06 21:24:41 +02:00 |
Delyan Angelov
|
276c1de190
|
unsafe: tag with unsafe{} some more pointer manipulations
|
2020-07-22 21:42:51 +03:00 |
|
Delyan Angelov
|
587b9dd8aa
|
tests: reduce iterations for the atomic and semaphore tests, to speed up test-fixed
|
2020-07-20 11:14:55 +03:00 |
|
Uwe Krüger
|
8df6e59678
|
sync: add semaphores (#5831)
|
2020-07-15 10:22:33 +02:00 |