examples/ivory/ivory-serialize/src/Ivory/Serialize/Safe/LittleEndian.hs
examples/ivory/ivory-serialize/src/Ivory/Serialize/Safe/BigEndian.hs
examples/ivory/ivory-stdlib/src/Ivory/Stdlib/String.hs
examples/ivory/ivory-stdlib/src/Ivory/Stdlib/Memory.hs
examples/ivory/ivory-stdlib/src/Ivory/Stdlib/Maybe.hs
examples/ivory/ivory-examples/examples/Loop.hs
examples/ivory/ivory-examples/examples/FibTutorial.hs
examples/ivory/ivory-examples/examples/ClassHierarchy.hs
examples/ivory/ivory-examples/examples/AddrOfRegression.hs
examples/ivory/ivory-examples/examples/FibLoop.hs
examples/ivory/ivory-examples/examples/Alloc.hs
examples/ivory/ivory-examples/examples/Area.hs
examples/ivory/ivory-examples/examples/Array.hs
examples/ivory/ivory-examples/examples/SizeOf.hs
examples/ivory/ivory-examples/examples/Bits.hs
examples/ivory/ivory-examples/examples/ConstPtrRef.hs
examples/ivory/ivory-examples/examples/Overflow.hs
examples/ivory/ivory-examples/examples/PublicPrivate.hs
examples/ivory/ivory-examples/examples/BitData.hs
examples/ivory/ivory-examples/examples/PID.hs
examples/ivory/ivory-opts/src/Ivory/Opts/AssertFold.hs
examples/ivory/ivory-opts/src/Ivory/Opts/ConstFold.hs
examples/ivory/ivory-opts/src/Ivory/Opts/Index.hs
examples/ivory/ivory-opts/src/Ivory/Opts/CFG.hs
examples/ivory/ivory-opts/src/Ivory/Opts/SanityCheck.hs
examples/ivory/ivory-opts/src/Ivory/Opts/FP.hs
examples/ivory/ivory-eval/test/Test.hs
examples/ivory/ivory-backend-c/src/Ivory/Compile/C/Gen.hs
examples/ivory/ivory-backend-c/src/Ivory/Compile/C/Types.hs
examples/ivory/ivory-backend-c/src/Ivory/Compile/C/CmdlineFrontend.hs
examples/ivory/ivory-model-check/test/Heartbeat.hs
examples/ivory/ivory-model-check/test/PPM.hs
examples/ivory/ivory-model-check/test/RingBuffer.hs
examples/ivory/ivory-model-check/test/Test.hs
examples/ivory/ivory-model-check/src/Ivory/ModelCheck/CVC4.hs
examples/ivory/ivory-model-check/src/Ivory/ModelCheck/Ivory2CVC4.hs
examples/ivory/ivory-quickcheck/test/Test.hs
examples/ivory/ivory-quickcheck/src/Ivory/QuickCheck.hs
examples/ivory/ivory/src/Ivory/Language.hs
examples/ivory/ivory/src/Ivory/Language/Ref.hs
examples/ivory/ivory/src/Ivory/Language/Cond.hs
examples/ivory/ivory/src/Ivory/Language/MemArea.hs
examples/ivory/ivory/src/Ivory/Language/Struct.hs
examples/ivory/ivory/src/Ivory/Language/Area.hs
examples/ivory/ivory/src/Ivory/Language/Array.hs
examples/ivory/ivory/src/Ivory/Language/SizeOf.hs
examples/ivory/ivory/src/Ivory/Language/Init.hs
examples/ivory/ivory/src/Ivory/Language/String.hs
examples/ivory/ivory/src/Ivory/Language/Pointer.hs
examples/ivory/ivory/src/Ivory/Language/Module.hs
examples/ivory/ivory/src/Ivory/Language/Proc.hs
examples/ivory/ivory/src/Ivory/Language/Cast.hs
examples/ivory/ivory/src/Ivory/Language/Effects.hs
examples/ivory/ivory/src/Ivory/Language/Coroutine.hs
examples/ivory/ivory/src/Ivory/Language/BitData/Array.hs
examples/ivory/ivory/src/Ivory/Language/BitData/Bits.hs
examples/ivory/ivory/src/Ivory/Language/BitData/DefBitRep.hs
examples/ivory/ivory/src/Ivory/Language/BitData/BitData.hs
examples/ivory/ivory/src/Ivory/Language/Syntax/AST.hs
examples/ivory/ivory/src/Ivory/Language/Syntax/Concrete/ParseAST.hs
examples/ivory/ivory/src/Ivory/Language/Syntax/Concrete/QQ.hs
examples/ivory/ivory/src/Ivory/Language/Syntax/Concrete/QQ/BindExp.hs
examples/ivory/ivory/src/Ivory/Language/Syntax/Concrete/QQ/StructQQ.hs
examples/ivory/ivory/src/Ivory/Language/Syntax/Concrete/QQ/AreaQQ.hs
examples/ivory/ivory/src/Ivory/Language/Syntax/Concrete/QQ/StmtQQ.hs
examples/ivory/ivory/src/Ivory/Language/Syntax/Concrete/QQ/ExprQQ.hs
examples/ivory/ivory/src/Ivory/Language/Syntax/Concrete/QQ/ProcQQ.hs
examples/ivory/ivory/src/Ivory/Language/Syntax/Concrete/QQ/BitDataQQ.hs
examples/ivory/ivory/src/Ivory/Language/Syntax/Concrete/QQ/CondQQ.hs
examples/ivory/ivory/src/Ivory/Language/Syntax/Concrete/QQ/TypeQQ.hs
examples/ivory/ivory/src/Ivory/Language/CArray.hs
