Skip to content
Snippets Groups Projects
Commit ac341d3e authored by Hai Dang's avatar Hai Dang
Browse files

Fix _CoqProject

parent b9766c90
No related tags found
1 merge request!13Draft: Sketch of exchanger graph_lin proof
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
_CoqProject
+ 1
− 1
View file @ ac341d3e
...@@ -134,7 +134,6 @@ theories/examples/stack/code_elimination.v ...@@ -134,7 +134,6 @@ theories/examples/stack/code_elimination.v
theories/examples/stack/proof_na.v theories/examples/stack/proof_na.v
theories/examples/stack/proof_treiber_gps.v theories/examples/stack/proof_treiber_gps.v
theories/examples/stack/proof_treiber_graph.v theories/examples/stack/proof_treiber_graph.v
theories/examples/stack/proof_exchange_lin.v
## Queue ## Queue
theories/examples/queue/code_ms.v theories/examples/queue/code_ms.v
theories/examples/queue/code_hw.v theories/examples/queue/code_hw.v
...@@ -157,3 +156,4 @@ theories/examples/exchanger/spec_graph_resource.v ...@@ -157,3 +156,4 @@ theories/examples/exchanger/spec_graph_resource.v
theories/examples/exchanger/proof_graph.v theories/examples/exchanger/proof_graph.v
theories/examples/exchanger/proof_graph_resource.v theories/examples/exchanger/proof_graph_resource.v
theories/examples/exchanger/proof_sequential_client.v theories/examples/exchanger/proof_sequential_client.v
theories/examples/exchanger/proof_graph_lin.v
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment