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
/
compiler.sml
Commit message (
Expand
)
Author
Age
...
*
'also' policies and policy reduction; calendar in good shape
Adam Chlipala
2010-04-15
*
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
*
Generated basic dummy Iflow conditions
Adam Chlipala
2010-04-04
*
Remove unpoly1
Adam Chlipala
2010-03-16
*
Undo an Especialize change that turned out to be unecessary
Adam Chlipala
2010-03-16
*
Re-add accidentally-removed parsing case for 'effectful'
Adam Chlipala
2010-03-09
*
safeGet
Adam Chlipala
2010-03-09
*
Got split1 working, but noticed a nasty type inference bug with transplanted ...
Adam Chlipala
2010-03-06
*
Fix parsing of space-free .urp directives; use 'class' for 'c*' tags
Adam Chlipala
2010-02-28
*
benignEffectful
Adam Chlipala
2010-02-27
*
Basic analysis of tag and CSS class usage
Adam Chlipala
2010-02-27
*
sigfile directive
Adam Chlipala
2010-02-11
*
Fix .urp parsing for real
Adam Chlipala
2010-02-07
*
Fix detection of blank lines in .urp
Adam Chlipala
2010-02-07
*
Allow .urp files without initial blank lines
Adam Chlipala
2010-02-06
*
Fixes for rooted modules
Adam Chlipala
2010-02-04
*
First attempt to switch to Automake, to get shared libraries built in OSX
Adam Chlipala
2010-01-28
*
-path and -root command-line flags
Adam Chlipala
2010-01-12
*
Change location of dynamic libraries
Adam Chlipala
2009-12-31
*
Basis.serialize; separate file for mhash; run transactional finishers in reve...
Adam Chlipala
2009-12-31
*
Protocol-specific compiler options
Adam Chlipala
2009-12-27
*
Dynamic linking of the runtime system
Adam Chlipala
2009-12-27
*
All three current protocols work with move to using uw_app
Adam Chlipala
2009-12-27
*
Catch attempts to mention multiple versions of the same rooted module
Adam Chlipala
2009-12-25
*
Module roots
Adam Chlipala
2009-12-24
*
Convenience libifying; allow more NULLs with globals
Adam Chlipala
2009-12-24
*
Don't relify in bigLibs; fix some memory bugs in transactionals
Adam Chlipala
2009-12-23
*
Stop skipping Especialization of generated functions; fix Compiler.parseUrp; ...
Adam Chlipala
2009-12-23
*
Alternate job-parsing interface, to avoid merging library directives
Adam Chlipala
2009-12-22
*
Especialize uses a termination measure based on number of arguments introduced
Adam Chlipala
2009-12-15
*
Shake bug fix; pattern reduction in ReduceLocal
Adam Chlipala
2009-12-08
*
Context globals; ctype functions
Adam Chlipala
2009-12-08
*
Represent FFI function names as strings, to deal with cross-file recursion
Adam Chlipala
2009-12-05
*
Refactor compile functions; allow empty tag contents
Adam Chlipala
2009-11-25
*
Exit code of 1 on compilation failure
Adam Chlipala
2009-11-25
*
RPC uses VM support for call/cc
Adam Chlipala
2009-10-25
*
Inlining threshold for Mono_reduce
Adam Chlipala
2009-10-25
*
Grid changed to use Dlist.replace; filters stopped working
Adam Chlipala
2009-09-17
*
Disable GCC inlining to stop goofy errors
Adam Chlipala
2009-09-17
*
dragList almost kinda works
Adam Chlipala
2009-09-08
*
New release
Adam Chlipala
2009-08-25
*
grid1 compiles but gets stuck in JS
Adam Chlipala
2009-08-25
*
Library improvements; proper list [un]urlification; remove server-side Server...
Adam Chlipala
2009-08-09
*
Working on Grid; have gone from one dynamic table bizareness to another
Adam Chlipala
2009-07-19
*
More command-line options
Adam Chlipala
2009-07-18
*
Demo working with MySQL
Adam Chlipala
2009-07-16
*
Start of multi-DBMS support
Adam Chlipala
2009-06-28
*
-debug from the command line
Adam Chlipala
2009-06-27
*
Initial implementation of protocols in Settings
Adam Chlipala
2009-06-23
[prev]
[next]