summaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAge
* test2Gravatar fab2018-12-17
|
* exhaustive testing brought to selenium. bug fix in isspace. useful function ↵Gravatar fab2018-12-11
| | | | to test if char is <128
* migrate is_valid_hash, blessData, property, atomGravatar fab2018-12-11
|
* fix isxdigit: is probably helpful to keep it only to ascii chars. migrate ↵Gravatar fab2018-12-09
| | | | islower, isupper, isalpha, isdigit, isblank, isspace, isxdigit, isprint
* chars with more than 2 bytes are awkwardly handled by the "normal" string of ↵Gravatar fab2018-12-06
| | | | javascript. the best way to get consistent results seems to be to convert to array by Array.from(...) and back to strings with .join("")
* fix: U8_IS_SINGLE should only be called on raw char*, NOT on uw_Basis_charGravatar fab2018-12-02
|
* 1 bug fix and sorting out my own confusion: uw_Basis_char is already a ↵Gravatar fab2018-12-02
| | | | codepoint, NOT the "serialized" utf8
* reject invalid codepoints. Basis.iscodepoint. fix german char in jsGravatar fab2018-11-30
|
* several fixes on unit tests and implementationGravatar fab2018-11-19
|
* utf-8 aware functions for basis. unit-testing.Gravatar fab2018-11-17
|
* 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).