summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Merge branch 'upstream' into dfsg_clean20160805+dfsgGravatar Benjamin Barenblat2016-08-05
|\
| * New releaseGravatar Adam Chlipala2016-08-05
| |
| * SpellingGravatar Benjamin Barenblat2016-08-03
| |
| * Fix Travis syntax errorGravatar Adam Chlipala2016-08-02
| |
| * Update Travis tests to (1) use MLton from main package repo and (2) apply an ↵Gravatar Adam Chlipala2016-08-02
| | | | | | | | OS X libtool workaround
| * Merge pull request #34 from saulo2/masterGravatar Adam Chlipala2016-08-02
| |\ | | | | | | Fix for "normalizeTable" nesting thead and tfoot in tbody
| * | Support OpenSSL 1.1Gravatar Benjamin Barenblat2016-07-20
| | | | | | | | | | | | Closes https://github.com/urweb/urweb/issues/35.
| * | uw_memmem: correct indentationGravatar Benjamin Barenblat2016-07-20
| | | | | | | | | | | | Closes https://github.com/urweb/urweb/issues/36.
| * | Add .mailmap to correct bbaren’s addressGravatar Benjamin Barenblat2016-07-20
| | | | | | | | | | | | | | | | | | Somehow, one of my commits got entered under <bbaren at mit.edu> instead of <bbaren@mit.edu>. Add a .mailmap file so 'git shortlog', 'git log --use-mailmap', etc. do the right thing.
| | * Fix for "normalizeTable" nesting thead and tfoot in tbodyGravatar Saulo Araujo2016-07-16
| |/
| * Merge pull request #33 from tuncer/emacs-final-newlineGravatar Adam Chlipala2016-07-15
| |\ | | | | | | urweb-mode: do not configure require-final-newline
| | * urweb-mode: do not configure require-final-newlineGravatar Tuncer Ayaz2016-07-15
| |/ | | | | | | | | | | | | Ur/Web source files do not require a final newline. Thus, require-final-newline is a personal setting and should not be configured in the major mode. Setting it here will also negatively impact helpers like ethan-wspace.
| * Switch to expected order for [queryL]Gravatar Adam Chlipala2016-07-01
| |
| * Return to working version modeGravatar Adam Chlipala2016-06-21
| |
| * New releaseGravatar Adam Chlipala2016-06-21
| |
| * Merge branch 'master' of ssh://github.com/urweb/urwebGravatar Adam Chlipala2016-06-17
| |\
| * | Prepare Postgres code for NULL error fieldsGravatar Adam Chlipala2016-06-17
| | |
| | * Client-side: detect session timeout and ask the user to reloadGravatar Adam Chlipala2016-06-16
| |/
| * Rename memmem() to urweb_memmem(), to avoid unintentionally picking up ↵Gravatar Adam Chlipala2016-06-15
| | | | | | | | prototype from libc
| * Elaborate C expression to appease recent compilersGravatar Adam Chlipala2016-06-10
| |
* | Merge branch 'upstream' into dfsg_clean20160515+dfsgGravatar Benjamin Barenblat2016-05-30
|\ \
| | * Change some vector operations to remain compatible with MLton working versionGravatar Adam Chlipala2016-05-29
| | |
| | * Merge pull request #28 from extensibl/masterGravatar Adam Chlipala2016-05-29
| | |\ | | | | | | | | Silence gcc warnings
| | | * Silence gcc warningsGravatar Alexander2016-05-26
| | |/ | | | | | | "warning: 'entry' may be used uninitialized in this function"
| | * Merge pull request #26 from karsar/math_updateGravatar Adam Chlipala2016-05-24
| | |\ | | | | | | | | Some basic math functions: pow, sqrt, sin, cos, log, exp
| | | * abs and floor addedGravatar Karen Sargsyan2016-05-23
| | | |
| | | * asin, acos, atan, atan2 addedGravatar Karen Sargsyan2016-05-22
| | | |
| | | * Some basic math functions: pow, sqrt, sin, cos, log, exp are added to work ↵Gravatar Karen Sargsyan2016-05-21
| | |/ | | | | | | | | | at client and server sides
| | * Increase default timeout to cope with behavior of some Chrome versionsGravatar Adam Chlipala2016-05-16
| | |
| | * Return to working version modeGravatar Adam Chlipala2016-05-15
| |/
| * New releaseGravatar Adam Chlipala2016-05-15
| |
| * Support for <meta> tagsGravatar Adam Chlipala2016-05-15
| |
| * Add some tests for Content-DispositionGravatar Adam Chlipala2016-05-05
| |
| * Merge pull request #25 from MarkoSchuetz/masterGravatar Adam Chlipala2016-05-05
| |\ | | | | | | Streamline callout to emacs for HTML rendering.
| | * Streamline callout to emacs for HTML rendering.Gravatar Marko Schuetz-Schmuck2016-05-05
| |/
| * Fix preservation of headers when returning blobsGravatar Adam Chlipala2016-04-15
| |
| * At runtime, catch when we exceed 'limit inputs'Gravatar Adam Chlipala2016-03-30
| |
| * Merge pull request #19 from AlexanderAA/masterGravatar Adam Chlipala2016-03-18
| |\ | | | | | | Resource integrity attributes for HTML link element
| * | Use IS NOT DISTINCT FROM; improve Sql parserGravatar Adam Chlipala2016-03-12
| | |
| * | MonoReduce: fancier test for inlining a record where each field is used at ↵Gravatar Adam Chlipala2016-03-12
| | | | | | | | | | | | most once
| * | Sqlcache: also record script additions; do a MonoReduce afterward, to help ↵Gravatar Adam Chlipala2016-03-12
| | | | | | | | | | | | Prepare do a better job
| * | Make Sql compatible with unmanglingGravatar Adam Chlipala2016-03-11
| | |
| | * Resource integrity attributes for HTML link element. ↵Gravatar Alexander Abushkevich2016-03-10
| |/ | | | | | | http://www.w3.org/TR/2015/CR-SRI-20151112/
| * Return to working version modeGravatar Adam Chlipala2016-03-06
| |
| * New releaseGravatar Adam Chlipala2016-03-06
| |
| * More consistent formatting for new List functionsGravatar Adam Chlipala2016-02-26
| |
| * Merge pull request #18 from AlexanderAA/masterGravatar Adam Chlipala2016-02-26
| |\ | | | | | | Find longest prefix of elements, which satisfy a predicate; Group a list
| | * Return lists in their original order in span functionGravatar Alexander Abushkevich2016-02-24
| | |
| * | Make JavaScript escaping handle ampersands properlyGravatar Adam Chlipala2016-02-23
| | |
| * | Set associativity of SQL 'LIKE'Gravatar Adam Chlipala2016-02-23
| | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 04:09:01 +0000