summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* MySQL does case-sensitive catalog queriesGravatar Adam Chlipala2014-02-17
|
* Use neverInline in reduceGravatar Adam Chlipala2014-02-15
|
* Fix a subtle renaming problem in elaborating functor applicationsGravatar Adam Chlipala2014-02-14
|
* MergeGravatar Adam Chlipala2014-02-09
|\
* | neverInlineGravatar Adam Chlipala2014-02-09
| |
| * Turn off GCC's fancy %n checking, because the performance cost is too highGravatar Adam Chlipala2014-02-07
| |
| * Add another simple case for record unification between alpha-equivalent ↵Gravatar Adam Chlipala2014-01-29
|/ | | | constructors
* Make that purity analysis a bit more lax againGravatar Adam Chlipala2014-01-19
|
* Fix a soundness bug in purity analysis (mono_reduce)Gravatar Adam Chlipala2014-01-19
|
* New compiler option: -stopGravatar Adam Chlipala2014-01-19
|
* Manual: remove database version numbers from Debian package names, where ↵Gravatar Adam Chlipala2014-01-18
| | | | possible
* Stop quoting Postgres identifiers in 'noMangleSql' modeGravatar Adam Chlipala2014-01-15
|
* Postgres: look up table names case-sensitively in catalogGravatar Adam Chlipala2014-01-15
|
* MySQL: set character set when opening a new connectionGravatar Adam Chlipala2014-01-14
|
* Add 'html5' .urp directiveGravatar Adam Chlipala2014-01-09
|
* MySQL: Combine transaction setup commands into one mysql_query()Gravatar Adam Chlipala2014-01-07
|
* MySQL: catch deadlocks during queriesGravatar Adam Chlipala2014-01-05
|
* noMangleSql .urp directiveGravatar Adam Chlipala2014-01-04
|
* Add some URL-related benignEffectful functionsGravatar Adam Chlipala2014-01-01
|
* Return to working version modeGravatar Adam Chlipala2013-12-31
|
* New releaseGravatar Adam Chlipala2013-12-31
|
* Do a bit of extra userspace copying to send HTTP response with a single ↵Gravatar Adam Chlipala2013-12-31
| | | | system call
* HTTP: continue after accept() failureGravatar Adam Chlipala2013-12-30
|
* Compile-time error for periodic tasks in nonpersistent protocolsGravatar Adam Chlipala2013-12-29
|
* Avoid some spurious error messages about link/form incompatibility; change ↵Gravatar Adam Chlipala2013-12-29
| | | | the text of that error message to include RPC handlers
* How embarrassing; didn't try compiling before committingGravatar Adam Chlipala2013-12-28
|
* Make HTTP keepalive switch between available connections to improve throughputGravatar Adam Chlipala2013-12-28
|
* Change where a transaction is marked finished, to avoid forgetting to ↵Gravatar Adam Chlipala2013-12-27
| | | | rollback a failed transaction
* Raise exception when recv()ing from someone else's channel; improve setting ↵Gravatar Adam Chlipala2013-12-27
| | | | of client ID in RPCs
* Tweaking handling of database transactionsGravatar Adam Chlipala2013-12-25
|
* Add a bit of manual clarification about channels and clientsGravatar Adam Chlipala2013-12-25
|
* No need to ROLLBACK after a failed COMMITGravatar Adam Chlipala2013-12-25
|
* Proper handling of serialization failures during SQL COMMITGravatar Adam Chlipala2013-12-23
|
* Fix compilation of apps that don't use database; fix HTTP pipeliningGravatar Adam Chlipala2013-12-17
|
* Start SQL transactions as read-only when possible, based on conservative ↵Gravatar Adam Chlipala2013-12-12
| | | | program analysis
* Only output Content-script-type header when there is client-side codeGravatar Adam Chlipala2013-12-12
|
* HTTP: avoid duplicate Content-lengthGravatar Adam Chlipala2013-12-12
|
* RAND_bytes isn't thread-safe, so wrap it with a lockGravatar Adam Chlipala2013-12-11
|
* Change handling of returned text blobs, to activate the normal EWrite ↵Gravatar Adam Chlipala2013-12-11
| | | | optimizations
* Fix regression in http.c for long-polling connections; add lazy ↵Gravatar Adam Chlipala2013-12-11
| | | | initialization of database connections, to avoid the overhead in handlers that don't use SQL
* Add '-q' option to HTTP binariesGravatar Adam Chlipala2013-12-11
|
* Add show instance for 'id' typeGravatar Sergey Mironov2013-10-07
|
* MergeGravatar Adam Chlipala2013-12-09
|\
* | Add JavaScript mappings for isprint and ordGravatar Adam Chlipala2013-12-09
| |
* | Rename <activeHead> to <script> and make it work properlyGravatar Adam Chlipala2013-12-09
| |
| * Small reformatting and documentation for '-print-cinclude'Gravatar Adam Chlipala2013-12-06
| |
* | activeHead: don't modify the head. just execute the code providedGravatar Sergey Mironov2013-12-06
| |
* | Add activeHead tag.Gravatar Sergey Mironov2013-12-06
| | | | | | | | activeHead is similar to active but produces xhead instead of xbody
| * Add -print-cinlude command line optionGravatar Sergey Mironov2013-11-06
| |
| * Add 'xhead' case to MonoizeGravatar Adam Chlipala2013-12-06
|/
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 17:33:10 +0000