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
/
src
Commit message (
Expand
)
Author
Age
*
Confirm boxes; proper event handler setting for ctags
Adam Chlipala
2010-08-22
*
Reduce: Inline let-bound variables whose types involve functions
Adam Chlipala
2010-08-22
*
Some post-type-checking support for polymorphic variants
Adam Chlipala
2010-08-21
*
Polymorphic variants
Adam Chlipala
2010-08-19
*
Fix C-side jsification of UTF-8 strings
Adam Chlipala
2010-08-10
*
Better UTF-8 escaping for JavaScript and SQL literals
Adam Chlipala
2010-08-10
*
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
*
equalAny policies
Adam Chlipala
2010-07-27
*
Initial version of equalKnown working for secret
Adam Chlipala
2010-07-27
*
Catch a missed ReduceLocal of field projection annotations
Adam Chlipala
2010-06-13
*
More generous wildification, covering map-records
Adam Chlipala
2010-06-13
*
Another run of Specialize, using ReduceLocal on datatype parameters
Adam Chlipala
2010-06-05
*
Undo fancy wildification; instead, client code should include extra wildcard ...
Adam Chlipala
2010-06-03
*
Some serious bug-fix work to get HTML example to compile; this includes fixin...
Adam Chlipala
2010-06-03
*
Allow complex attribute records in Tag
Adam Chlipala
2010-06-01
*
Try harder to place wildified 'con' declarations properly
Adam Chlipala
2010-06-01
*
Improve consNeq to detect unequal projected cons
Adam Chlipala
2010-06-01
*
Include new config.h in C source files
Adam Chlipala
2010-05-30
*
-moduleOf command-line option; compatibility fixes and better error messages ...
Adam Chlipala
2010-05-27
*
Consider view declarations while shaking
Adam Chlipala
2010-05-27
*
Fix bug in module path generation with module roots; push wildification throu...
Adam Chlipala
2010-05-27
*
Support HTTP caching of app.js
Adam Chlipala
2010-05-23
*
Switch to strings and eval for thunkifying JavaScripted functions
Adam Chlipala
2010-05-22
*
Thunking recursive JavaScripted function ASTs, to reduce page load time drama...
Adam Chlipala
2010-05-22
*
URL-escape with '.' instead of '%', to avoid confusing proxies
Adam Chlipala
2010-05-18
*
Fix width/height CSS choices for table rows/columns; stop warning about inabi...
Adam Chlipala
2010-05-16
*
Fix C-mangling of datatype names
Adam Chlipala
2010-05-16
*
Avoid reimplementing conversion to C strings
Adam Chlipala
2010-05-15
*
Some Iflow improvements for gradebook
Adam Chlipala
2010-05-06
*
Safe unmodeled SQL expressions marked as known
Adam Chlipala
2010-05-01
*
Basic handling of recursive functions in Iflow
Adam Chlipala
2010-05-01
*
Add rand to Basis and handle it in Iflow
Adam Chlipala
2010-04-29
*
Complain about DValRec; optimizations for unit-valued ECase and forgetting of...
Adam Chlipala
2010-04-29
*
Avoid state space explosion with ECase that just writes a constant in each case
Adam Chlipala
2010-04-18
*
Fix innappropriate removal of duplicate tables from DML policies
Adam Chlipala
2010-04-18
*
Better handling of DELETE and UPDATE
Adam Chlipala
2010-04-18
*
Take advantage of equalities between get_cookie calls
Adam Chlipala
2010-04-18
*
Use key information in more places, and catch cases where one key completion ...
Adam Chlipala
2010-04-18
*
Parsing boolean SQL constants and fixing a related prover bug
Adam Chlipala
2010-04-18
*
At loop heads, havoc relations that might be changed by the loop
Adam Chlipala
2010-04-17
*
Check for implicit flows via expressions injected into SQL
Adam Chlipala
2010-04-15
*
'also' policies and policy reduction; calendar in good shape
Adam Chlipala
2010-04-15
*
Parsing ORDER BY
Adam Chlipala
2010-04-15
*
Get refurbished Iflow working with calendar
Adam Chlipala
2010-04-14
*
More descriptive info flow error message
Adam Chlipala
2010-04-13
*
Completely redid main Iflow logic; so far, policy and policy2 work
Adam Chlipala
2010-04-13
*
Command-line use of Iflow
Adam Chlipala
2010-04-13
*
Catching lame FFI applications
Adam Chlipala
2010-04-13
[next]