summaryrefslogtreecommitdiff
path: root/src/compiler.sig
Commit message (Expand)AuthorAge
* allow/deny working in Mono_optGravatar Adam Chlipala2009-05-02
* Path rewritingGravatar Adam Chlipala2009-05-02
* More FFI compiler optionsGravatar Adam Chlipala2009-05-02
* Successfully influenced effectful-ness status of FFI funcGravatar Adam Chlipala2009-05-02
* C FFI compiler optionsGravatar Adam Chlipala2009-04-30
* Reading blobs from the databaseGravatar Adam Chlipala2009-04-26
* Effectness analysisGravatar Adam Chlipala2009-04-16
* Fix overzealous Marshalcheck; garbage-collect string-embedded closures when n...Gravatar Adam Chlipala2009-04-04
* MarshalcheckGravatar Adam Chlipala2009-03-28
* Variable timeouts and client keep-aliveGravatar Adam Chlipala2009-03-24
* Avoid any JavaScript when pages don't need it; update demo proseGravatar Adam Chlipala2009-03-10
* Conversion of functions to CPS, to facilitate ServerCallGravatar Adam Chlipala2009-03-08
* Start of RPCificationGravatar Adam Chlipala2009-02-14
* Initial experiments with nested <dyn>Gravatar Adam Chlipala2009-01-13
* Handling singnal bindGravatar Adam Chlipala2008-12-21
* Start of JsCompGravatar Adam Chlipala2008-12-20
* Stop using redundant Defunc passGravatar Adam Chlipala2008-11-27
* Fusing writes with recursive function callsGravatar Adam Chlipala2008-11-25
* Profiling supportGravatar Adam Chlipala2008-11-20
* Get preliminary ThreadedBlog workingGravatar Adam Chlipala2008-11-11
* Defunctionalization gets CommentBlog workingGravatar Adam Chlipala2008-11-09
* Nested save compilesGravatar Adam Chlipala2008-11-01
* First Unnest tests workingGravatar Adam Chlipala2008-11-01
* EspecializeGravatar Adam Chlipala2008-10-30
* Avoid using libpq when unneededGravatar Adam Chlipala2008-10-26
* Support for URL prefixes that works with local demoGravatar Adam Chlipala2008-10-19
* Proper generation of relation names; checking that sequences existGravatar Adam Chlipala2008-10-19
* Small clean-ups in crud; Compiler.checkGravatar Adam Chlipala2008-10-04
* Unpoly non-recursive functionGravatar Adam Chlipala2008-09-11
* Termination checkingGravatar Adam Chlipala2008-09-09
* Ran a prepared statement with one string parameterGravatar Adam Chlipala2008-09-07
* Generating SQL filesGravatar Adam Chlipala2008-09-02
* Parsing jobsGravatar Adam Chlipala2008-09-02
* Monoize ASC/DESCGravatar Adam Chlipala2008-08-31
* Avoid unnecessary WHERE clauseGravatar Adam Chlipala2008-08-31
* Laconic -> UrGravatar Adam Chlipala2008-08-31
* Finish moving all phases to the new interfaceGravatar Adam Chlipala2008-08-12
* Consolidating compiler phase interface and adding timingGravatar Adam Chlipala2008-08-12
* Specialization of single-parameter datatypesGravatar Adam Chlipala2008-08-08
* Optimizing 'case' in Mono_reduceGravatar Adam Chlipala2008-08-03
* MonoShakeGravatar Adam Chlipala2008-07-17
* MonoReduceGravatar Adam Chlipala2008-07-17
* Proper topological sorting in untangleGravatar Adam Chlipala2008-07-17
* UntangleGravatar Adam Chlipala2008-07-17
* Starting with closure linksGravatar Adam Chlipala2008-07-13
* Remove closure conversion in favor of zany fun with modules, which also repla...Gravatar Adam Chlipala2008-07-13
* Mono optimizations (start with string concat and space eating)Gravatar Adam Chlipala2008-07-03
* Separate compilation and automatic basis importationGravatar Adam Chlipala2008-06-22
* Parsing signature filesGravatar Adam Chlipala2008-06-22
* Corify removes modulesGravatar Adam Chlipala2008-06-19
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-18 14:19:28 +0000