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 (
Collapse
)
Author
Age
*
Change Name_js to skip code snippets that depend on the CSRF-protection ↵
Adam Chlipala
2013-04-01
|
|
|
|
signature
*
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 ↵
Adam Chlipala
2013-03-15
|
|
|
|
earlier in compilation
*
Make CGI programs use Status header to set HTTP status code
Adam Chlipala
2013-03-05
|
*
Add more HTML singleton tags, anticipating that others may make them ↵
Adam Chlipala
2012-12-31
|
|
|
|
available via the FFI
*
Add some name-mangling rules to allow XML attribute 'name' and attributes ↵
Adam Chlipala
2012-12-27
|
|
|
|
with dashes
*
Fix determination of MySQL timestamp hour fields (may still be wrong once ↵
Adam Chlipala
2012-12-13
|
|
|
|
DST bit flips)
*
Autogenerate some files
Adam Chlipala
2012-12-12
|
*
Ignore polymorphism in JavaScript calls to custom FFI functions, allowing a ↵
Adam Chlipala
2012-12-11
|
|
|
|
kind of simple dynamic typing (unsafe, of course)
*
add Placeholder attribute to <password>; change <textbox> code generation to ↵
Adam Chlipala
2012-11-30
|
|
|
|
set 'type' to 'text'
*
Fix generation of timestamp literals for MySQL and SQLite
Adam Chlipala
2012-11-30
|
*
Allow any FFI module to declare new HTML tags
Adam Chlipala
2012-11-28
|
*
Rename Basis.exp to Basis.pow, to avoid confusion with 'expression'; add a ↵
Adam Chlipala
2012-11-28
|
|
|
|
test case for it
*
Standard library additions: Option.unsafeGet, Basis.exp
Austin Seipp
2012-11-28
|
*
Fix broken implementation of 'urweb daemon stop'
Austin Seipp
2012-11-28
|
*
Switch linker order
Adam Chlipala
2012-10-20
|
*
New release
Adam Chlipala
2012-09-25
|
*
Paranoid inlining prevention for FFI types at the Core level; less paranoid ↵
Adam Chlipala
2012-09-19
|
|
|
|
inlining promotion for passive values at the Mono level
*
Merge
Adam Chlipala
2012-09-19
|
\
*
|
Edward Z. Yang's patch to avoid repeating linker arguments
Adam Chlipala
2012-09-19
|
|
|
*
Better error message about signals remaining in server-side code
Adam Chlipala
2012-09-16
|
|
|
*
Reduce default inlining thresholds; improve a let-substitution optimization ↵
Adam Chlipala
2012-09-14
|
|
|
|
|
|
|
|
to compensate
|
*
Merge
Adam Chlipala
2012-09-14
|
|
\
|
|
/
|
/
|
|
*
Fixed HTTP date format and added Cache-Control to app.js
Vladimir Shabanov
2012-09-12
|
|
*
|
Tweaking treatment of function application: substitute or introduce a 'let'?
Adam Chlipala
2012-08-05
|
|
*
|
Added 'coreInline' and 'monoInline' .urp options
Vladimir Shabanov
2012-09-04
|
/
*
Update tutorial for Ur/Web changes
Adam Chlipala
2012-09-03
|
*
show_sql_query
Adam Chlipala
2012-08-22
|
*
Add list of files to new error message
Adam Chlipala
2012-08-18
|
*
Better error message for funky command lines
Adam Chlipala
2012-08-18
|
*
New release
Adam Chlipala
2012-08-07
|
*
Revert last changeset for now; needs more thought
Adam Chlipala
2012-08-05
|
*
Tweaking treatment of function application: substitute or introduce a 'let'?
Adam Chlipala
2012-08-05
|
*
Fix some unportable uses of C character class functions
Adam Chlipala
2012-08-03
|
*
New NameJs phase, still needing some debugging
Adam Chlipala
2012-08-02
|
*
Basis.getenv
Adam Chlipala
2012-08-02
|
*
Removed evaluation of js function name strings. (from Vladimir Shabanov)
Adam Chlipala
2012-07-29
|
*
Remove 'class' declaration; now use 'con' instead
Adam Chlipala
2012-07-29
|
*
Remove misguided type class optimization
Adam Chlipala
2012-07-26
|
*
Allow type class instances with hypotheses via local ('let') definitions
Adam Chlipala
2012-07-25
|
*
Add more global mouse event hooks
Adam Chlipala
2012-07-23
|
*
Fix bug in handling of event attributes within client-side widgets
Adam Chlipala
2012-07-21
|
*
Get regular forms working again
Adam Chlipala
2012-07-21
|
*
Top.postFields
Adam Chlipala
2012-07-21
|
*
<active>
Adam Chlipala
2012-07-21
|
*
Basis.giveFocus
Adam Chlipala
2012-07-21
|
*
New event records for key and mouse handlers
Adam Chlipala
2012-07-21
|
*
Support fancy expressions in module-level 'val' declarations
Adam Chlipala
2012-07-18
|
*
Flush elaboration cache when switching between .urp files
Adam Chlipala
2012-06-23
|
*
HTTP daemons now take '-a' option to set IP address to listen on
Adam Chlipala
2012-06-23
|
[next]