Mercurial > urweb

annotate CHANGELOG @ 1280:3d06e0f7a6f3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial version of equalKnown working for secret
author Adam Chlipala <adam@chlipala.net>
date Tue, 27 Jul 2010 11:42:30 -0400
parents 7d0254d15b21
children 5137b0537c92
rev   line source
adamc@1259 1 ========
adamc@1273 2 20100603
adamc@1259 3 ========
adamc@1259 4
adamc@1259 5 - Changed URL escaping convention, to avoid confusing proxies.
adamc@1259 6 The new convention is like the normal one, but with '.' instead of '%'.
adamc@1261 7 - Changed JavaScript compilation of recursive functions to use thunks.
adamc@1261 8 This change avoids most costs of functions not referenced on particular
adamc@1261 9 pages, reducing loading time dramatically.
adamc@1273 10 - Support HTTP caching of application-specific JavaScript code
adamc@1273 11 - Bug fixes
adamc@1259 12
adamc@1255 13 ========
adamc@1255 14 20100506
adamc@1255 15 ========
adamc@1255 16
adamc@1255 17 - New experimental checker for information flow and access control policies
adamc@1255 18 (See demo at http://www.impredicative.com/ur/scdv/)
adamc@1255 19
adamc@1197 20 ========
adamc@1197 21 20100401
adamc@1197 22 ========
adamc@1197 23
adamc@1197 24 - Subquery expressions and FROM items
adamc@1197 25 - Low-level support for SELECT with no FROM clause
adamc@1197 26 - Fixes for DBMS-portability of relational operators
adamc@1197 27
adamc@1183 28 ========
adamc@1190 29 20100325
adamc@1183 30 ========
adamc@1183 31
adamc@1188 32 - -verbose flag
adamc@1188 33 - COUNT(col) SQL aggregate function
adamc@1188 34 - 'benignEffectful' and 'safeGet' .urp commands
adamc@1188 35 - Remove Basis.getRequestHeader, since it can be used to circumvent cookie
adamc@1188 36 security
adamc@1190 37 - Rename Top.foldR*X to map*X
adamc@1188 38 - Bug fixes and optimization improvements
adamc@1183 39
adamc@1166 40 ========
adamc@1166 41 20100213
adamc@1166 42 ========
adamc@1166 43
adamc@1166 44 - Improvements to 'configure'; should now fail if any uncommon but required
adamc@1166 45 package is missing
adamc@1166 46 - Other fixes to configuration, build system, and C code portability
adamc@1166 47 - sigfile .urp directive & -sigfile command-line option
adamc@1166 48 - .urp files with no directives no longer need to begin with blank lines.
adamc@1166 49 - Other bug fixes
adamc@1166 50
adamc@1137 51 ========
adamc@1137 52 20100130
adamc@1137 53 ========
adamc@1137 54
adamc@1137 55 - Conversion to an Automake-based build system, for greater portability in
adamc@1137 56 building shared libraries
adamc@1137 57 - -path and -root command-line flags
adamc@1137 58 - Exported page handling functions (i.e., those page-generating functions
adamc@1137 59 appearing in the main module's signature) may now take any number of
adamc@1137 60 arguments, including 0.
adamc@1137 61
adamc@1123 62 ========
adamc@1123 63 20100112
adamc@1123 64 ========
adamc@1123 65
adamc@1123 66 - Basis.serialized type family, for storing more types in the database
adamc@1123 67 - Basis.textBlob, for building blobs from strings
adamc@1123 68 - Basis.debug function, for server-side debug printing
adamc@1123 69 - Bug fixes & optimization improvements
adamc@1123 70
adamc@1065 71 ========
adamc@1103 72 20091230
adamc@1065 73 ========
adamc@1065 74
adamc@1093 75 - Automatic insertion of implicit arguments in more positions
adamc@1065 76 - Reifying expressions as URLs and redirecting to them explicitly
adamc@1070 77 - More syntactic sugar for SQL
adamc@1070 78 - Typing of SQL queries no longer exposes which tables were used in joins but
adamc@1070 79 had none of their fields projected
adamc@1075 80 - Tasks
adamc@1095 81 - Dynamic linking of the runtime system
adamc@1077 82 - Optimization improvements
adamc@1103 83 - Bug fixes
adamc@1065 84
adamc@1050 85 ========
adamc@1056 86 20091203
adamc@1050 87 ========
adamc@1050 88
adamc@1050 89 - Extended cookie interface (breaks backward compatibility for 'setCookie')
adamc@1050 90 - Bug fixes
adamc@1056 91 - Extended UTF-8 characters in HTML
adamc@1050 92
adamc@1043 93 ========
adamc@1043 94 20091124
adamc@1043 95 ========
adamc@1043 96
adamc@1043 97 - Improved Internet Explorer compatibility
adamc@1043 98
adamc@1020 99 ========
adamc@1033 100 20091108
adamc@1020 101 ========
adamc@1020 102
adamc@1020 103 - Bug fixes
adamc@1020 104 - Optimization improvements
adamc@1021 105 - Removed a restriction that prevented some RPCs and calls to sleep or recv
adamc@1021 106 from compiling
adamc@1020 107
adamc@999 108 ========
adamc@999 109 20091012
adamc@999 110 ========
adamc@999 111
adamc@999 112 - Small bug fixes affecting MySQL and SQLite
adamc@999 113
adamc@988 114 ========
adamc@997 115 20091009
adamc@988 116 ========
adamc@988 117
adamc@988 118 - Bug fixes
adamc@988 119 - Improvement to choice of line number to cite in record unification error
adamc@988 120 messages
adamc@994 121 - SELECT DISTINCT
adamc@996 122 - New extra demos: orm1 and versioned1
adamc@988 123
adamc@985 124 ========
adamc@985 125 20090926
adamc@985 126 ========
adamc@985 127
adamc@985 128 - Reimplemented client-side code generation to use an interpreter, rather than
adamc@985 129 compilation to JavaScript; this avoids common browser flaws: lack of
adamc@985 130 optimization of tail calls and occasional bugs in closure handling.
adamc@985 131 - Bug fixes
adamc@985 132
adamc@968 133 ========
adamc@968 134 20090919
adamc@968 135 ========
adamc@968 136
adamc@968 137 - Bug fixes
adamc@968 138 - Optimization improvements
adamc@968 139 - Expanded grid demo in demo/more: optional columns, sorting, filtering,
adamc@968 140 paging, selecting rows, aggregate row
adamc@968 141
adamc@929 142 ========
adamc@929 143 20090912
adamc@929 144 ========
adamc@929 145
adamc@929 146 - Bug fixes
adamc@929 147 - Optimization improvements
adamc@929 148 - New set of extra demos in demo/more
adamc@929 149
adamc@914 150 ========
adamc@914 151 20090825
adamc@914 152 ========
adamc@914 153
adamc@914 154 - Many bug fixes
adamc@914 155 - Remote procedure calls must be marked with the new 'rpc' function.
adamc@914 156 - Some tweaks to enable usage on OSX (suggested by Paul Snively)
adamc@914 157
adamc@897 158 ========
adamc@897 159 20090718
adamc@897 160 ========
adamc@897 161
adamc@897 162 - New application protocols: CGI and FastCGI
adamc@897 163 - New database backends: MySQL and SQLite
adamc@897 164 - More JavaScript events added to tags in standard library
adamc@897 165 - New manual section on using the foreign function interface (FFI)
adamc@897 166
adamc@852 167 ========
adamc@852 168 20090623
adamc@852 169 ========
adamc@852 170
adamc@852 171 - Many bug fixes
adamc@852 172 - Mutually-recursive datatypes
adamc@852 173 - SML-style pattern-matching syntax for "fun", "fn", and local "val"
adamc@852 174 - Backwards-incompatible change to syntax of formal constructor parameters to
adamc@852 175 value-level functions, to support the previous change
adamc@852 176 - Path map support inspired by SML/NJ CM and MLton ML Basis
adamc@852 177 - Start of some new standard library modules
adamc@852 178 - Some improvements to JavaScript runtime, including better error handling
adamc@852 179
adamc@716 180 ========
adamc@790 181 20090505
adamc@716 182 ========
adamc@716 183
adamc@716 184 - Reimplement constructor class resolution to be more general and Prolog-like
adamc@716 185 - SQL table constraints
adamc@770 186 - URLs
adamc@736 187 - Client-side error handling callbacks
adamc@736 188 - CSS
adamc@736 189 - Signing cookie values cryptographically to thwart cross site request forgery
adamc@744 190 - Blobs and HTTP file upload
adamc@752 191 - SQL outer joins
adamc@755 192 - SQL views
adamc@756 193 - Subforms
adamc@768 194 - C and JavaScript FFI
adamc@768 195 - Path rewriting
adamc@716 196
adamc@702 197 ========
adamc@702 198 20090405
adamc@702 199 ========
adamc@702 200
adamc@702 201 - Asynchronous message-passing and the associated server-side client
adamc@702 202 bookkeeping
adamc@702 203 - Reimplement parts of the client-side runtime system to avoid space leaks
adamc@702 204 - spawn and sleep
adamc@702 205 - Expand the constructor class instance rule format
adamc@702 206
adamc@663 207 ========
adamc@663 208 20090312
adamc@663 209 ========
adamc@663 210
adamc@663 211 - Replace type-level "fold" with "map"
adamc@663 212 - Replace expression-level "fold" with folders, defined in Top and
adamc@663 213 supported by some special compiler inference
adamc@663 214 - Replace guarded constructors with guarded types, introduced only by
adamc@663 215 guarded expression abstraction, and with a new explicit application form
adamc@663 216 - Kind polymorphism
adamc@663 217 - Generalize type classes to constructor classes
adamc@663 218 - Initial compilation of client-side code to JavaScript
adamc@663 219 - Initial support for mixed client- and server-side programming (i.e., "AJAX")
adamc@665 220 - src/coq: Coq formalization of a core Ur-like calculus
adamc@663 221
adamc@506 222 ========
adamc@561 223 20081209
adamc@506 224 ========
adamc@506 225
adamc@506 226 - Optimization: Fusing page writes with calls to recursive functions
adamc@523 227 - Optimization of bottleneck compiler phases
adamc@561 228 - Reference manual
adamc@561 229 - SQL arithmetic operators
adamc@506 230
adamc@504 231 ========
adamc@504 232 20081120
adamc@504 233 ========
adamc@504 234
adamc@504 235 - Fix bug that sometimes led to omission of initial "<html>" in pages
adamc@504 236 - Take advantage of nested functions in some demos
adamc@504 237 - "profile" option that may appear in .urp files, to enable gprof profiling
adamc@663 238 - "-guided-demo" option that works like "-demo" but uses less screen space for
adamc@663 239 prose
adamc@504 240
adamc@467 241 ========
adamc@497 242 20081118
adamc@467 243 ========
adamc@467 244
adamc@467 245 - Nested function definitions
adamc@467 246 - Primitive "time" type
adamc@467 247 - Nullable SQL columns (via "option")
adamc@467 248 - Cookies
adamc@663 249 - Compiler: Specialization of functions to known arguments (especially of
adamc@663 250 function type)
adamc@467 251
adamc@435 252 ========
adamc@435 253 20081028
adamc@435 254 ========
adamc@435 255
adamc@435 256 - Add GCCARGS configure option
adamc@435 257
adamc@433 258 ========
adamc@433 259 20081027
adamc@433 260 ========
adamc@433 261
adamc@433 262 - On missing inputs, print an error message, but don't exit the web server.
adamc@434 263 - Remove need for "() <-" notation.
adamc@433 264
adamc@433 265 ========
adamc@433 266 20081026
adamc@433 267 ========
adamc@433 268
adamc@433 269 - Change 'sed' call to work on OSX.
adamc@433 270 - Avoid including or linking libpq files on apps that don't use SQL.