summaryrefslogtreecommitdiff
path: root/src/mono_util.sig
Commit message (Expand)AuthorAge
* Change Name_js to skip code snippets that depend on the CSRF-protection signa...Gravatar Adam Chlipala2013-04-01
* 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 repla...Gravatar Adam Chlipala2008-07-13
* 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-11-01 15:29:04 +0000