| Commit message (Expand) | Author | Age |
|---|
| * | MonoReduce: fancier test for inlining a record where each field is used at mo... |  Adam Chlipala | 2016-03-12 |
| * | Merge PVar and PWild, to get more reasonable type-class resolution | Adam Chlipala | 2016-02-07 |
| * | Change MonoReduce to do fixed-pointing, since it sometimes enables more optim... | Adam Chlipala | 2015-03-06 |
| * | A new MonoReduce optimization for lifting 'let' out of field projection; Java... | Adam Chlipala | 2015-02-01 |
| * | More aggressive inlining of 'let' with record literals, plus some changes to ... | Adam Chlipala | 2014-12-04 |
| * | Some more optimization of string expressions showing up in JSON generation (M... | Adam Chlipala | 2014-12-03 |
| * | MonoReduce bug involving 'error' | Adam Chlipala | 2014-08-06 |
| * | Differentiate between HTML and normal string literals | Adam Chlipala | 2014-08-01 |
| * | 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 |
Adam Chlipala
Karn Kallio
Adam Chlipala