Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / kaist-cp/cs431 issues and pull requests
#975 - elided-lifetime problem
Issue -
State: closed - Opened by Standing-Man about 2 months ago
#974 - A new test about `*Arc::make_mut()`
Issue -
State: open - Opened by lryan599 3 months ago
Labels: question, homework - arc
#973 - (BoC): Use `PinBox` and `ManuallyDrop` to represent restrictions.
Pull Request -
State: open - Opened by Foreverhighness 4 months ago
#972 - (BoC): Use `PinBox` instead of `Vec` to avoid unintentional move.
Pull Request -
State: open - Opened by Foreverhighness 4 months ago
#971 - [Question] (BoC) unintentional move in Vec<Request> cause dangling pointer.
Issue -
State: open - Opened by Foreverhighness 4 months ago
- 2 comments
Labels: question, homework - boc
#970 - [Question](A small word error in doc)
Issue -
State: closed - Opened by AdolfRyan 4 months ago
- 2 comments
Labels: question
#969 - [Question] Resource/Advice for non-KAIST students?
Issue -
State: closed - Opened by stevebuildboats 5 months ago
- 1 comment
Labels: question
#957 - [Question] How to get previous node of bucket sentinel?
Issue -
State: closed - Opened by aquacat1220 8 months ago
- 8 comments
Labels: bug, question
#453 - CleanUp function coverage
Issue -
State: closed - Opened by bprovot about 5 years ago
- 2 comments
#452 - Would you please add comments on methods?
Issue -
State: closed - Opened by Pusnow about 5 years ago
- 1 comment
#451 - Return Type of the Lookup function
Issue -
State: closed - Opened by bprovot over 5 years ago
- 2 comments
#450 - Guard parameter in find function
Issue -
State: closed - Opened by bprovot over 5 years ago
- 1 comment
#449 - How to call ReadGuard's deref()?
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 5 comments
#448 - Behavior in the case when key already exists in the tree
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 1 comment
#447 - Is it possible to add comments to unimplemented functions like in the ART HW?
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 3 comments
#446 - tree structure on insert and delete operations
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 1 comment
#445 - About submission page
Issue -
State: closed - Opened by anemoneflower over 5 years ago
- 1 comment
#444 - Are warnings okay?
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 1 comment
#443 - How to move cursor.child into a new inner node
Issue -
State: closed - Opened by wns3645 over 5 years ago
- 4 comments
#442 - confusing about logic - checkprefix
Issue -
State: closed - Opened by anemoneflower over 5 years ago
- 3 comments
#441 - How to get a partial key when creating a new inner node?
Issue -
State: closed - Opened by wns3645 over 5 years ago
- 2 comments
#440 - Nodes as pointers
Issue -
State: closed - Opened by ChristPi over 5 years ago
- 9 comments
#439 - [cs492-concur][hw1-art] Do we need to consider the case not covered by the stress test cases?
Issue -
State: closed - Opened by zoonoo over 5 years ago
- 2 comments
#438 - Concerns in using Entry API for deletion
Issue -
State: closed - Opened by batzor over 5 years ago
- 1 comment
#437 - What is the time limit for the stress test?
Issue -
State: closed - Opened by snyokang over 5 years ago
- 2 comments
#436 - About using new_path function
Issue -
State: closed - Opened by anemoneflower over 5 years ago
- 2 comments
#435 - use of update function(edited)
Issue -
State: closed - Opened by anemoneflower over 5 years ago
- 2 comments
#434 - Still not clear about deletion
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 2 comments
#433 - move occurs error
Issue -
State: closed - Opened by anemoneflower over 5 years ago
- 5 comments
#432 - mutable handling
Issue -
State: closed - Opened by anemoneflower over 5 years ago
- 2 comments
#431 - What does Cursor look like for no existing key?
Issue -
State: closed - Opened by wns3645 over 5 years ago
- 2 comments
#430 - Return Ok(v) in or_insert_with
Issue -
State: closed - Opened by codingskynet over 5 years ago
- 2 comments
#429 - Homework assignment submission method
Issue -
State: closed - Opened by lumiknit over 5 years ago
- 3 comments
#428 - Clarification on tree structure during insertion
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 4 comments
#427 - About the notion of "Fairness"
Issue -
State: closed - Opened by ahcheongL over 5 years ago
- 2 comments
#426 - Returning Err(V,F) in or_insert_with
Issue -
State: closed - Opened by Hyun2023 over 5 years ago
- 4 comments
#425 - Question about new_path function.
Issue -
State: closed - Opened by jmpasta over 5 years ago
- 3 comments
#424 - How to use new_path function?
Issue -
State: closed - Opened by Hyun2023 over 5 years ago
- 2 comments
#423 - About intended behavior /specification of AST
Issue -
State: closed - Opened by ahcheongL over 5 years ago
- 1 comment
#422 - How to use into function in NodeBox?
Issue -
State: closed - Opened by jmpasta over 5 years ago
- 5 comments
#421 - `Second mutable borrow occurs here` error
Issue -
State: closed - Opened by temirrr over 5 years ago
- 1 comment
#420 - Question about NodeBodyI's lookup function
Issue -
State: closed - Opened by anemoneflower over 5 years ago
- 2 comments
#419 - Specification of the Entry API
Issue -
State: closed - Opened by AnuarTB over 5 years ago
- 7 comments
#418 - Structure of ART
Issue -
State: closed - Opened by anemoneflower over 5 years ago
- 3 comments
#417 - Growing nodes
Issue -
State: closed - Opened by ChristPi over 5 years ago
- 8 comments
#416 - Question on delete method for ART entry
Issue -
State: closed - Opened by dnkim over 5 years ago
- 2 comments
#415 - Getting a value from a nodebox ART
Issue -
State: closed - Opened by bprovot over 5 years ago
- 4 comments
#414 - borrowing child in cursor
Issue -
State: closed - Opened by ChristPi over 5 years ago
- 1 comment
#413 - Cursor Function of the ART
Issue -
State: closed - Opened by bprovot over 5 years ago
- 6 comments
#412 - Questions about Peterson's mutex
Issue -
State: closed - Opened by efenniht over 5 years ago
- 4 comments
#411 - Question about fence(SC) & Promise
Issue -
State: closed - Opened by kyeongmincho over 5 years ago
- 3 comments
#410 - Reasoning behavior of a lock
Issue -
State: closed - Opened by efenniht over 5 years ago
- 2 comments
#409 - Question about NodeBody256
Issue -
State: closed - Opened by mjy0503 over 5 years ago
- 5 comments
#408 - What is the right operation of cursor method?
Issue -
State: closed - Opened by Hyun2023 over 5 years ago
- 2 comments
#407 - why lines 46 and 59 can't be relaxed in treiber stack
Issue -
State: closed - Opened by hydium over 5 years ago
#406 - Guaranteeing fairness by waiting w/ different locations?
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 1 comment
#405 - Causality test case 3 and 19
Issue -
State: closed - Opened by jmpasta over 5 years ago
- 6 comments
#404 - Causality test case 11
Issue -
State: closed - Opened by mjy0503 over 5 years ago
- 5 comments
#403 - Question in ART delete operation
Issue -
State: closed - Opened by mjy0503 over 5 years ago
- 6 comments
#402 - Causality test case 14
Issue -
State: closed - Opened by anemoneflower over 5 years ago
- 1 comment
#401 - CodeLLDB configuration
Issue -
State: closed - Opened by goodCycle over 5 years ago
- 7 comments
#400 - Question in slide p.58 mutual exclusion
Issue -
State: closed - Opened by choi7023546 over 5 years ago
- 3 comments
#399 - Question about Entry & Cursor
Issue -
State: closed - Opened by mjy0503 over 5 years ago
- 3 comments
#398 - Question on Re-certification
Issue -
State: closed - Opened by hushon over 5 years ago
- 7 comments
#397 - Relaxed behaviors and interleaving semantics, OOTA(out of thin air)
Issue -
State: closed - Opened by goodCycle over 5 years ago
- 1 comment
#396 - Why is the lookup function designed to return the input key?
Issue -
State: closed - Opened by snyokang over 5 years ago
- 2 comments
#395 - Questions on locks (#60-64)
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 1 comment
#394 - Can you give an example of a structure of the Cursor?
Issue -
State: closed - Opened by snyokang over 5 years ago
- 4 comments
#393 - Are we expected to be able to make proves with operational semantics on the midterm?
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 2 comments
#392 - Performance of ART
Issue -
State: closed - Opened by lumiknit over 5 years ago
- 2 comments
#391 - question about promising semantics
Issue -
State: closed - Opened by choi7023546 over 5 years ago
- 2 comments
#390 - Causality test case 7: how promising semantics allows behavior?
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 4 comments
#389 - Views in release/acquire
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 4 comments
#388 - What is the behavior of views in case of sequential rmw instructions?
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 4 comments
#387 - Why casualty test case 16 is wrong?
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 7 comments
#386 - Causality test case 12: behavior allowed?
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 3 comments
#385 - What is the precise meaning of relaxed behaviors and orderings?
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 1 comment
#384 - Confusion on "store hoisting"
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 2 comments
#383 - how the right thread should be reordered in order for the assertion to fail?(slide 30)
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 3 comments
#382 - What does "Ignore borrowed & borrowing ones" mean? (slide 18)
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 1 comment
#381 - How modification by owner happens in Rust?
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 1 comment
#380 - Few questions about lock
Issue -
State: closed - Opened by anemoneflower over 5 years ago
- 2 comments
#379 - Ownership and reference confusion
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 3 comments
#378 - Some questions concerning lecture slide 8.
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 2 comments
#377 - Proving invalid case using promising semantic
Issue -
State: closed - Opened by mekty2012 over 5 years ago
- 2 comments
#27 - Implement upgrade for RawSeqLock and its ReadGuard
Pull Request -
State: closed - Opened by efenniht about 5 years ago
- 3 comments
#26 - What is "relaxed" tree?
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 2 comments
#24 - Are we expected to implement lock free logic for writes into AVL tree?
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 2 comments
#23 - Do we need to implement AVL's rebalancing techniques for HW2?
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 2 comments
#22 - Which test files we should use for HW2?
Issue -
State: closed - Opened by Shynar88 over 5 years ago
- 1 comment
#21 - Fix typo
Pull Request -
State: closed - Opened by batzor over 5 years ago
- 1 comment
#20 - [11/27 Wednesday] video lecture
Issue -
State: closed - Opened by jeehoonkang over 5 years ago
Labels: announcement
#19 - How about Using Workspace?
Issue -
State: closed - Opened by maxtnuk over 5 years ago
- 2 comments
#18 - Rmove extern keyword and Add arr_macro to initialize array
Pull Request -
State: closed - Opened by maxtnuk over 5 years ago
- 2 comments
#17 - [Homework 2] optimistic lock coupling for binary search tree (due 12/23)
Issue -
State: closed - Opened by jeehoonkang over 5 years ago
- 9 comments
Labels: announcement
#16 - LockGuard::into_raw leaks memory
Issue -
State: closed - Opened by tomtomjhj over 5 years ago
- 1 comment
#15 - Add method NodeBox::into_value.
Pull Request -
State: closed - Opened by efenniht over 5 years ago
#14 - unsafe code guidelines for hw1?
Issue -
State: closed - Opened by tomtomjhj over 5 years ago
- 4 comments
#13 - Node Structure
Issue -
State: closed - Opened by Pusnow over 5 years ago
- 2 comments
#12 - Change to the attendance policy
Issue -
State: closed - Opened by jeehoonkang over 5 years ago
Labels: announcement