| | | |
Offset 1, 407 lines modified | Offset 1, 407 lines modified |
1 | -rw-r--r--···0·root·········(0)·root·········(0)······767·2019-01-30·16:55:56.000000·./.gitignore | |
2 | -rw-r--r--···0·root·········(0)·root·········(0)·····1480·2019-01-30·16:55:56.000000·./LICENSE | |
3 | -rwxr-xr-x···0·root·········(0)·root·········(0)·····2661·2019-01-30·16:55:56.000000·./download_tools.sh | |
4 | -rw-r--r--···0·root·········(0)·root·········(0)·····1501·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/queue/LICENSE | |
5 | -rw-r--r--···0·root·········(0)·root·········(0)······757·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/queue/package.json | |
6 | -rw-r--r--···0·root·········(0)·root·········(0)·····1609·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/queue/test/TestQueue.curry | |
7 | -rw-r--r--···0·root·········(0)·root·········(0)·····3806·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/queue/src/Data/Queue.curry | |
8 | -rw-r--r--···0·root·········(0)·root·········(0)······137·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/queue/README.md | |
9 | -rw-r--r--···0·root·········(0)·root·········(0)·····1501·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/currypath/LICENSE | |
10 | -rw-r--r--···0·root·········(0)·root·········(0)······655·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/currypath/package.json | |
11 | -rw-r--r--···0·root·········(0)·root·········(0)·····7629·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/currypath/src/System/CurryPath.curry | |
12 | -rw-r--r--···0·root·········(0)·root·········(0)······210·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/currypath/README.md | |
13 | -rw-r--r--···0·root·········(0)·root·········(0)·····1501·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/redblacktree/LICENSE | |
14 | -rw-r--r--···0·root·········(0)·root·········(0)······793·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/redblacktree/package.json | |
15 | -rw-r--r--···0·root·········(0)·root·········(0)·····1251·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/redblacktree/test/TestRedBlackTree.curry | |
16 | -rw-r--r--···0·root·········(0)·root·········(0)·····2591·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/redblacktree/src/Data/Set/RBTree.curry | |
17 | -rw-r--r--···0·root·········(0)·root·········(0)·····1840·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/redblacktree/src/Data/Table/RBTree.curry | |
18 | -rw-r--r--···0·root·········(0)·root·········(0)·····9337·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/redblacktree/src/Data/RedBlackTree.curry | |
19 | -rw-r--r--···0·root·········(0)·root·········(0)······166·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/redblacktree/README.md | |
20 | -rw-r--r--···0·root·········(0)·root·········(0)·····1501·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/socket/LICENSE | |
21 | -rw-r--r--···0·root·········(0)·root·········(0)······592·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/socket/package.json | |
22 | -rw-r--r--···0·root·········(0)·root·········(0)·····1361·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/socket/examples/addserver.curry | |
23 | -rw-r--r--···0·root·········(0)·root·········(0)······741·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/socket/examples/httpget.curry | |
24 | -rw-r--r--···0·root·········(0)·root·········(0)·····1524·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/socket/examples/addtimeoutserver.curry | |
25 | -rw-r--r--···0·root·········(0)·root·········(0)······929·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/socket/src/Network/Socket.pakcs | |
26 | -rw-r--r--···0·root·········(0)·root·········(0)·····2617·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/socket/src/Network/Socket.kics2 | |
27 | -rw-r--r--···0·root·········(0)·root·········(0)·····3087·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/socket/src/Network/Socket.curry | |
28 | -rw-r--r--···0·root·········(0)·root·········(0)······111·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/socket/README.md | |
29 | -rw-r--r--···0·root·········(0)·root·········(0)·····1501·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/xml/LICENSE | |
30 | -rw-r--r--···0·root·········(0)·root·········(0)·····1030·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/xml/package.json | |
31 | -rw-r--r--···0·root·········(0)·root·········(0)·····3361·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/xml/examples/XmlMatching.curry | |
32 | -rw-r--r--···0·root·········(0)·root·········(0)····16028·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/xml/src/XML.curry | |
33 | -rw-r--r--···0·root·········(0)·root·········(0)····53906·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/xml/src/XCuery.lcurry | |
34 | -rw-r--r--···0·root·········(0)·root·········(0)····30362·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/xml/src/XmlConv.curry | |
35 | -rw-r--r--···0·root·········(0)·root·········(0)······904·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/xml/README.md | |
36 | -rw-r--r--···0·root·········(0)·root·········(0)·····1501·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/propertyfile/LICENSE | |
37 | -rw-r--r--···0·root·········(0)·root·········(0)······628·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/propertyfile/package.json | |
38 | -rw-r--r--···0·root·········(0)·root·········(0)·····3245·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/propertyfile/src/Data/PropertyFile.curry | |
39 | -rw-r--r--···0·root·········(0)·root·········(0)······365·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/propertyfile/README.md | |
40 | -rw-r--r--···0·root·········(0)·root·········(0)·····1501·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/frontend-exec/LICENSE | |
41 | -rw-r--r--···0·root·········(0)·root·········(0)······708·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/frontend-exec/package.json | |
42 | -rw-r--r--···0·root·········(0)·root·········(0)····11122·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/frontend-exec/src/System/FrontendExec.curry | |
43 | -rw-r--r--···0·root·········(0)·root·········(0)······277·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/frontend-exec/README.md | |
44 | -rw-r--r--···0·root·········(0)·root·········(0)·····1501·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/csv/LICENSE | |
45 | -rw-r--r--···0·root·········(0)·root·········(0)······560·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/csv/package.json | |
46 | -rw-r--r--···0·root·········(0)·root·········(0)·····3635·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/csv/src/Text/CSV.curry | |
47 | -rw-r--r--···0·root·········(0)·root·········(0)······364·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/csv/README.md | |
48 | -rw-r--r--···0·root·········(0)·root·········(0)·····1471·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/scc/LICENSE | |
49 | -rw-r--r--···0·root·········(0)·root·········(0)······679·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/scc/package.json | |
50 | -rw-r--r--···0·root·········(0)·root·········(0)·····3062·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/scc/src/Data/SCC.curry | |
51 | -rw-r--r--···0·root·········(0)·root·········(0)·······94·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/scc/README.md | |
52 | -rw-r--r--···0·root·········(0)·root·········(0)·····1501·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/flatcurry/LICENSE | |
53 | -rw-r--r--···0·root·········(0)·root·········(0)·····1189·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/flatcurry/package.json | |
54 | -rw-r--r--···0·root·········(0)·root·········(0)·····1167·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/flatcurry/test/TestFlatCurryGoodies.curry | |
55 | -rw-r--r--···0·root·········(0)·root·········(0)······884·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/flatcurry/test/TestFlatCurryXML.curry | |
56 | -rw-r--r--···0·root·········(0)·root·········(0)······348·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/flatcurry/test/rev.curry | |
57 | -rw-r--r--···0·root·········(0)·root·········(0)····23629·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/flatcurry/src/FlatCurry/Compact.curry | |
58 | -rw-r--r--···0·root·········(0)·root·········(0)·····2252·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/flatcurry/src/FlatCurry/FlexRigid.curry | |
59 | -rw-r--r--···0·root·········(0)·root·········(0)·····4327·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/flatcurry/src/FlatCurry/XML.curry | |
60 | -rw-r--r--···0·root·········(0)·root·········(0)····14331·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/flatcurry/src/FlatCurry/Show.curry | |
61 | -rw-r--r--···0·root·········(0)·root·········(0)·····9206·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/flatcurry/src/FlatCurry/Types.curry | |
62 | -rw-r--r--···0·root·········(0)·root·········(0)·····7331·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/flatcurry/src/FlatCurry/Read.curry | |
63 | -rw-r--r--···0·root·········(0)·root·········(0)·····6226·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/flatcurry/src/FlatCurry/Files.curry | |
64 | -rw-r--r--···0·root·········(0)·root·········(0)····12221·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/flatcurry/src/FlatCurry/Pretty.curry | |
65 | -rw-r--r--···0·root·········(0)·root·········(0)····29468·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/flatcurry/src/FlatCurry/Goodies.curry | |
66 | -rw-r--r--···0·root·········(0)·root·········(0)·····1682·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/flatcurry/README.md | |
67 | -rw-r--r--···0·root·········(0)·root·········(0)·····1501·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/finite-map/LICENSE | |
68 | -rw-r--r--···0·root·········(0)·root·········(0)······877·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/finite-map/package.json | |
69 | -rw-r--r--···0·root·········(0)·root·········(0)·····3053·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/finite-map/test/TestFiniteMap.curry | |
70 | -rw-r--r--···0·root·········(0)·root·········(0)····29160·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/finite-map/src/Data/FiniteMap.curry | |
71 | -rw-r--r--···0·root·········(0)·root·········(0)····21286·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/finite-map/src/Data/Map.curry | |
72 | -rw-r--r--···0·root·········(0)·root·········(0)······276·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/finite-map/README.md | |
73 | -rw-r--r--···0·root·········(0)·root·········(0)·····1501·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/random/LICENSE | |
74 | -rw-r--r--···0·root·········(0)·root·········(0)······666·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/random/package.json | |
75 | -rw-r--r--···0·root·········(0)·root·········(0)·····6874·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/random/src/System/Random.curry | |
76 | -rw-r--r--···0·root·········(0)·root·········(0)······111·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/random/README.md | |
77 | -rw-r--r--···0·root·········(0)·root·········(0)·····1501·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass-analysis/LICENSE | |
78 | -rw-r--r--···0·root·········(0)·root·········(0)······722·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass-analysis/package.json | |
79 | -rw-r--r--···0·root·········(0)·root·········(0)····13438·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass-analysis/src/Analysis/RequiredValues.curry | |
80 | -rw-r--r--···0·root·········(0)·root·········(0)·····5892·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass-analysis/src/Analysis/TotallyDefined.curry | |
81 | -rw-r--r--···0·root·········(0)·root·········(0)·····2392·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass-analysis/src/Analysis/SolutionCompleteness.curry | |
82 | -rw-r--r--···0·root·········(0)·root·········(0)·····3167·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass-analysis/src/Analysis/SensibleTypes.curry | |
83 | -rw-r--r--···0·root·········(0)·root·········(0)·····4823·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass-analysis/src/Analysis/ProgInfo.curry | |
84 | -rw-r--r--···0·root·········(0)·root·········(0)·····3033·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass-analysis/src/Analysis/HigherOrder.curry | |
85 | -rw-r--r--···0·root·········(0)·root·········(0)·····8509·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass-analysis/src/Analysis/Termination.curry | |
86 | -rw-r--r--···0·root·········(0)·root·········(0)····12371·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass-analysis/src/Analysis/RequiredValue.curry | |
87 | -rw-r--r--···0·root·········(0)·root·········(0)·····2149·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass-analysis/src/Analysis/TypeUsage.curry | |
88 | -rw-r--r--···0·root·········(0)·root·········(0)·····3503·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass-analysis/src/Analysis/RightLinearity.curry | |
89 | -rw-r--r--···0·root·········(0)·root·········(0)·····5648·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass-analysis/src/Analysis/Residuation.curry | |
90 | -rw-r--r--···0·root·········(0)·root·········(0)·····1533·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass-analysis/src/Analysis/Logging.curry | |
91 | -rw-r--r--···0·root·········(0)·root·········(0)····14030·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass-analysis/src/Analysis/Types.curry | |
92 | -rw-r--r--···0·root·········(0)·root·········(0)·····9425·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass-analysis/src/Analysis/Files.curry | |
93 | -rw-r--r--···0·root·········(0)·root·········(0)·····3955·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass-analysis/src/Analysis/Demandedness.curry | |
94 | -rw-r--r--···0·root·········(0)·root·········(0)·····1834·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass-analysis/src/Analysis/UnsafeModule.curry | |
95 | -rw-r--r--···0·root·········(0)·root·········(0)····10280·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass-analysis/src/Analysis/Groundness.curry | |
96 | -rw-r--r--···0·root·········(0)·root·········(0)····10834·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass-analysis/src/Analysis/Deterministic.curry | |
97 | -rw-r--r--···0·root·········(0)·root·········(0)·····2708·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass-analysis/src/Analysis/Indeterministic.curry | |
98 | -rw-r--r--···0·root·········(0)·root·········(0)·····4620·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass-analysis/src/Analysis/RootReplaced.curry | |
99 | -rw-r--r--···0·root·········(0)·root·········(0)······250·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass-analysis/README.md | |
100 | -rw-r--r--···0·root·········(0)·root·········(0)·····1501·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/LICENSE | |
101 | -rw-r--r--···0·root·········(0)·root·········(0)·····1103·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/package.json | |
102 | -rw-r--r--···0·root·········(0)·root·········(0)······561·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/examples/UsingCASS.curry | |
103 | -rw-r--r--···0·root·········(0)·root·········(0)·····2007·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/examples/ResiduationStats.curry | |
104 | -rw-r--r--···0·root·········(0)·root·········(0)······207·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/examples/Rev.curry | |
105 | -rw-r--r--···0·root·········(0)·root·········(0)······333·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/examples/RootReplacedTest.curry | |
106 | -rw-r--r--···0·root·········(0)·root·········(0)······566·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/examples/NonDetTest.curry | |
107 | -rw-r--r--···0·root·········(0)·root·········(0)·····5023·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/src/CASS/ServerFunctions.curry | |
108 | -rw-r--r--···0·root·········(0)·root·········(0)·····2028·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/src/CASS/Worker.curry | |
109 | -rw-r--r--···0·root·········(0)·root·········(0)·····1121·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/src/CASS/Doc.curry | |
110 | -rw-r--r--···0·root·········(0)·root·········(0)·····2758·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/src/CASS/ServerFormats.curry | |
111 | -rw-r--r--···0·root·········(0)·root·········(0)·····7859·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/src/CASS/Main.curry | |
112 | -rw-r--r--···0·root·········(0)·root·········(0)····13577·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/src/CASS/Server.curry | |
113 | -rw-r--r--···0·root·········(0)·root·········(0)······423·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/src/CASS/PackageConfig.curry | |
114 | -rw-r--r--···0·root·········(0)·root·········(0)·····9053·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/src/CASS/Dependencies.curry | |
115 | -rw-r--r--···0·root·········(0)·root·········(0)····12029·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/src/CASS/Registry.curry | |
116 | -rw-r--r--···0·root·········(0)·root·········(0)·····2721·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/src/CASS/FlatCurryDependency.curry | |
117 | -rw-r--r--···0·root·········(0)·root·········(0)·····9301·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/src/CASS/Configuration.curry | |
118 | -rw-r--r--···0·root·········(0)·root·········(0)····18110·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/src/CASS/WorkerFunctions.curry | |
119 | -rw-r--r--···0·root·········(0)·root·········(0)·····2273·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/README.md | |
120 | -rw-r--r--···0·root·········(0)·root·········(0)·····1165·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/curryanalysisrc | |
121 | -rw-r--r--···0·root·········(0)·root·········(0)·····1417·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/Protocol.txt | |
122 | -rw-r--r--···0·root·········(0)·root·········(0)······410·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/docs/Groundness.md | |
123 | -rw-r--r--···0·root·········(0)·root·········(0)······488·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/docs/UnsafeModule.md | |
124 | -rw-r--r--···0·root·········(0)·root·········(0)······886·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/docs/Terminating.md | |
125 | -rw-r--r--···0·root·········(0)·root·········(0)·····1288·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/docs/SensibleType.md | |
126 | -rw-r--r--···0·root·········(0)·root·········(0)·····1135·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/docs/RequiredValues.md | |
127 | -rw-r--r--···0·root·········(0)·root·········(0)······845·2019-01-30·16:55:56.000000·./optimize/.cpm/packages/cass/docs/PatComplete.md | |
Max diff block lines reached; 77467/100992 bytes (76.71%) of diff not shown.
|