From ad2bfc801d5720d02e2700298a68db94ce09b915 Mon Sep 17 00:00:00 2001 From: charguer <arthur@chargueraud.org> Date: Tue, 29 May 2018 21:11:25 +0200 Subject: [PATCH] reorganize folders --- export/export_common.sh | 2 +- Makefile.iris => extra/Makefile.iris | 0 Makefile.model => extra/Makefile.model | 0 Makefile.root => extra/Makefile.root | 0 Example.v => theories/Example.v | 0 ExampleBasic.v => theories/ExampleBasic.v | 0 ExampleBasicNonlifted.v => theories/ExampleBasicNonlifted.v | 0 ExampleHigherOrder.v => theories/ExampleHigherOrder.v | 0 ExampleList.v => theories/ExampleList.v | 0 ExampleListMosel.v => theories/ExampleListMosel.v | 0 ExampleListNonlifted.v => theories/ExampleListNonlifted.v | 0 ExampleQueueNonlifted.v => theories/ExampleQueueNonlifted.v | 0 ExampleRO.v => theories/ExampleRO.v | 0 ExampleROMosel.v => theories/ExampleROMosel.v | 0 ExampleTrees.v => theories/ExampleTrees.v | 0 ExampleUnionFind.v => theories/ExampleUnionFind.v | 0 Fmap.v => theories/Fmap.v | 0 LambdaCF.v => theories/LambdaCF.v | 0 LambdaCFCredits.v => theories/LambdaCFCredits.v | 0 LambdaCFLifted.v => theories/LambdaCFLifted.v | 0 LambdaCFTactics.v => theories/LambdaCFTactics.v | 0 LambdaSemantics.v => theories/LambdaSemantics.v | 0 LambdaSep.v => theories/LambdaSep.v | 0 LambdaSepCredits.v => theories/LambdaSepCredits.v | 0 LambdaSepLifted.v => theories/LambdaSepLifted.v | 0 LambdaSepMosel.v => theories/LambdaSepMosel.v | 0 LambdaSepRO.v => theories/LambdaSepRO.v | 0 LambdaSepROMosel.v => theories/LambdaSepROMosel.v | 0 LambdaStruct.v => theories/LambdaStruct.v | 0 LambdaStructLifted.v => theories/LambdaStructLifted.v | 0 LambdaWP.v => theories/LambdaWP.v | 0 LambdaWPLifted.v => theories/LambdaWPLifted.v | 0 Makefile => theories/Makefile | 0 SLHimpl.v => theories/SLHimpl.v | 0 SLHprop.v => theories/SLHprop.v | 0 SLRules.v => theories/SLRules.v | 0 SLSemantics.v => theories/SLSemantics.v | 0 SLWP.v => theories/SLWP.v | 0 SepFunctor.v => theories/SepFunctor.v | 0 SepMosel.v => theories/SepMosel.v | 0 TLCbuffer.v => theories/TLCbuffer.v | 0 41 files changed, 1 insertion(+), 1 deletion(-) rename Makefile.iris => extra/Makefile.iris (100%) rename Makefile.model => extra/Makefile.model (100%) rename Makefile.root => extra/Makefile.root (100%) rename Example.v => theories/Example.v (100%) rename ExampleBasic.v => theories/ExampleBasic.v (100%) rename ExampleBasicNonlifted.v => theories/ExampleBasicNonlifted.v (100%) rename ExampleHigherOrder.v => theories/ExampleHigherOrder.v (100%) rename ExampleList.v => theories/ExampleList.v (100%) rename ExampleListMosel.v => theories/ExampleListMosel.v (100%) rename ExampleListNonlifted.v => theories/ExampleListNonlifted.v (100%) rename ExampleQueueNonlifted.v => theories/ExampleQueueNonlifted.v (100%) rename ExampleRO.v => theories/ExampleRO.v (100%) rename ExampleROMosel.v => theories/ExampleROMosel.v (100%) rename ExampleTrees.v => theories/ExampleTrees.v (100%) rename ExampleUnionFind.v => theories/ExampleUnionFind.v (100%) rename Fmap.v => theories/Fmap.v (100%) rename LambdaCF.v => theories/LambdaCF.v (100%) rename LambdaCFCredits.v => theories/LambdaCFCredits.v (100%) rename LambdaCFLifted.v => theories/LambdaCFLifted.v (100%) rename LambdaCFTactics.v => theories/LambdaCFTactics.v (100%) rename LambdaSemantics.v => theories/LambdaSemantics.v (100%) rename LambdaSep.v => theories/LambdaSep.v (100%) rename LambdaSepCredits.v => theories/LambdaSepCredits.v (100%) rename LambdaSepLifted.v => theories/LambdaSepLifted.v (100%) rename LambdaSepMosel.v => theories/LambdaSepMosel.v (100%) rename LambdaSepRO.v => theories/LambdaSepRO.v (100%) rename LambdaSepROMosel.v => theories/LambdaSepROMosel.v (100%) rename LambdaStruct.v => theories/LambdaStruct.v (100%) rename LambdaStructLifted.v => theories/LambdaStructLifted.v (100%) rename LambdaWP.v => theories/LambdaWP.v (100%) rename LambdaWPLifted.v => theories/LambdaWPLifted.v (100%) rename Makefile => theories/Makefile (100%) rename SLHimpl.v => theories/SLHimpl.v (100%) rename SLHprop.v => theories/SLHprop.v (100%) rename SLRules.v => theories/SLRules.v (100%) rename SLSemantics.v => theories/SLSemantics.v (100%) rename SLWP.v => theories/SLWP.v (100%) rename SepFunctor.v => theories/SepFunctor.v (100%) rename SepMosel.v => theories/SepMosel.v (100%) rename TLCbuffer.v => theories/TLCbuffer.v (100%) diff --git a/export/export_common.sh b/export/export_common.sh index 9ec89d6..1e550cf 100644 --- a/export/export_common.sh +++ b/export/export_common.sh @@ -25,7 +25,7 @@ ARCHIVE=`pwd`/$TARGET LOCAL=`pwd` # The absolute name of the root folder. -SOURCES=`pwd`/../.. +SOURCES=`pwd`/../../theories # Wipe out a previous archive. rm -rf $ARCHIVE $ARCHIVE.tar.gz diff --git a/Makefile.iris b/extra/Makefile.iris similarity index 100% rename from Makefile.iris rename to extra/Makefile.iris diff --git a/Makefile.model b/extra/Makefile.model similarity index 100% rename from Makefile.model rename to extra/Makefile.model diff --git a/Makefile.root b/extra/Makefile.root similarity index 100% rename from Makefile.root rename to extra/Makefile.root diff --git a/Example.v b/theories/Example.v similarity index 100% rename from Example.v rename to theories/Example.v diff --git a/ExampleBasic.v b/theories/ExampleBasic.v similarity index 100% rename from ExampleBasic.v rename to theories/ExampleBasic.v diff --git a/ExampleBasicNonlifted.v b/theories/ExampleBasicNonlifted.v similarity index 100% rename from ExampleBasicNonlifted.v rename to theories/ExampleBasicNonlifted.v diff --git a/ExampleHigherOrder.v b/theories/ExampleHigherOrder.v similarity index 100% rename from ExampleHigherOrder.v rename to theories/ExampleHigherOrder.v diff --git a/ExampleList.v b/theories/ExampleList.v similarity index 100% rename from ExampleList.v rename to theories/ExampleList.v diff --git a/ExampleListMosel.v b/theories/ExampleListMosel.v similarity index 100% rename from ExampleListMosel.v rename to theories/ExampleListMosel.v diff --git a/ExampleListNonlifted.v b/theories/ExampleListNonlifted.v similarity index 100% rename from ExampleListNonlifted.v rename to theories/ExampleListNonlifted.v diff --git a/ExampleQueueNonlifted.v b/theories/ExampleQueueNonlifted.v similarity index 100% rename from ExampleQueueNonlifted.v rename to theories/ExampleQueueNonlifted.v diff --git a/ExampleRO.v b/theories/ExampleRO.v similarity index 100% rename from ExampleRO.v rename to theories/ExampleRO.v diff --git a/ExampleROMosel.v b/theories/ExampleROMosel.v similarity index 100% rename from ExampleROMosel.v rename to theories/ExampleROMosel.v diff --git a/ExampleTrees.v b/theories/ExampleTrees.v similarity index 100% rename from ExampleTrees.v rename to theories/ExampleTrees.v diff --git a/ExampleUnionFind.v b/theories/ExampleUnionFind.v similarity index 100% rename from ExampleUnionFind.v rename to theories/ExampleUnionFind.v diff --git a/Fmap.v b/theories/Fmap.v similarity index 100% rename from Fmap.v rename to theories/Fmap.v diff --git a/LambdaCF.v b/theories/LambdaCF.v similarity index 100% rename from LambdaCF.v rename to theories/LambdaCF.v diff --git a/LambdaCFCredits.v b/theories/LambdaCFCredits.v similarity index 100% rename from LambdaCFCredits.v rename to theories/LambdaCFCredits.v diff --git a/LambdaCFLifted.v b/theories/LambdaCFLifted.v similarity index 100% rename from LambdaCFLifted.v rename to theories/LambdaCFLifted.v diff --git a/LambdaCFTactics.v b/theories/LambdaCFTactics.v similarity index 100% rename from LambdaCFTactics.v rename to theories/LambdaCFTactics.v diff --git a/LambdaSemantics.v b/theories/LambdaSemantics.v similarity index 100% rename from LambdaSemantics.v rename to theories/LambdaSemantics.v diff --git a/LambdaSep.v b/theories/LambdaSep.v similarity index 100% rename from LambdaSep.v rename to theories/LambdaSep.v diff --git a/LambdaSepCredits.v b/theories/LambdaSepCredits.v similarity index 100% rename from LambdaSepCredits.v rename to theories/LambdaSepCredits.v diff --git a/LambdaSepLifted.v b/theories/LambdaSepLifted.v similarity index 100% rename from LambdaSepLifted.v rename to theories/LambdaSepLifted.v diff --git a/LambdaSepMosel.v b/theories/LambdaSepMosel.v similarity index 100% rename from LambdaSepMosel.v rename to theories/LambdaSepMosel.v diff --git a/LambdaSepRO.v b/theories/LambdaSepRO.v similarity index 100% rename from LambdaSepRO.v rename to theories/LambdaSepRO.v diff --git a/LambdaSepROMosel.v b/theories/LambdaSepROMosel.v similarity index 100% rename from LambdaSepROMosel.v rename to theories/LambdaSepROMosel.v diff --git a/LambdaStruct.v b/theories/LambdaStruct.v similarity index 100% rename from LambdaStruct.v rename to theories/LambdaStruct.v diff --git a/LambdaStructLifted.v b/theories/LambdaStructLifted.v similarity index 100% rename from LambdaStructLifted.v rename to theories/LambdaStructLifted.v diff --git a/LambdaWP.v b/theories/LambdaWP.v similarity index 100% rename from LambdaWP.v rename to theories/LambdaWP.v diff --git a/LambdaWPLifted.v b/theories/LambdaWPLifted.v similarity index 100% rename from LambdaWPLifted.v rename to theories/LambdaWPLifted.v diff --git a/Makefile b/theories/Makefile similarity index 100% rename from Makefile rename to theories/Makefile diff --git a/SLHimpl.v b/theories/SLHimpl.v similarity index 100% rename from SLHimpl.v rename to theories/SLHimpl.v diff --git a/SLHprop.v b/theories/SLHprop.v similarity index 100% rename from SLHprop.v rename to theories/SLHprop.v diff --git a/SLRules.v b/theories/SLRules.v similarity index 100% rename from SLRules.v rename to theories/SLRules.v diff --git a/SLSemantics.v b/theories/SLSemantics.v similarity index 100% rename from SLSemantics.v rename to theories/SLSemantics.v diff --git a/SLWP.v b/theories/SLWP.v similarity index 100% rename from SLWP.v rename to theories/SLWP.v diff --git a/SepFunctor.v b/theories/SepFunctor.v similarity index 100% rename from SepFunctor.v rename to theories/SepFunctor.v diff --git a/SepMosel.v b/theories/SepMosel.v similarity index 100% rename from SepMosel.v rename to theories/SepMosel.v diff --git a/TLCbuffer.v b/theories/TLCbuffer.v similarity index 100% rename from TLCbuffer.v rename to theories/TLCbuffer.v -- GitLab