aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Collapse)AuthorAge
* Use our own memmem only when libc doesn’t have oneHEADmasterGravatar Benjamin Barenblat2018-11-07
| | | | | | | | | | | | | | | | Systems without memmem(3) are getting rarer every day. We can improve clarity and efficiency by relying on libc’s memmem whenever possible. Detect at compile time whether the system supports memmem(3); if it does, simply reexport its prototype through memmem.h and emit no code. If it doesn’t, actually build in the memmem code in memmem.c. Along the way, undo the renaming from commit 6dad7c645d8fdb7b7237c89ff7b34e90adbb86b1. Since we’re only creating a memmem prototype if libc doesn’t define the symbol, our prototype should never clash with libc’s. As before, authors should not assume string.h provides a prototype for memmem; they should `#include "memmem.h"` if they use the function.
* List.mapMiGravatar Adam Chlipala2018-11-04
|
* Fix a manual typoGravatar Adam Chlipala2018-10-23
|
* Accept a few other command-line arguments to trigger help text (closes #63)Gravatar Adam Chlipala2018-10-19
|
* More telegraphic error text for clashing URL prefixes (closes #111)Gravatar Adam Chlipala2018-10-19
|
* Block scary types for [de]serialization (closes #98)Gravatar Adam Chlipala2018-10-19
|
* Automatic merging of style/dynStyle and class/dynClass (closes #64)Gravatar Adam Chlipala2018-10-19
|
* Client-side escaping of HTML should be prepared for structured HTML trees, ↵Gravatar Adam Chlipala2018-10-19
| | | | not just strings (closes #141)
* Just return None rather than crashing, when trying to read cookies within ↵Gravatar Adam Chlipala2018-10-19
| | | | tasks (closes #143)
* unsafeSerialized[To|From]StringGravatar Adam Chlipala2018-10-19
|
* Catch when a cselect has an unavailable value setGravatar Adam Chlipala2018-10-12
|
* Merge pull request #140 from ashalkhakov/flycheckGravatar Adam Chlipala2018-09-02
|\ | | | | FlyCheck integration.
* \ Merge pull request #138 from bbarenblat/masterGravatar Adam Chlipala2018-09-02
|\ \ | | | | | | Start using symbol versioning
| | * Multi-file projects should work.Gravatar Artyom Shalkhakov2018-09-01
| | |
| | * Flycheck: improving multi-file supportGravatar Artyom Shalkhakov2018-08-31
| | |
| | * FlyCheck integration.Gravatar Artyom Shalkhakov2018-08-31
| | | | | | | | | | | | | | | | | | | | | | | | | | | Some issues: - since Ur/Web expects to typecheck a project, we "guess" it (which may not be the exact project that you use, maybe we need to improve our heuristics) - lightly tested, but seems to work on my machine
* | | Detect lambda abstractions over type classes as deserving of ↵Gravatar Adam Chlipala2018-08-29
| | | | | | | | | | | | implicit-argument status
* | | List.allMGravatar Adam Chlipala2018-08-25
| | |
* | | Merge pull request #134 from steinuil/json-single-quoteGravatar Adam Chlipala2018-08-17
|\ \ \ | | | | | | | | removed invalid JSON escape character
| * | | removed invalid JSON escape characterGravatar steinuil2018-08-04
| | | |
* | | | Merge pull request #132 from fabriceleal/offsetXYGravatar Adam Chlipala2018-07-15
|\ \ \ \ | |/ / / |/| | | bring offsetX, offsetY to mouseEvent
| * | | offsetX, offsetYGravatar Fabrice Leal2018-07-09
|/ / /
| * / Start using symbol versioningGravatar Benjamin Barenblat2018-06-17
|/ / | | | | | | | | | | We now have enough users to make ABI compatibility worthwhile. Designate the current ABI as version 1 and begin maintaining `-version-info` for libtool.
* | Slight change to venerable Nested demo, to get proper URL resolutionGravatar Adam Chlipala2018-06-16
| |
* | Slight change to venerable Nested demo, to get proper URL resolutionGravatar Adam Chlipala2018-06-16
| |
* | Return to working version modeGravatar Adam Chlipala2018-06-16
| |
* | New releaseGravatar Adam Chlipala2018-06-16
|/
* Properly populate set of type classes when reusing a module from the ↵Gravatar Adam Chlipala2018-06-06
| | | | type-inference cache
* Merge branch 'master' of ssh://github.com/urweb/urwebGravatar Adam Chlipala2018-06-04
|\
* | Fix to recent addition of defensive unurlificationGravatar Adam Chlipala2018-06-04
| |
| * Merge pull request #126 from majorseitan/masterGravatar Adam Chlipala2018-06-04
| |\ | | | | | | Improved support for JSON escape characters
| * | Merge pull request #127 from ashalkhakov/cradioGravatar Adam Chlipala2018-06-04
|/| | | | | | | | Adding: cradio (support for client-side radio box).
* | | Fail when requesting a file cache with a database engine that won't do SHA512Gravatar Adam Chlipala2018-06-03
| | |
* | | 'filecache' .urp directive, fixing a longstanding MonoUtil bug in the processGravatar Adam Chlipala2018-06-03
| | |
| | * Merge branch 'master' into masterGravatar major seitan2018-06-02
| | |\ | |_|/ |/| |
| * | Multi-group testGravatar Artyom Shalkhakov2018-05-30
| | |
* | | Remove insecure crypto function (closes #114)Gravatar Adam Chlipala2018-05-29
| | |
| * | FormattingGravatar Artyom Shalkhakov2018-05-28
| | |
| * | Adding: cradio (support for client-side radio box).Gravatar Artyom Shalkhakov2018-05-28
|/ /
| * resolve merge conflict on testGravatar majorseitan@blockfreie.org2018-05-26
| |
| * Handling of JSON escape charactersGravatar majorseitan@blockfreie.org2018-05-26
| | | | | | | | | | 1. Handle the escape character \/
* | A test for List.groupByGravatar Adam Chlipala2018-05-21
| |
* | Proper error message when the body of a 'val' declaration fails to check ↵Gravatar Adam Chlipala2018-05-20
| | | | | | | | against the type annotation
* | Merge pull request #123 from ashalkhakov/testsGravatar Adam Chlipala2018-05-19
|\ \ | | | | | | Adding Selenium-based checking to tests.
* | | More defensive unurlification of enumerations (closes #117)Gravatar Adam Chlipala2018-05-19
| | |
| * | More tests.Gravatar Artyom Shalkhakov2018-05-15
| | |
| * | Adding jsbspace for #121.Gravatar Artyom Shalkhakov2018-05-08
| | |
| * | Adding Selenium-based checking to tests.Gravatar Artyom Shalkhakov2018-05-08
|/ /
| * Handling of JSON escape charactersGravatar majorseitan@blockfreie.org2018-04-15
| | | | | | | | | | 1. Handle the escape character \\
* | Merge pull request #122 from majorseitan/masterGravatar Adam Chlipala2018-04-15
|\| | | | | Handling of JSON escape characters
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-26 15:18:54 +0000