index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
Commit message (
Collapse
)
Author
Age
*
For non-debug builds, leave out source location info in what is shown to user
Adam Chlipala
2011-07-03
|
*
'show' instance for 'css_class'
Adam Chlipala
2011-06-23
|
*
Handle spaces in filenames passed to GCC (caught by Zachary Tatlock)
Adam Chlipala
2011-06-15
|
*
Keep user-set response headers on indirect returns
Adam Chlipala
2011-06-12
|
*
Proper C pretty-printing of floats in scientific notation
Adam Chlipala
2011-05-31
|
*
Fix bug with string literals in unAs
Adam Chlipala
2011-05-30
|
*
Remember to remove explicit table projections in SQLite UPDATE SET values
Adam Chlipala
2011-05-30
|
*
getHeader and setHeader
Adam Chlipala
2011-05-29
|
*
Properly handle form textboxes that have sources
Adam Chlipala
2011-05-29
|
*
Escape less-than in JavaScript strings
Adam Chlipala
2011-05-12
|
*
Warn that tests ought not to be used
Adam Chlipala
2011-04-17
|
*
Send newly created sources with messages to clients
Adam Chlipala
2011-04-09
|
*
Each context gets its own non-repeating sequence of source numbers
Adam Chlipala
2011-04-09
|
*
Fix MySQL time handling
Adam Chlipala
2011-03-27
|
*
Fix some cookie-related bugs in MonoReduce
Adam Chlipala
2011-02-10
|
*
Fix for handling of some attributes to client-side input widgets, based on a ↵
Adam Chlipala
2011-01-16
|
|
|
|
patch from Vladimir Shabanov
*
Patch from Vladimir Shabanov to support crypt under OS X
Adam Chlipala
2011-01-16
|
*
Hopeful fix to stop Especialize infinite looping
Adam Chlipala
2010-12-21
|
*
Use proper string time format for SQLite
Adam Chlipala
2010-12-20
|
*
Periodic tasks
Adam Chlipala
2010-12-18
|
*
Change tasks to support parametric code; add clientLeaves
Adam Chlipala
2010-12-18
|
*
postBody type
Adam Chlipala
2010-12-18
|
*
Change Basis.debug to use the protocol's debug function
Adam Chlipala
2010-12-12
|
*
minHeap option in .urp files
Adam Chlipala
2010-12-11
|
*
Comments in .urp files
Adam Chlipala
2010-12-11
|
*
New argument to transactional free functions, to specify whether we are ↵
Adam Chlipala
2010-12-04
|
|
|
|
about to retry
*
-limit for running time
Adam Chlipala
2010-10-14
|
*
Interface for setting memory limits
Adam Chlipala
2010-10-14
|
*
Hopeful fix for the Great Unification Bug
Adam Chlipala
2010-10-10
|
*
Flex kinds for type-level tuples; ::_ notation
Adam Chlipala
2010-10-10
|
*
Shortcut invocations for single .ur files
Adam Chlipala
2010-09-07
|
*
'tryDml' works with Postgres
Adam Chlipala
2010-09-07
|
*
Server-side 'onError'
Adam Chlipala
2010-09-07
|
*
tryDml
Adam Chlipala
2010-09-05
|
*
Support multiple CSS classes for a single tag
Adam Chlipala
2010-09-05
|
*
Polymorphic variants
Adam Chlipala
2010-08-19
|
*
HTML comments
Adam Chlipala
2010-08-10
|
*
ML-style comments inside XML
Adam Chlipala
2010-08-10
|
*
Roll back WHERE checking
Adam Chlipala
2010-07-27
|
*
Initial version of equalKnown working for secret
Adam Chlipala
2010-07-27
|
*
Consider view declarations while shaking
Adam Chlipala
2010-05-27
|
*
Fix bug in module path generation with module roots; push wildification ↵
Adam Chlipala
2010-05-27
|
|
|
|
through substructures
*
URL-escape with '.' instead of '%', to avoid confusing proxies
Adam Chlipala
2010-05-18
|
*
Completely redid main Iflow logic; so far, policy and policy2 work
Adam Chlipala
2010-04-13
|
*
Using multiple policies to check a written value
Adam Chlipala
2010-04-11
|
*
Change query_policy to sendClient; all arguments passed to SQL predicates ↵
Adam Chlipala
2010-04-08
|
|
|
|
are variables
*
Parsing more comparison operators
Adam Chlipala
2010-04-06
|
*
Parsing float and string SQL literals
Adam Chlipala
2010-04-06
|
*
Introduced the known() predicate
Adam Chlipala
2010-04-06
|
*
Parsing more of WHERE
Adam Chlipala
2010-04-04
|
[next]