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
*
Manual: add a pointer to background reading on inference rule notation
Adam Chlipala
2013-11-17
*
Fix more of client-side error handlers
Adam Chlipala
2013-11-14
*
Fix regression in execution of 'onError' handlers
Adam Chlipala
2013-11-14
*
Identify more local definitions as functions that should be lifted to the top...
Adam Chlipala
2013-11-05
*
A fancier test for the new SQL constraints subtyping
Adam Chlipala
2013-11-04
*
Interpret 'table' signature items more flexibly, automatically adding (Ur) co...
Adam Chlipala
2013-11-04
*
Rename ListPair.map2 to ListPair.mp
Adam Chlipala
2013-11-04
*
ListPair.map2, based on code by escalier@riseup.net
Adam Chlipala
2013-11-03
*
Save disjointness environments across top-level declarations
Adam Chlipala
2013-10-17
*
Change Pthread thread creation logic to avoid Cygwin limitations with setting...
Adam Chlipala
2013-10-14
*
New header file scheme to support FFI code in either of C or C++ [based on su...
Adam Chlipala
2013-10-11
*
Remove uw_cutErrorLocation() hijinks
Adam Chlipala
2013-10-10
*
Remove debug prints
Adam Chlipala
2013-10-10
*
Make transactional FFI functions effectful by default
Adam Chlipala
2013-10-10
*
Take proper account of signatures changing during page generation
Adam Chlipala
2013-10-10
*
Add <dl> <dt> <dd> tags
Sergey Mironov
2013-10-07
*
Manual entries for -ccompiler and -print-ccompiler
Adam Chlipala
2013-10-10
*
Add xhead type
Sergey Mironov
2013-10-07
*
Add <em> and <strong> tags
Sergey Mironov
2013-10-07
*
Add -print-ccompiler command line option
Sergey Mironov
2013-09-18
*
Add -ccompiler command line argument
Sergey Mironov
2013-08-20
*
Add monoize case for 'dml' type
Adam Chlipala
2013-10-01
*
Detect more SQL uses without 'database' directive
Adam Chlipala
2013-09-30
*
Get -root working properly again
Adam Chlipala
2013-09-26
*
Tweak Sergey's patch to work with Postgres
Adam Chlipala
2013-09-13
*
Add hex SQL syntax for blobs, such as X'0ABC12343'. Works with sqlite.
Sergey Mironov
2013-09-13
*
Potentially exponential search through where to head-normalize in [decompileCon]
Adam Chlipala
2013-08-19
*
Allow [where con] to descend within submodule structure; open submodule const...
Adam Chlipala
2013-08-19
*
Expand coverage of 'functionInside' for Especialize
Adam Chlipala
2013-08-10
*
Add 'rel' attribute to <a>
Adam Chlipala
2013-08-09
*
Extend Especialize rule: find maximal argument prefixes that end in 1 or more...
Adam Chlipala
2013-08-09
*
Make that error message even more helpful
Adam Chlipala
2013-07-17
*
Make that new error message text a bit more accurate
Adam Chlipala
2013-07-17
*
Tweak error message about naughty GET handlers
Adam Chlipala
2013-07-17
*
Postgres unicode printing fix from Artyom Shalkhakov
Adam Chlipala
2013-07-17
*
Add Sigcheck phase to avoid issues with signatures in global initializers
Adam Chlipala
2013-06-15
*
Undo 'let' inlining tweak; improve optimization of 'case' of type 'transaction'
Adam Chlipala
2013-06-07
*
Tweak to 'let' inlining behavior
Adam Chlipala
2013-06-02
*
Return to working version mode
Adam Chlipala
2013-04-21
*
Get Iflow working again
Adam Chlipala
2013-04-21
*
New release
Adam Chlipala
2013-04-21
*
Plugging some gaps in the manual
Adam Chlipala
2013-04-21
*
Get -css flag working again
Adam Chlipala
2013-04-16
*
Basis.tryRpc
Adam Chlipala
2013-04-16
*
Change Name_js to skip code snippets that depend on the CSRF-protection signa...
Adam Chlipala
2013-04-01
*
Attempt to get more static linking for OpenSSL
Adam Chlipala
2013-03-19
*
Make Scriptcheck catch more script/message-passing uses, and move the phase e...
Adam Chlipala
2013-03-15
*
Manual: Reveal JavaScript representation of transaction type family
Adam Chlipala
2013-03-12
*
Make CGI programs use Status header to set HTTP status code
Adam Chlipala
2013-03-05
*
Add MLTONARGS to xml/parse
Jason Gross
2013-01-05
[next]