Commit 6c6d652
committed
Rebase copilot submodule on top of upstream master.
1 parent f41359e commit 6c6d652
1 file changed
+1
-1
lines changed- copilot-c99/CHANGELOG+7-1
- copilot-c99/copilot-c99.cabal+10-10
- copilot-c99/src/Copilot/Compile/C99.hs+2-2
- copilot-c99/src/Copilot/Compile/C99/CodeGen.hs+1-3
- copilot-c99/src/Copilot/Compile/C99/Compile.hs+157-5
- copilot-c99/src/Copilot/Compile/C99/Compile/Internal.hs-154
- copilot-c99/src/Copilot/Compile/C99/External.hs+1-3
- copilot-c99/src/Copilot/Compile/C99/Settings.hs+9-5
- copilot-c99/src/Copilot/Compile/C99/Settings/Internal.hs-12
- copilot-c99/src/Copilot/Compile/C99/Translate.hs+1-3
- copilot-c99/src/Copilot/Compile/C99/Util.hs+1-3
- copilot-core/CHANGELOG+15-1
- copilot-core/copilot-core.cabal+8-4
- copilot-core/src/Copilot/Core/Error.hs+6-7
- copilot-core/src/Copilot/Core/ErrorInternal.hs+26
- copilot-core/src/Copilot/Core/Interpret.hs+1-1
- copilot-core/src/Copilot/Core/Interpret/Eval.hs+14-10
- copilot-core/src/Copilot/Core/Interpret/Render.hs+2-117
- copilot-core/src/Copilot/Core/Interpret/RenderInternal.hs+130
- copilot-core/src/Copilot/Core/Locals.hs-99
- copilot-core/src/Copilot/Core/PrettyPrint.hs+2-1
- copilot-core/src/Copilot/Core/Type/Dynamic.hs+3
- copilot-core/src/Copilot/Core/Type/Eq.hs-79
- copilot-core/src/Copilot/Core/Type/Read.hs-53
- copilot-core/src/Copilot/Core/Type/Show.hs+1-2
- copilot-core/src/Copilot/Core/Type/Uninitialized.hs+1
- copilot-language/CHANGELOG+7-1
- copilot-language/copilot-language.cabal+6-5
- copilot-language/src/Copilot.hs-14
- copilot-language/src/Copilot/Language/Operators/Extern.hs+8
- copilot-language/src/Copilot/Language/Operators/Integral.hs+4-3
- copilot-language/src/Copilot/Language/Reify.hs+2-1
- copilot-language/src/Copilot/Language/Stream.hs+1-5
- copilot-language/src/System/Mem/StableName/Map.hs+1-1
- copilot-libraries/CHANGELOG+5-1
- copilot-libraries/copilot-libraries.cabal+4-2
- copilot-theorem/CHANGELOG+6-1
- copilot-theorem/copilot-theorem.cabal+5-3
- copilot-theorem/examples/BoyerMoore.hs+19-1
- copilot-theorem/src/Copilot/Theorem/TransSys/Cast.hs+19-20
- copilot-theorem/src/Copilot/Theorem/TransSys/Translate.hs+2-2
- copilot/CHANGELOG+7-2
- copilot/copilot.cabal+20-6
- copilot/examples/Structs.hs+75
0 commit comments