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
*
&& and ||
Adam Chlipala
2009-06-07
*
Start of Option; Basis.current; fix missed cases in Jscomp.isNullable
Adam Chlipala
2009-06-07
*
Fix unbound name problem in Jscomp injectors; more List stuff
Adam Chlipala
2009-06-06
*
List library additions; fix another substructure unification bug
Adam Chlipala
2009-06-06
*
Lexing some more string escape sequences; JS versions of number read; fix pro...
Adam Chlipala
2009-06-02
*
Tweak -- precedence; use right env for final exhaustiveness errors
Adam Chlipala
2009-06-02
*
Fix relative precedence of ; and case-stuff
Adam Chlipala
2009-06-02
*
Less whining about match failures; fix singleton record Jscomp bug
Adam Chlipala
2009-06-02
*
Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Mo...
Adam Chlipala
2009-06-02
*
Expose resolveClass from Elaborate
Adam Chlipala
2009-05-31
*
Fix pathmap bug; expose lower-level heap manipulation from C
Adam Chlipala
2009-05-31
*
strcspn and friends
Adam Chlipala
2009-05-31
*
Defer pattern-matching exhaustiveness checks and normalize pattern types more...
Adam Chlipala
2009-05-30
*
Substring functions; fix a nasty MonoReduce pattern match substitution bug
Adam Chlipala
2009-05-30
*
String.length
Adam Chlipala
2009-05-30
*
Fix variable adjustment bug in fn/case alternation
Adam Chlipala
2009-05-28
*
Fix EDLet elab_util bug
Adam Chlipala
2009-05-28
*
Destructing local let, to the point where demo compiles
Adam Chlipala
2009-05-28
*
Demo compiles with pattern-matching-fu
Adam Chlipala
2009-05-28
*
fn-pattern code in but not tested yet; hello compiles
Adam Chlipala
2009-05-28
*
Chars and more string operations
Adam Chlipala
2009-05-26
*
Change monoization of monads to allow partial applications of operations
Adam Chlipala
2009-05-23
*
Switch to Maranget's pattern exhaustiveness algorithm
Adam Chlipala
2009-05-23
*
Change List.mapM' to avoid leaving functions around
Adam Chlipala
2009-05-21
*
ccheckbox
Adam Chlipala
2009-05-21
*
Split JavaScript inp() into separate functions
Adam Chlipala
2009-05-21
*
Redo Jscomp
Adam Chlipala
2009-05-17
*
Fix argument ordering bug in fuse; fix case subsitution bug in MonoReduce
Adam Chlipala
2009-05-17
*
Corify FFI datatypes properly; eliminate nested JavaScript markers
Adam Chlipala
2009-05-17
*
Loading an FCKeditor
Adam Chlipala
2009-05-16
*
Fix another problem with overwrites during JavaScript pattern matching
Adam Chlipala
2009-05-16
*
Mutual datatypes through Cjrize
Adam Chlipala
2009-05-16
*
Mutual datatypes through Pathcheck
Adam Chlipala
2009-05-16
*
Mutual datatypes through Effectize
Adam Chlipala
2009-05-16
*
Mutual datatypes through Corify
Adam Chlipala
2009-05-16
*
Mutual datatypes through Elaborate
Adam Chlipala
2009-05-16
*
Add extra XML preamble nonsense
Adam Chlipala
2009-05-16
*
Catch more unclosed bodyless tags in Monoize
Adam Chlipala
2009-05-16
*
Fix a Core_untangle bug that missed closure variable references; XHTMLize
Adam Chlipala
2009-05-16
*
Fix nasty bugs with longjmp() looping for uw_set_input(); and bad variable in...
Adam Chlipala
2009-05-14
*
Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering
Adam Chlipala
2009-05-14
*
cselect.onchange
Adam Chlipala
2009-05-14
*
Improvements while working on Graftid
Adam Chlipala
2009-05-14
*
cselect
Adam Chlipala
2009-05-14
*
Fix a nasty binding bug in CoreUtil
Adam Chlipala
2009-05-14
*
Improving/reordering Unpoly and Especialize; pathmaps
Adam Chlipala
2009-05-14
*
Stop potential buffer overrun of path_copy
Adam Chlipala
2009-05-12
*
Improvements while working on Graftid
Adam Chlipala
2009-05-12
*
Use Ur/Web library .mlb
Adam Chlipala
2009-05-10
*
Make Effectize more precise
Adam Chlipala
2009-05-05
[next]