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
*
New argument to transactional free functions, to specify whether we are about...
Adam Chlipala
2010-12-04
*
Instantiate any Unit unification variables that remain after elaboration
Adam Chlipala
2010-12-02
*
More hnorm during type class resolution
Adam Chlipala
2010-12-02
*
More accurate/conservative leaky type detection in CjrPrint
Adam Chlipala
2010-11-28
*
Fix JavaScript unit unurlification; URL blessing client-side
Adam Chlipala
2010-11-26
*
Fix a bug in C list unurlification
Adam Chlipala
2010-11-21
*
In FastCGI, signal 304 with a header, not the usual HTTP/1.1 line
Adam Chlipala
2010-11-20
*
Fix RPC deserialization of channels
Adam Chlipala
2010-11-19
*
Simplify Basis.strcat calls in MonoOpt
Adam Chlipala
2010-11-19
*
Karn Kallio's patch for static mhash linking
Adam Chlipala
2010-11-18
*
More hnormKind for isUnitCon
Adam Chlipala
2010-11-13
*
Fixes for nasty bugs in Reduce and Especialize
Adam Chlipala
2010-10-19
*
Smarter handling of unification variables for 'kindof' on projections
Adam Chlipala
2010-10-19
*
-limit for running time
Adam Chlipala
2010-10-14
*
Interface for setting memory limits
Adam Chlipala
2010-10-14
*
:::_ notation; switch to TooDeep error message
Adam Chlipala
2010-10-10
*
Fix infinite looping bug in Great Unification Fix
Adam Chlipala
2010-10-10
*
Tweaking unification fix to apply to demo/more
Adam Chlipala
2010-10-10
*
Hopeful fix for the Great Unification Bug
Adam Chlipala
2010-10-10
*
Flex kinds for type-level tuples; ::_ notation
Adam Chlipala
2010-10-10
*
Demo improvements
Adam Chlipala
2010-09-30
*
Fix typing of cut operators; fix lexing of XML comments
Adam Chlipala
2010-09-16
*
Support empty datatypes, which can now be generated via 'variant []'
Adam Chlipala
2010-09-09
*
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
*
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
[next]