aboutsummaryrefslogtreecommitdiffhomepage
path: root/src
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.
* 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
|
* 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
|
* 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
| * 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.
* 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 #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
| |
* | 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
|/
* Proper error message when the body of a 'val' declaration fails to check ↵Gravatar Adam Chlipala2018-05-20
| | | | against the type annotation
* More defensive unurlification of enumerations (closes #117)Gravatar Adam Chlipala2018-05-19
|
* Handle empty SELECT clausesGravatar Adam Chlipala2018-03-13
|
* automatically enable foreign keys and WAL for SQLiteGravatar steinuil2018-02-26
|
* Proper handling of absolute paths for files to serveGravatar Adam Chlipala2018-01-08
|
* Added oninput event to inputs which support it.Gravatar Vladimir Shabanov2017-12-05
| | | | Added onscroll event to <body> and title/sizes attributes to <link>.
* Small tweaks to new help textGravatar Adam Chlipala2017-10-01
|
* Merge pull request #90 from peterbb/masterGravatar Adam Chlipala2017-10-01
|\ | | | | new flag -help, and refactoring of flag parsing.
* | New .urp directives: mimeTypes and long form of fileGravatar Adam Chlipala2017-10-01
| |
| * new flag -help, and refactoring of flag parsing.Gravatar Peter Bock2017-09-29
|/
* Remove redundant -WimplicitGravatar Benjamin Barenblat2017-08-07
| | | | -Wall implies -Wimplicit.
* Enable -Wunused-parameterGravatar Benjamin Barenblat2017-08-07
|
* Fix last fix, to handle checkboxes properlyGravatar Adam Chlipala2017-07-27
|
* Skip inappropriate postprocessing of text fields from multipart form data ↵Gravatar Adam Chlipala2017-07-27
| | | | (fixes #82)
* Grandfathered change for release: fix extended 'val' rule in grammarGravatar Adam Chlipala2017-07-20
|
* Make 'static' protocol commit transactions, to force rewriting of HTML ↵Gravatar Adam Chlipala2017-07-12
| | | | documents with JavaScript links, etc.
* Allow inexhaustive patterns for lefthand sides of top-level 'val' declarationsGravatar Adam Chlipala2017-07-12
|
* Merge pull request #80 from vshabanov/m-flag-fixGravatar Adam Chlipala2017-07-12
|\ | | | | Fix for non-working '-m' runtime option
* | Option to prefix all user JavaScript FFI functions with a module name ↵Gravatar Vladimir Shabanov2017-06-15
| | | | | | | | (jsModule .urp option).
| * Fixed non-working '-m' runtime option.Gravatar Vladimir Shabanov2017-06-15
|/
* Raise an error if we run out of randomness during client initializationGravatar Adam Chlipala2017-05-14
|
* Fix normalization of signatures that project signatures from other modules ↵Gravatar Adam Chlipala2017-03-31
| | | | with multi-element paths (fixes #72)
* Option '-m' for HTTP-server binariesGravatar Adam Chlipala2017-03-17
|
* Better error message for .urp files with too many blank linesGravatar Adam Chlipala2017-03-17
|
* Minor fix.Gravatar Artyom Shalkhakov2017-03-09
|
* Adding support for emitting JS to a given file.Gravatar Artyom Shalkhakov2017-03-07
|
* Merge branch 'master' of ssh://github.com/urweb/urwebGravatar Adam Chlipala2016-12-31
|\
* | Use 'id' attribute for <form>Gravatar Adam Chlipala2016-12-31
| |
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-08 18:39:40 +0000