index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Merge pull request #123 from ashalkhakov/tests
Adam Chlipala
2018-05-19
|
\
*
|
More defensive unurlification of enumerations (closes #117)
Adam Chlipala
2018-05-19
|
*
More tests.
Artyom Shalkhakov
2018-05-15
|
*
Adding jsbspace for #121.
Artyom Shalkhakov
2018-05-08
|
*
Adding Selenium-based checking to tests.
Artyom Shalkhakov
2018-05-08
|
/
*
Merge pull request #122 from majorseitan/master
Adam Chlipala
2018-04-15
|
\
|
*
Handling of JSON escape characters
majorseitan@blockfreie.org
2018-04-14
|
/
*
List.findM
Adam Chlipala
2018-04-14
*
List.existsM
Adam Chlipala
2018-04-14
*
Demo links escape frames
Adam Chlipala
2018-03-30
*
Handle empty SELECT clauses
Adam Chlipala
2018-03-13
*
Merge pull request #119 from steinuil/sqlite-fix
Adam Chlipala
2018-03-11
|
\
|
*
automatically enable foreign keys and WAL for SQLite
steinuil
2018-02-26
|
/
*
Proper handling of absolute paths for files to serve
Adam Chlipala
2018-01-08
*
README: explain need to run autogen.sh (closes #93)
Adam Chlipala
2018-01-06
*
Merge pull request #109 from vshabanov/master
Adam Chlipala
2018-01-06
|
\
|
*
dynClass() now calculates and sets class and style attributes before adding n...
Vladimir Shabanov
2017-12-13
|
*
Added oninput event to inputs which support it.
Vladimir Shabanov
2017-12-05
|
/
*
README: mention that GNU Make is required
Adam Chlipala
2017-11-18
*
Manual fix: [self] only callable on the server
Adam Chlipala
2017-11-11
*
Small tweaks to new help text
Adam Chlipala
2017-10-01
*
Merge pull request #90 from peterbb/master
Adam Chlipala
2017-10-01
|
\
*
|
New .urp directives: mimeTypes and long form of file
Adam Chlipala
2017-10-01
*
|
README extension: installation and simple invocation
Adam Chlipala
2017-10-01
|
*
new flag -help, and refactoring of flag parsing.
Peter Bock
2017-09-29
|
/
*
Merge branch 'master' of ssh://github.com/urweb/urweb
Adam Chlipala
2017-08-11
|
\
*
\
Merge branch 'master' of ssh://hnf.impredicative.com:/home/adamc/git-root/urweb
Adam Chlipala
2017-08-11
|
\
\
*
|
|
Demo instructions: -noEmacs
Adam Chlipala
2017-08-11
|
|
*
Merge pull request #84 from bbarenblat/master
Adam Chlipala
2017-08-08
|
|
|
\
|
|
|
*
Remove redundant -Wimplicit
Benjamin Barenblat
2017-08-07
|
|
|
*
Enable -Wunused-parameter
Benjamin Barenblat
2017-08-07
|
|
|
/
|
|
*
Fix last fix, to handle checkboxes properly
Adam Chlipala
2017-07-27
|
|
*
Add test cases for last commit
Adam Chlipala
2017-07-27
|
|
*
Skip inappropriate postprocessing of text fields from multipart form data (fi...
Adam Chlipala
2017-07-27
|
|
*
Return to working version mode
Adam Chlipala
2017-07-20
|
|
/
|
*
Grandfathered change for release: fix extended 'val' rule in grammar
Adam Chlipala
2017-07-20
|
*
New release
Adam Chlipala
2017-07-20
|
*
Make 'static' protocol commit transactions, to force rewriting of HTML docume...
Adam Chlipala
2017-07-12
|
*
Allow inexhaustive patterns for lefthand sides of top-level 'val' declarations
Adam Chlipala
2017-07-12
|
*
Merge pull request #80 from vshabanov/m-flag-fix
Adam Chlipala
2017-07-12
|
|
\
|
*
|
Document new 'jsModule' .urp directive
Adam Chlipala
2017-07-12
|
*
|
Merge pull request #81 from vshabanov/jsModule-option
Adam Chlipala
2017-07-12
|
|
\
\
|
|
*
|
Option to prefix all user JavaScript FFI functions with a module name (jsModu...
Vladimir Shabanov
2017-06-15
|
|
/
/
|
|
*
Fixed non-working '-m' runtime option.
Vladimir Shabanov
2017-06-15
|
|
/
|
*
Merge pull request #79 from bbarenblat/master
Adam Chlipala
2017-05-14
|
/
|
*
|
Raise an error if we run out of randomness during client initialization
Adam Chlipala
2017-05-14
|
*
Use quiet mode for Ur/Web binaries in tests
Benjamin Barenblat
2017-05-02
|
/
*
Fix normalization of signatures that project signatures from other modules wi...
Adam Chlipala
2017-03-31
*
Option '-m' for HTTP-server binaries
Adam Chlipala
2017-03-17
*
Better error message for .urp files with too many blank lines
Adam Chlipala
2017-03-17
[next]