log src/mono_reduce.sml

age author description
2012-08-05 Adam Chlipala Revert last changeset for now; needs more thought
2012-08-05 Adam Chlipala Tweaking treatment of function application: substitute or introduce a 'let'?
2012-01-07 Adam Chlipala First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far)
2011-07-06 Karn Kallio Narrow Maybe match case.
2011-03-28 Adam Chlipala To generate server-side source JavaScript, try both the old and new strategies; remove an unsound optimization from MonoOpt and make MonoReduce work harder to compensate
2011-02-10 Adam Chlipala Fix some cookie-related bugs in MonoReduce
2011-01-15 Adam Chlipala Allow subqueries to reference aggregate-only columns of free tables; treat non-COUNT aggregate functions as possibly returning NULL
2011-01-13 Adam Chlipala alwaysInline .urp setting
2010-12-23 Adam Chlipala [De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
2010-09-09 Adam Chlipala Support empty datatypes, which can now be generated via 'variant []'
2010-09-05 Adam Chlipala tryDml
2010-04-11 Adam Chlipala Tweaks to table signatures and MonoOpt summarizing
2010-04-08 Adam Chlipala Change query_policy to sendClient; all arguments passed to SQL predicates are variables
2010-04-06 Adam Chlipala Introduced the known() predicate
2010-02-27 Adam Chlipala benignEffectful
2010-01-03 Adam Chlipala Proper C-side deserialization; Shake.sliceDb
2009-12-31 Adam Chlipala Eta-expand bodies of transaction functions in Monoization, to enable later optimization
2009-12-13 Adam Chlipala Initializers and setval
2009-12-12 Adam Chlipala Fix lexing of string literals in XML; treat EError as impure in MonoReduce
2009-12-10 Adam Chlipala Basis.url and redirects
2009-10-25 Adam Chlipala Use call/cc for recv and sleep
2009-10-25 Adam Chlipala RPC uses VM support for call/cc
2009-10-25 Adam Chlipala Inlining threshold for Mono_reduce
2009-10-06 Adam Chlipala Versioned1 demo working
2009-09-22 Adam Chlipala Quoting JavaScript working
2009-09-17 Adam Chlipala Find more opportunities for 'let' inlining with better purity information
2009-09-15 Adam Chlipala Fixed a Mono_reduce bug, which was breaking selection enabling in Grid
2009-09-13 Adam Chlipala Full Grid1 compiles, thanks to avoiding code size blow-up in mono_reduce
2009-09-09 Adam Chlipala Don't replace <sc> in blob returns; optimize more 'option' pattern matches; detect more opportunities for 'let' inlining
2009-09-09 Adam Chlipala Fix memmem() signature; fix mono_reduce environment bookkeeping
2009-09-08 Adam Chlipala 'more' demos working after optimizer fix
2009-09-08 Adam Chlipala dragList almost kinda works
2009-08-25 Adam Chlipala grid1 compiles but gets stuck in JS
2009-08-09 Adam Chlipala Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference
2009-06-13 Adam Chlipala Fix MonoReduce unsoundness with lets and fns
2009-05-30 Adam Chlipala Substring functions; fix a nasty MonoReduce pattern match substitution bug
2009-05-28 Adam Chlipala Fix variable adjustment bug in fn/case alternation
2009-05-17 Adam Chlipala Redo Jscomp
2009-05-17 Adam Chlipala Fix argument ordering bug in fuse; fix case subsitution bug in MonoReduce
2009-05-14 Adam Chlipala Fix nasty bugs with longjmp() looping for uw_set_input(); and bad variable indexes for nested JavaScript in jscomp
2009-05-14 Adam Chlipala Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering
2009-05-02 Adam Chlipala Successfully influenced effectful-ness status of FFI func
2009-04-26 Adam Chlipala Returning a blob as page result
2009-04-23 Adam Chlipala Cookie signatures for RPCs
2009-04-16 Adam Chlipala Some client-side error handling
2009-04-16 Adam Chlipala onError
2009-04-05 Adam Chlipala Threads demo
2009-04-04 Adam Chlipala sleep and better Scriptcheck
2009-04-04 Adam Chlipala spawn
2009-04-02 Adam Chlipala Redo signal implementation to avoid memory leaks
2009-03-22 Adam Chlipala Proper recv
2009-03-22 Adam Chlipala First message send delivered, but not interpreted
2009-02-15 Adam Chlipala Parameterized RPC query
2009-02-15 Adam Chlipala First gimpy RPC
2009-02-15 Adam Chlipala Export RPC functions and push RPC calls through to Mono
2009-01-13 Adam Chlipala Initial experiments with nested <dyn>
2008-12-30 Adam Chlipala Propagated a source change into a dynamic document element
2008-12-30 Adam Chlipala Harmonized source-setting between server and client
2008-12-30 Adam Chlipala Setting a source server-side
2008-12-21 Adam Chlipala Trivial use of a source
2008-12-21 Adam Chlipala Handling singnal bind
2008-12-20 Adam Chlipala Initial <dyn> support
2008-12-19 Adam Chlipala Displayed an alert dialog
2008-12-19 Adam Chlipala Creation of sources in server code
2008-11-11 Adam Chlipala Ignore UseRel effects in [let] expansions
2008-11-08 Adam Chlipala Better detection of [let] substitution opportunities
2008-11-06 Adam Chlipala Tree demo works
2008-11-06 Adam Chlipala Cookie prose; fix bugs that broke demo compilation
2008-11-06 Adam Chlipala Reading cookies works
2008-11-06 Adam Chlipala Setting a cookie
2008-11-06 Adam Chlipala Monoizing FFI transactions correctly
2008-10-30 Adam Chlipala Don't inline case expressions
2008-10-21 Adam Chlipala Simple listShop working
2008-10-21 Adam Chlipala Binops; equality tested on int; lame 404 substitute
2008-09-14 Adam Chlipala Crud update form
2008-09-14 Adam Chlipala SQL sequences
2008-09-11 Adam Chlipala Improve linear-let optimization
2008-09-11 Adam Chlipala Optimization removes linear let-bindings of impure expressions
2008-09-11 Adam Chlipala Unpolyed a polymorphic function of two arguments
2008-09-07 Adam Chlipala First INSERT works
2008-09-07 Adam Chlipala pquery working with all four types of columns
2008-09-07 Adam Chlipala 'read' type class
2008-09-07 Adam Chlipala 'error' function
2008-09-02 Adam Chlipala Compiling a parametrized query the inefficient way
2008-08-31 Adam Chlipala Monoize ASC/DESC
2008-08-31 Adam Chlipala Avoid unnecessary WHERE clause
2008-08-31 Adam Chlipala Monoized a WHERE clause with a comparison
2008-08-31 Adam Chlipala Monoized and optimized initial query test
2008-08-03 Adam Chlipala Datatype representation optimization
2008-08-03 Adam Chlipala FFI datatypes
2008-08-03 Adam Chlipala Push write inside case
2008-08-03 Adam Chlipala Optimizing 'case' in Mono_reduce
2008-07-29 Adam Chlipala Storing datatype constructors in type references past monoize
2008-07-17 Adam Chlipala MonoReduce