aboutsummaryrefslogtreecommitdiffhomepage
path: root/src
Commit message (Expand)AuthorAge
* Use our own memmem only when libc doesn’t have oneHEADmasterGravatar Benjamin Barenblat2018-11-07
* 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 tas...Gravatar Adam Chlipala2018-10-19
* unsafeSerialized[To|From]StringGravatar Adam Chlipala2018-10-19
* Merge pull request #140 from ashalkhakov/flycheckGravatar Adam Chlipala2018-09-02
|\
* \ Merge pull request #138 from bbarenblat/masterGravatar Adam Chlipala2018-09-02
|\ \
| | * 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
* | | Detect lambda abstractions over type classes as deserving of implicit-argumen...Gravatar Adam Chlipala2018-08-29
| |/ |/|
| * Start using symbol versioningGravatar Benjamin Barenblat2018-06-17
|/
* Properly populate set of type classes when reusing a module from the type-inf...Gravatar Adam Chlipala2018-06-06
* 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
|/|
* | 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 agai...Gravatar Adam Chlipala2018-05-20
* 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
* Small tweaks to new help textGravatar Adam Chlipala2017-10-01
* Merge pull request #90 from peterbb/masterGravatar Adam Chlipala2017-10-01
|\
* | 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
* 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 (fi...Gravatar Adam Chlipala2017-07-27
* Grandfathered change for release: fix extended 'val' rule in grammarGravatar Adam Chlipala2017-07-20
* Make 'static' protocol commit transactions, to force rewriting of HTML docume...Gravatar Adam Chlipala2017-07-12
* 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
|\
* | Option to prefix all user JavaScript FFI functions with a module name (jsModu...Gravatar Vladimir Shabanov2017-06-15
| * 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 wi...Gravatar Adam Chlipala2017-03-31
* 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