Update submodules

PrincetonUniversity · Jan 9, 2025 · afd9979 · afd9979
1 parent 73b100f
commit afd9979
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/InteractionTrees b/InteractionTrees
diff --git a/fcf b/fcf
+6 −0		.circleci/config.yml
+7 −0		CHANGELOG.md
+1 −1		_CoqProject.itree
+2 −1		coq-itree-extra.opam
+3 −2		coq-itree.opam
+2 −2		dune-project
+4 −5		extra/Dijkstra/ITreeDijkstra.v
+16 −17		extra/ITrace/ITraceBind.v
+3 −2		extra/ITrace/ITraceFacts.v
+3 −2		extra/ITrace/ITracePrefix.v
+1 −1		extra/Secure/Labels.v
+1 −1		extra/Secure/SecureEqHalt.v
+0 −391		secure_example/Utils_tutorial.v
+2 −0		theories/Basics/Basics.v
+2 −3		theories/Basics/CategoryRelations.v
+70 −36		theories/Basics/CategoryTheory.v
+15 −8		theories/Basics/HeterogeneousRelations.v
+13 −0		theories/Basics/Utils.v
+2 −2		theories/Core/KTreeFacts.v
+1 −1		theories/Eq/Eqit.v
+4 −4		theories/Eq/EuttExtras.v
+1 −1		theories/Eq/Rutt.v
+1 −1		theories/Eq/SimUpToTaus.v
+1 −1		theories/Eq/UpToTaus.v
+1 −1		theories/Events/FailFacts.v
+3 −2		theories/Events/Writer.v
+1 −1		theories/ITreeFacts.v
+1 −1		theories/Interp/RecursionFacts.v
+1 −1		theories/Interp/Traces.v
+1 −1		theories/Props/Finite.v
+1 −1		theories/Props/HasPost.v
+1 −1		theories/Props/Leaf.v
+1 −1		tutorial/Imp.v
+0 −391		tutorial/Utils_tutorial.v