aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/mono_util.sig
Commit message (Collapse)AuthorAge
* More invalidation progress.Gravatar Ziv Scully2014-11-11
|
* Change Name_js to skip code snippets that depend on the CSRF-protection ↵Gravatar Adam Chlipala2013-04-01
| | | | signature
* New NameJs phase, still needing some debuggingGravatar Adam Chlipala2012-08-02
|
* Announce sidedness errors with source locationsGravatar Adam Chlipala2011-11-25
|
* 'more' demos working after optimizer fixGravatar Adam Chlipala2009-09-08
|
* Start of JsCompGravatar Adam Chlipala2008-12-20
|
* Fusing writes with recursive function callsGravatar Adam Chlipala2008-11-25
|
* 'Option' datatype encodingGravatar Adam Chlipala2008-08-09
|
* Datatype representation optimizationGravatar Adam Chlipala2008-08-03
|
* Storing datatype constructors in type references past monoizeGravatar Adam Chlipala2008-07-29
|
* Remove closure conversion in favor of zany fun with modules, which also ↵Gravatar Adam Chlipala2008-07-13
| | | | replaces 'page'
* Mono optimizations (start with string concat and space eating)Gravatar Adam Chlipala2008-07-03
|
* Closure conversionGravatar Adam Chlipala2008-06-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-28 23:44:44 +0000