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
*
Used an option as a source
Adam Chlipala
2009-01-01
*
Reactive computation with more base types and records
Adam Chlipala
2009-01-01
*
Source containing an int
Adam Chlipala
2009-01-01
*
Propagated a source change into a dynamic document element
Adam Chlipala
2008-12-30
*
Harmonized source-setting between server and client
Adam Chlipala
2008-12-30
*
Setting a source server-side
Adam Chlipala
2008-12-30
*
Starting to implement source set
Adam Chlipala
2008-12-30
*
Trivial use of a source
Adam Chlipala
2008-12-21
*
Handling singnal bind
Adam Chlipala
2008-12-21
*
Switch to using dyn() function in JavaScript
Adam Chlipala
2008-12-21
*
Successfully generated a page element from a signal
Adam Chlipala
2008-12-20
*
Initial <dyn> support
Adam Chlipala
2008-12-20
*
Start of JsComp
Adam Chlipala
2008-12-20
*
Displayed an alert dialog
Adam Chlipala
2008-12-19
*
Creation of sources in server code
Adam Chlipala
2008-12-19
*
Monad type class seems to be working
Adam Chlipala
2008-12-19
*
Initial conversion to arbitrary-kind classes
Adam Chlipala
2008-12-19
*
Add initial C support for reactive
Adam Chlipala
2008-12-19
*
Add SQL arithmetic operators
Adam Chlipala
2008-12-09
*
Treat user-provided error messages as XML
Adam Chlipala
2008-12-07
*
Finish documenting queries; remove a stray [unit] argument
Adam Chlipala
2008-12-07
*
Avoid Especializing polymorphic code
Adam Chlipala
2008-11-27
*
Ditch use of ElabEnv.env in Especialize, to realize big speed-up
Adam Chlipala
2008-11-27
*
Untangle and shake within Especialize loop
Adam Chlipala
2008-11-27
*
Optimize CoreUntangle
Adam Chlipala
2008-11-27
*
Remove some isUnitCon cases
Adam Chlipala
2008-11-27
*
Catch another unneeded lift in ElabEnv.pushCRel
Adam Chlipala
2008-11-27
*
Optimized ElabOps.subConInCon
Adam Chlipala
2008-11-27
*
Stop using redundant Defunc pass
Adam Chlipala
2008-11-27
*
Remove unnecessary lifts in ElabEnv.pushCRel
Adam Chlipala
2008-11-27
*
Remove unnecessary [kindof] calls
Adam Chlipala
2008-11-27
*
Port Reduce improvements to ReduceLocal
Adam Chlipala
2008-11-26
*
crud1 compiles with new Reduce
Adam Chlipala
2008-11-26
*
Fix environments for repeat visits for exp reduction
Adam Chlipala
2008-11-26
*
Most exp rules for new Reduce
Adam Chlipala
2008-11-26
*
Start of new Reduce
Adam Chlipala
2008-11-26
*
Fusing writes with recursive function calls
Adam Chlipala
2008-11-25
*
Ignore SIGPIPE
Adam Chlipala
2008-11-23
*
Profiling support
Adam Chlipala
2008-11-20
*
Some demo improvements
Adam Chlipala
2008-11-20
*
Fix missing initial <html> after restarts
Adam Chlipala
2008-11-20
*
Fix type calculation for applying-a-case optimization
Adam Chlipala
2008-11-11
*
Map distributivity rule in hnormCon
Adam Chlipala
2008-11-11
*
Add CutMulti
Adam Chlipala
2008-11-11
*
Handle nullary transaction pages; avoid marking up headers array when reading...
Adam Chlipala
2008-11-11
*
Fix demo regression
Adam Chlipala
2008-11-11
*
More ThreadedBlog progress
Adam Chlipala
2008-11-11
*
Ignore UseRel effects in [let] expansions
Adam Chlipala
2008-11-11
*
Get preliminary ThreadedBlog working
Adam Chlipala
2008-11-11
*
Get threadedBlog to work
Adam Chlipala
2008-11-11
[next]