aboutsummaryrefslogtreecommitdiffhomepage
path: root/src
Commit message (Collapse)AuthorAge
* 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
| |
| * Merge pull request #60 from bbarenblat/masterGravatar Adam Chlipala2016-12-31
| |\ | | | | | | FastCGI: Track request IDs during processing
| * | Merge pull request #62 from sielenk/ipv6_OpenBSDGravatar Adam Chlipala2016-12-31
|/| | | | | | | | Ipv6 open bsd
* | | Proper ordering when libraries are included recursively (fixes #56)Gravatar Adam Chlipala2016-12-31
| | |
* | | Allow qualified variable references in record literalsGravatar Adam Chlipala2016-12-31
| | |
| * | remove unnecessary codeGravatar Marvin Sielenkemper2016-12-01
| | |
| * | pass the proper size to the bind callGravatar Marvin Sielenkemper2016-12-01
| | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-18 10:07:29 +0000