==================== FINAL INTERFACE ==================== 2017-05-12 16:51:46.772723 UTC interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Solver 8002 interface hash: 9480f76976b1bb050ff16af005f4fb9f ABI hash: 2c8356954d5cbc4bc03492578325c18d export-list hash: 06f52f176fa48fc5701fc0f2ea4cb086 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: c030b5693803951d1fa99027ec5f3487 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Solver.parseFInfo Language.Fixpoint.Solver.resultExit Language.Fixpoint.Solver.solve Language.Fixpoint.Solver.solveFQ Language.Fixpoint.Types.Constraints.Solver module dependencies: Language.Fixpoint.Defunctionalize Language.Fixpoint.Graph Language.Fixpoint.Graph.Deps Language.Fixpoint.Graph.Indexed Language.Fixpoint.Graph.Partition Language.Fixpoint.Graph.Reducible Language.Fixpoint.Graph.Types Language.Fixpoint.Minimize Language.Fixpoint.Misc Language.Fixpoint.Parse Language.Fixpoint.Smt.Bitvector Language.Fixpoint.Smt.Interface Language.Fixpoint.Smt.Serialize Language.Fixpoint.Smt.Theories Language.Fixpoint.Smt.Types Language.Fixpoint.Solver.Eliminate Language.Fixpoint.Solver.GradualSolution Language.Fixpoint.Solver.Instantiate Language.Fixpoint.Solver.Monad Language.Fixpoint.Solver.Sanitize Language.Fixpoint.Solver.Solution Language.Fixpoint.Solver.Solve Language.Fixpoint.Solver.UniqifyBinds Language.Fixpoint.Solver.UniqifyKVars Language.Fixpoint.Solver.Worklist Language.Fixpoint.SortCheck Language.Fixpoint.Types Language.Fixpoint.Types.Config Language.Fixpoint.Types.Constraints Language.Fixpoint.Types.Environments Language.Fixpoint.Types.Errors Language.Fixpoint.Types.Graduals Language.Fixpoint.Types.Names Language.Fixpoint.Types.PrettyPrint Language.Fixpoint.Types.Refinements Language.Fixpoint.Types.Solutions Language.Fixpoint.Types.Sorts Language.Fixpoint.Types.Spans Language.Fixpoint.Types.Substitutions Language.Fixpoint.Types.Triggers Language.Fixpoint.Types.Utils Language.Fixpoint.Types.Visitor Language.Fixpoint.Utils.Files Language.Fixpoint.Utils.Progress Language.Fixpoint.Utils.Statistics package dependencies: ansi-terminal-0.6.2.3@ansi-terminal-0.6.2.3-4HPxin1iv6RAndS8lH3nzo array-0.5.1.1@array-0.5.1.1 ascii-progress-0.3.3.0@ascii-progress-0.3.3.0-AaLvoyEtYmuH04MiSlDfRY async-2.1.1@async-2.1.1-4n6HEMPJR2eJK0JpvCfuPK attoparsec-0.13.1.0@attoparsec-0.13.1.0-KwckfZOQnr04d9ofoJ9Hh4 base-4.9.1.0 binary-0.8.3.0@binary-0.8.3.0 boxes-0.1.4@boxes-0.1.4-6YjYnmNJvyiGUQgGc0o5m bytestring-0.10.8.1@bytestring-0.10.8.1 cereal-0.5.4.0@cereal-0.5.4.0-BsAGxfp8yAs3CiRo2E875e cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I concurrent-output-1.7.9@concurrent-output-1.7.9-3kS8cAeEcLcYjDfj5flxQ containers-0.5.7.1@containers-0.5.7.1 data-default-0.7.1.1@data-default-0.7.1.1-7EGYJX2YWqWJRbPFUHNoCr data-default-class-0.1.2.0@data-default-class-0.1.2.0-GsXqKN6o1X9jr0fF5qCVD data-default-instances-containers-0.0.1@data-default-instances-containers-0.0.1-bob6IQGdJq92c061H46zK data-default-instances-dlist-0.0.1@data-default-instances-dlist-0.0.1-FKnZBeovJMk4M89wQxDhjl data-default-instances-old-locale-0.0.1@data-default-instances-old-locale-0.0.1-9zaGDEmgOixKkmLylWdN5l deepseq-1.4.2.0@deepseq-1.4.2.0 directory-1.3.0.0@directory-1.3.0.0 dlist-0.8.0.2@dlist-0.8.0.2-6Wnps4GD7EFnRucVzXIFD double-conversion-2.0.2.0@double-conversion-2.0.2.0-FB9lbzCS3eNEibeP1aq5Xr exceptions-0.8.3@exceptions-0.8.3-ADEDRATtUrMK1JW4zMQ9U fgl-5.5.3.1@fgl-5.5.3.1-BBO2AKBsFGnFCFJiVxJiz filepath-1.4.1.1@filepath-1.4.1.1 ghc-boot-th-8.0.2@ghc-boot-th-8.0.2 ghc-prim-0.5.0.0 hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x integer-gmp-1.0.0.1 integer-logarithms-1.0.1@integer-logarithms-1.0.1-IEHCuEd5sG4JjSjlx7m5JF intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx liquiddialog-0.1.0.0@liquiddialog-0.1.0.0-CyBlNoz0Pr8MkSYl0qd8H located-base-0.1.1.0@located-base-0.1.1.0-HUdCVrbsrYd4xCcb0zuvg3 mtl-2.2.1@mtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6 old-locale-1.0.0.7@old-locale-1.0.0.7-KGBP1BSKxH5GCm0LnZP04j parallel-3.2.1.1@parallel-3.2.1.1-KQJHWCcq2Ka569Stb10nhx parallel-io-0.3.3@parallel-io-0.3.3-GsWimZpahdBADo23efeHtf parsec-3.1.11@parsec-3.1.11-113irVHGgd88sRnywByDNw pretty-1.1.3.3@pretty-1.1.3.3 primitive-0.6.1.0@primitive-0.6.1.0-6AbSTw9JXz141LE5p6LGH process-1.4.3.0@process-1.4.3.0 scientific-0.3.4.11@scientific-0.3.4.11-KV39KlwSGDKD4auxhPQ5mB split-0.2.3.1@split-0.2.3.1-FWyXC6nhV0H3AfM8IzrEFk stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve syb-0.6@syb-0.6-IcoSwlPi2Nx4zSqMmorFPS template-haskell-2.11.1.0 terminal-size-0.3.2.1@terminal-size-0.3.2.1-LL700oIgYTEEtJWQuzY2Y4 text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR text-format-0.3.1.1@text-format-0.3.1.1-IdImYtolSdoC3n5Y2CJ8aG time-1.6.0.1@time-1.6.0.1 transformers-0.5.2.0@transformers-0.5.2.0 unix-2.7.2.1@unix-2.7.2.1 unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o vector-0.11.0.0@vector-0.11.0.0-LMwQhhnXj8U3T5Bm1JFxG wx-0.92.3.0@wx-0.92.3.0-3Q3lZ4TjIdyDQ2UeO4b8P6 wxcore-0.92.3.0@wxcore-0.92.3.0-LgQy3ufqdXI6B8en1LfCGr orphans: attoparsec-0.13.1.0@attoparsec-0.13.1.0-KwckfZOQnr04d9ofoJ9Hh4:Data.Attoparsec.Text.Internal base-4.9.1.0:GHC.Base base-4.9.1.0:GHC.Float binary-0.8.3.0@binary-0.8.3.0:Data.Binary.Generic bytestring-0.10.8.1@bytestring-0.10.8.1:Data.ByteString.Builder cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I:System.Console.CmdArgs.Explicit.Help data-default-instances-containers-0.0.1@data-default-instances-containers-0.0.1-bob6IQGdJq92c061H46zK:Data.Default.Instances.Containers data-default-instances-dlist-0.0.1@data-default-instances-dlist-0.0.1-FKnZBeovJMk4M89wQxDhjl:Data.Default.Instances.DList data-default-instances-old-locale-0.0.1@data-default-instances-old-locale-0.0.1-9zaGDEmgOixKkmLylWdN5l:Data.Default.Instances.OldLocale hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable.Generic liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Smt.Serialize liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Solver.Instantiate liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Environments liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Errors liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Graduals liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Names liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Spans liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Substitutions stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve:Control.Monad.STM syb-0.6@syb-0.6-IcoSwlPi2Nx4zSqMmorFPS:Data.Generics.Instances text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Lazy text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Show time-1.6.0.1@time-1.6.0.1:Data.Time.Calendar.Gregorian time-1.6.0.1@time-1.6.0.1:Data.Time.Format.Parse time-1.6.0.1@time-1.6.0.1:Data.Time.LocalTime.LocalTime transformers-0.5.2.0@transformers-0.5.2.0:Control.Monad.Trans.Error vector-0.11.0.0@vector-0.11.0.0-LMwQhhnXj8U3T5Bm1JFxG:Data.Vector.Fusion.Bundle wx-0.92.3.0@wx-0.92.3.0-3Q3lZ4TjIdyDQ2UeO4b8P6:Graphics.UI.WX.Controls wx-0.92.3.0@wx-0.92.3.0-3Q3lZ4TjIdyDQ2UeO4b8P6:Graphics.UI.WX.Dialogs wx-0.92.3.0@wx-0.92.3.0-3Q3lZ4TjIdyDQ2UeO4b8P6:Graphics.UI.WX.Draw wx-0.92.3.0@wx-0.92.3.0-3Q3lZ4TjIdyDQ2UeO4b8P6:Graphics.UI.WX.Media wx-0.92.3.0@wx-0.92.3.0-3Q3lZ4TjIdyDQ2UeO4b8P6:Graphics.UI.WX.Menu wx-0.92.3.0@wx-0.92.3.0-3Q3lZ4TjIdyDQ2UeO4b8P6:Graphics.UI.WX.Timer wx-0.92.3.0@wx-0.92.3.0-3Q3lZ4TjIdyDQ2UeO4b8P6:Graphics.UI.WX.TopLevelWindow wx-0.92.3.0@wx-0.92.3.0-3Q3lZ4TjIdyDQ2UeO4b8P6:Graphics.UI.WX.Variable wx-0.92.3.0@wx-0.92.3.0-3Q3lZ4TjIdyDQ2UeO4b8P6:Graphics.UI.WX.Window family instance modules: attoparsec-0.13.1.0@attoparsec-0.13.1.0-KwckfZOQnr04d9ofoJ9Hh4:Data.Attoparsec.Internal.Types base-4.9.1.0:Control.Applicative base-4.9.1.0:Data.Complex base-4.9.1.0:Data.Either base-4.9.1.0:Data.Functor.Compose base-4.9.1.0:Data.Functor.Const base-4.9.1.0:Data.Functor.Identity base-4.9.1.0:Data.Functor.Product base-4.9.1.0:Data.Functor.Sum base-4.9.1.0:Data.List.NonEmpty base-4.9.1.0:Data.Monoid base-4.9.1.0:Data.Semigroup base-4.9.1.0:Data.Type.Equality base-4.9.1.0:Data.Version base-4.9.1.0:Data.Void base-4.9.1.0:GHC.Exts base-4.9.1.0:GHC.Generics base-4.9.1.0:GHC.IO.Exception base-4.9.1.0:GHC.TypeLits containers-0.5.7.1@containers-0.5.7.1:Data.IntMap.Base containers-0.5.7.1@containers-0.5.7.1:Data.IntSet.Base containers-0.5.7.1@containers-0.5.7.1:Data.Map.Base containers-0.5.7.1@containers-0.5.7.1:Data.Sequence containers-0.5.7.1@containers-0.5.7.1:Data.Set.Base dlist-0.8.0.2@dlist-0.8.0.2-6Wnps4GD7EFnRucVzXIFD:Data.DList fgl-5.5.3.1@fgl-5.5.3.1-BBO2AKBsFGnFCFJiVxJiz:Data.Graph.Inductive.PatriciaTree ghc-boot-th-8.0.2@ghc-boot-th-8.0.2:GHC.LanguageExtensions.Type intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx:Data.Interned.Internal.Text liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Graph.Types liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Parse liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Smt.Bitvector liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Solver.Monad liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Solver.UniqifyBinds liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Config liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Environments liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Errors liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Names liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Solutions liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Sorts liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Spans liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Triggers liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Utils.Statistics pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.Annotated.HughesPJ pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ primitive-0.6.1.0@primitive-0.6.1.0-6AbSTw9JXz141LE5p6LGH:Control.Monad.Primitive template-haskell-2.11.1.0:Language.Haskell.TH.Syntax terminal-size-0.3.2.1@terminal-size-0.3.2.1-LL700oIgYTEEtJWQuzY2Y4:System.Console.Terminal.Common text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Lazy unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashMap.Base unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashSet vector-0.11.0.0@vector-0.11.0.0-LMwQhhnXj8U3T5Bm1JFxG:Data.Vector import -/ base-4.9.1.0:Control.Concurrent 2ee6a0a58489520b9a96d8fef10380fa import -/ base-4.9.1.0:Control.Exception a76dd9666251322fe34dbcca3a0817bf import -/ base-4.9.1.0:Control.Exception.Base 1e106916283856f4d9caeddab92cd861 import -/ base-4.9.1.0:Control.Monad a6784c5dab0d75c63dabec5a37843f98 import -/ base-4.9.1.0:Data.Either 20b09ef8d0a5b74fdec011c40c1587f5 import -/ base-4.9.1.0:Data.Foldable 3e0b6967a1da89945d0e2d47266337a2 import -/ base-4.9.1.0:Data.Functor 5ab1dc703df5b482e77efb697833ca3c import -/ base-4.9.1.0:Data.Traversable 556020d7cf3c4a34a774600512918a37 import -/ base-4.9.1.0:Data.Tuple 7dc4bbb45d2e69c991ffac438beeca11 import -/ base-4.9.1.0:GHC.Base c4231c43c07e46080a26bf94094c7aa1 import -/ base-4.9.1.0:GHC.Conc.Sync 8d0a228e5fc4d8c110495066f4d52ea1 import -/ base-4.9.1.0:GHC.IO eb504c57b397cf133849f8586f15dafb import -/ base-4.9.1.0:GHC.IO.Exception 5064be4c355632a1d1c4f2322f56ac52 import -/ base-4.9.1.0:GHC.List ab8c4e523e6c479c549d3bcd5fc4a439 import -/ base-4.9.1.0:GHC.Show a027f5ac24879eaba752f44aa90fe511 import -/ base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771 import -/ base-4.9.1.0:System.Exit 068ba078eb20417d7af66db8b8ab4db1 import -/ base-4.9.1.0:System.IO c9de64c5f5407c4cf1c52500c4d15200 import -/ binary-0.8.3.0@binary-0.8.3.0:Data.Binary 68bf10cd9cced43ad785ce79fc9157c3 import -/ cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I:System.Console.CmdArgs.Verbosity 7bf06f3afbdc9ccb1d15f1e14eae9da1 import -/ deepseq-1.4.2.0@deepseq-1.4.2.0:Control.DeepSeq 0a99763cf6016b16bbf55422778a79b2 import -/ ghc-prim-0.5.0.0:GHC.Classes 0bdf3d057a415ec1b84a7b1994efbe47 import -/ ghc-prim-0.5.0.0:GHC.Types 89f8de4f08018c9177c98d979eae0e45 import -/ Language.Fixpoint.Defunctionalize 8acece72d61f2fb79269be16e6cbbc85 exports: 6cf7988eea4549cf616df526e14b274f defunctionalize 08b99760054eadcc59d0f45d17f083b1 import -/ Language.Fixpoint.Graph b82de3fe19e489728a006f34ca233f46 exports: f29a81bba44f58369c2c25b733ebd06a import -/ Language.Fixpoint.Graph.Deps eeddef0c8a8bfd0d61769d397e7bdea8 graphStatistics f2e5384a7daad7f4854387c09002e45d slice 8123aa5f119b2a24e0ae8d570b08c6da import -/ Language.Fixpoint.Graph.Partition aa3130ecfc62cced6c8207efef6e9329 mcInfo 320a8d94b58dd9c49994b270eea7b2d9 partition 8311fcf14cf7bbfc61d0a05c1866b570 partition' 7a4b204ac4742210cd5f57de12beb268 import -/ Language.Fixpoint.Minimize c778b3a87dba091ab5320300a36b0104 exports: 9801e5bde1c56ac0addb058b8e64f1eb minKvars b0afb8e38f7d087592f25b3995c6d1a4 minQuals beac32e6735514d2c5de03cb6293e655 minQuery bbc4ef09e638025ade4af74a91a2f18b import -/ Language.Fixpoint.Misc 8dcc45892a5330e586784ea12f52dd65 exports: 3408045fd5294879efb3c76c6b2e957b Loud 6eea52825f6da9a459d08c269e99b0e9 asyncMapM 2448a43d1eef2a62f2010abe411c4274 colorStrLn 8cd892c125e9882667706336292de668 donePhase b6fb7118857d10a65ac764dc0346f808 ensurePath 21e1e1616d926a53d0ba292f5100191d errorstar 38cc16c0836e03b9af68d3c95faef762 writeLoud 0519d388dd549cf2f7de1af145aa8896 import -/ Language.Fixpoint.Parse db0d60c283eaf1d912c37417b2899bec exports: c875cc7c4de8cd2d4926581732367580 rr' 5d404f9b4ee7b9447537729bb1724ca8 import -/ Language.Fixpoint.Smt.Interface 76bff8cfb689ada4cb3196ea765c663f exports: dd6e5525bbd669ac48676202593637eb makeSmtContext 612c8700641065a3baed04be1e41c02b smtPush 6e8434889b57fcafd837267350013e2f import -/ Language.Fixpoint.Solver.Instantiate bc74bc3f39ff286d4e97783933fe81cc exports: e539e1790126f34dddff4edab36a4e36 instantiateFInfo e15dc6194b1e6be56acc2d559fac3431 import -/ Language.Fixpoint.Solver.Sanitize ff19a94c7792aae49f20f609ba480654 exports: 413c872f3f39b8d2fc50665da15a3129 sanitize 43b24fcbc85788cf864e60d2b7b42a36 symbolEnv 91257bce47799fc9438964e3400bca8b import -/ Language.Fixpoint.Solver.Solve 4218663921abef52b47d31a35f08111f exports: c383a883ff84ad07007f6820409dc7b8 solve 6f62cdced505fba304eed14fdaf01dd6 import -/ Language.Fixpoint.Solver.UniqifyBinds a7de20d9282753db6125ff709738ee04 exports: 25688f0f76e74471c6da6ffa355a80a0 renameAll 799cbdad0f1b6bb178a2d47b9440aa59 import -/ Language.Fixpoint.Solver.UniqifyKVars 9be7f6a18b000000ba4229abe0b79c93 exports: ab96b4fb15089ad60900c2b9bcc3b0ef wfcUniqify 7e6cf87f7b1f01e5be5af252f5d8b7c3 import -/ Language.Fixpoint.SortCheck 04ab21222148af2d124cde0e043ef924 exports: e64dfad7b499c2aab7e3652ca9b527d5 elaborate c460ee1435aadde133433f0933f18b6c import -/ Language.Fixpoint.Types 379a7ecf7ab7c770958c4c723e28c1d2 exports: 0af36b6c83c4ee67c2150e62bec20e14 import -/ Language.Fixpoint.Types.Config 8ed6de90331535ece74d4ff7fcfff0df exports: 26252365e1684d225d5392dd42c93881 All f27bb2df670a2c606571fa66519e6846 Config a1e0868924a10a6ced01485926d4ec1f cores 9e1d1282593d99872b0e242ecd6b85a1 eliminate 8515331fd0fe3873f3fef011f2647a2f gradual 97fcb53f5d2bfb56746749a1c19ed166 maxPartSize 410003e059e9f41393febd062b02471c minPartSize ccfc03d9a015aa0085db642f29411517 minimize f163a0aef3dac715cfcd2da25736e889 minimizeKs a0cf428ccbf6fa9e97b4f5deda4cd5f0 minimizeQs 7deb79d9e3a1253ca0155cd49c4ec264 multicore 6b0e90398e6f7f6a7d5015a9f25529ac parts 7d7ac099de8eb5f90f45fec7b3266f14 queryFile a3de8e7a9edce3ecfb4556e8785fc343 save 7e102e42eaf762813d641e62cf0f5ef8 srcFile 9cbdb1bb3ab4e3e3e684e76b41b0d807 stats 2c033ec27663db66462bf5111c580072 withPragmas 2177da741dbd3206dd67d9cc5e9906db import -/ Language.Fixpoint.Types.Constraints b990dd256cdfa37a24492fae1684cfba FInfo 3213e85dfe758ae89c1ad08a0ad56ebb FInfoWithOpts 4cf6533fe54de93a6457710d8f052012 Result 86e0496ddaed8ff899fbd7d8aecc098f Result a4bc36bdb15e1ca1cbde55d9eb8492b9 SInfo c4bf42c4a9b32550baf9a82ec918fc53 Solver 853cb9d0d1c70bf03920f789d9f331f1 convertFormat 3a2c696d475cbfc8f4b10dc577c9d141 dLits 991f2dd7463045089506239416f33237 fioFI c344f8f0de800937686ba517ddb279f8 fioOpts 88efce93eced757f5dce1738e9019e02 gLits 34f167f6faeca9302af46eb8206147c8 gresSolution 4599f58e2b162c32f0f579afec5857b8 quals c861732529ff030d0dc41d7faa234fc6 remakeQual 1e299a27e0c29f477ad26d76c331b868 resSolution 4ec8e9b828293e62e334cb70759fb8db resStatus 985692fcafbf653c36117ba4896cc308 saveQuery 5f8fb64c7f14f7cabc39ea6173e9acaa toFixpoint a1885d64af107e509cce298c0cce54a5 import -/ Language.Fixpoint.Types.Errors acf2a3afc2cd57dc221f14b12643303f exports: d1c211f3a46ca6570fe4df4a74a8801d Crash 74975cecdaea3de8c4c3ca46c83aa885 Error 4fc3f6b47fed272b74e8160d42ff6d3d FixResult b8a8d3729cc27dec2badf145032490ba Safe 4aeb1a46e3ea5544f2e7f6c28cba263f Unsafe 41816750d4773bcafd7f5c5fc92a0c5c colorResult dd6587667063acb011b555d27342110c die dbaf75abf19387c15f40a8c2817884dc resultDoc 4018a879fe8492ebabe8f3905b1109b4 import -/ Language.Fixpoint.Types.PrettyPrint eda0054495b47e5cdbd9189907beceb5 Fixpoint ed2c9c62a916ec4b9fedf9553cd44702 showpp 6c7acfad3292f20adf3bdca6d5c2204a import -/ Language.Fixpoint.Types.Spans 1fc6b25ff5984c11eae379e71fc71312 Loc 24f8dfbf29d330a063d2617ecd6e6eb5 import -/ Language.Fixpoint.Utils.Files be394d70e321a20df414eb3c7ce0cdfa exports: ebb433e6c2d1f5ff63bc5cc6b8ec3d71 Out 33256e7991818778e86cd9f546b660e9 Part b1166535e41ed5d03270a82dd3b40581 isBinary 9853490a070ff681b4d5dfc9aa320788 import -/ Language.Fixpoint.Utils.Statistics ac0f532634679a6d059602bbbb9e5db0 exports: 0f08bd1880e142bc37cd920a5b7e9f31 statistics 8939dc74a1995889a11485f417bf939f import -/ pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ 0c3d66734497c26d70ab123829dd1cb4 c26fbb0fe2cb1de52b11c716c18a710e $trModule :: GHC.Types.Module d42b79eb13a6a6e72bce024459d8d77e parseFInfo :: [GHC.IO.FilePath] -> GHC.Types.IO (Language.Fixpoint.Types.Constraints.FInfo a) ed026a97e1c4dbbbc6b3eb3e945ff230 resultExit :: Language.Fixpoint.Types.Errors.FixResult a -> GHC.IO.Exception.ExitCode 06d2e0de1cc6311ec4f4142fd2a7d0d5 solve :: (Control.DeepSeq.NFData a, Language.Fixpoint.Types.PrettyPrint.Fixpoint a, GHC.Show.Show a, Language.Fixpoint.Types.Spans.Loc a) => Language.Fixpoint.Types.Constraints.Solver a 9c30f0405399f1f4dd491efca0dc3a33 solveFQ :: Language.Fixpoint.Types.Config.Config -> GHC.Types.IO GHC.IO.Exception.ExitCode vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False