index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
mono_reduce.sml
Commit message (
Expand
)
Author
Age
*
Another MonoReduce fix
Adam Chlipala
2014-07-26
*
Fix index-matching bug in MonoReduce effect calculation
Adam Chlipala
2014-07-21
*
neverInline
Adam Chlipala
2014-02-09
*
Make that purity analysis a bit more lax again
Adam Chlipala
2014-01-19
*
Fix a soundness bug in purity analysis (mono_reduce)
Adam Chlipala
2014-01-19
*
Change handling of returned text blobs, to activate the normal EWrite optimiz...
Adam Chlipala
2013-12-11
*
Undo 'let' inlining tweak; improve optimization of 'case' of type 'transaction'
Adam Chlipala
2013-06-07
*
Tweak to 'let' inlining behavior
Adam Chlipala
2013-06-02
*
Get Iflow working again
Adam Chlipala
2013-04-21
*
Basis.tryRpc
Adam Chlipala
2013-04-16
*
Make Scriptcheck catch more script/message-passing uses, and move the phase e...
Adam Chlipala
2013-03-15
*
Paranoid inlining prevention for FFI types at the Core level; less paranoid i...
Adam Chlipala
2012-09-19
*
Reduce default inlining thresholds; improve a let-substitution optimization t...
Adam Chlipala
2012-09-14
*
Tweaking treatment of function application: substitute or introduce a 'let'?
Adam Chlipala
2012-08-05
*
Revert last changeset for now; needs more thought
Adam Chlipala
2012-08-05
*
Tweaking treatment of function application: substitute or introduce a 'let'?
Adam Chlipala
2012-08-05
*
First part of changes to avoid depending on C function call argument order of...
Adam Chlipala
2012-01-07
*
Narrow Maybe match case.
Karn Kallio
2011-07-06
*
To generate server-side source JavaScript, try both the old and new strategie...
Adam Chlipala
2011-03-28
*
Fix some cookie-related bugs in MonoReduce
Adam Chlipala
2011-02-10
*
Allow subqueries to reference aggregate-only columns of free tables; treat no...
Adam Chlipala
2011-01-15
*
alwaysInline .urp setting
Adam Chlipala
2011-01-13
*
[De]serialization of times in JavaScript; proper integer division in JavaScri...
Adam Chlipala
2010-12-23
*
Support empty datatypes, which can now be generated via 'variant []'
Adam Chlipala
2010-09-09
*
tryDml
Adam Chlipala
2010-09-05
*
Tweaks to table signatures and MonoOpt summarizing
Adam Chlipala
2010-04-11
*
Change query_policy to sendClient; all arguments passed to SQL predicates are...
Adam Chlipala
2010-04-08
*
Introduced the known() predicate
Adam Chlipala
2010-04-06
*
benignEffectful
Adam Chlipala
2010-02-27
*
Proper C-side deserialization; Shake.sliceDb
Adam Chlipala
2010-01-03
*
Eta-expand bodies of transaction functions in Monoization, to enable later op...
Adam Chlipala
2009-12-31
*
Initializers and setval
Adam Chlipala
2009-12-13
*
Fix lexing of string literals in XML; treat EError as impure in MonoReduce
Adam Chlipala
2009-12-12
*
Basis.url and redirects
Adam Chlipala
2009-12-10
*
Use call/cc for recv and sleep
Adam Chlipala
2009-10-25
*
RPC uses VM support for call/cc
Adam Chlipala
2009-10-25
*
Inlining threshold for Mono_reduce
Adam Chlipala
2009-10-25
*
Versioned1 demo working
Adam Chlipala
2009-10-06
*
Quoting JavaScript working
Adam Chlipala
2009-09-22
*
Find more opportunities for 'let' inlining with better purity information
Adam Chlipala
2009-09-17
*
Fixed a Mono_reduce bug, which was breaking selection enabling in Grid
Adam Chlipala
2009-09-15
*
Full Grid1 compiles, thanks to avoiding code size blow-up in mono_reduce
Adam Chlipala
2009-09-13
*
Don't replace <sc> in blob returns; optimize more 'option' pattern matches; d...
Adam Chlipala
2009-09-09
*
Fix memmem() signature; fix mono_reduce environment bookkeeping
Adam Chlipala
2009-09-08
*
'more' demos working after optimizer fix
Adam Chlipala
2009-09-08
*
dragList almost kinda works
Adam Chlipala
2009-09-08
*
grid1 compiles but gets stuck in JS
Adam Chlipala
2009-08-25
*
Library improvements; proper list [un]urlification; remove server-side Server...
Adam Chlipala
2009-08-09
*
Fix MonoReduce unsoundness with lets and fns
Adam Chlipala
2009-06-13
*
Substring functions; fix a nasty MonoReduce pattern match substitution bug
Adam Chlipala
2009-05-30
[next]