concurrent-programming-web issueshttps://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues2024-03-22T12:43:15+01:00https://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues/97Development build: Trace action computes double traces2024-03-22T12:43:15+01:00Felix FreibergerDevelopment build: Trace action computes double tracesWhen running a development build, opening the trace action sometimes (but not always) causes two traces to be shown because two trace commands are sent to the worker. (This is caused by an effect being invoked twice; the cancellation is ...When running a development build, opening the trace action sometimes (but not always) causes two traces to be shown because two trace commands are sent to the worker. (This is caused by an effect being invoked twice; the cancellation is not triggered because the state is not updated in-between.)
Restarting the trace from the UI works fine.Dominic ZimmerDominic Zimmerhttps://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues/60Memory Model: Inconsistent results after reverting assumption2021-01-21T11:10:46+01:00Felix FreibergerMemory Model: Inconsistent results after reverting assumptionLook at this video: ![2019-06-18_15-53-28](/uploads/b3475ffb28021b5dee0c150bda4b7a2c/2019-06-18_15-53-28.mp4)
At the end, I have 3 solutions, add a constraint, remove it again, and then there are only 2 solutions.Look at this video: ![2019-06-18_15-53-28](/uploads/b3475ffb28021b5dee0c150bda4b7a2c/2019-06-18_15-53-28.mp4)
At the end, I have 3 solutions, add a constraint, remove it again, and then there are only 2 solutions.Fabian KosmaleFabian Kosmale