summaryrefslogtreecommitdiff
path: root/src/settings.sml
Commit message (Collapse)AuthorAge
...
* Allow .urp libraries to set prefixGravatar Adam Chlipala2011-12-17
|
* Treat [naughtyDebug] as pure for optimization purposesGravatar Adam Chlipala2011-12-05
|
* timeFormat .urp directiveGravatar Adam Chlipala2011-12-04
|
* Change client-side debug to use console.debugGravatar Adam Chlipala2011-12-03
|
* Client-side strlenGeGravatar Adam Chlipala2011-12-03
|
* Client-side timefGravatar Adam Chlipala2011-11-24
|
* Regenerate proper Autotools files; fix JS stringToTime and add ↵Gravatar Adam Chlipala2011-11-18
| | | | stringToTime_error
* Add read instance for time on the clientGravatar Ron de Bruijn2011-11-17
|
* Better error messages about server-side use of client-side functionsGravatar Adam Chlipala2011-11-14
|
* Primitive int/float functions: ceil, float, round, truncGravatar Adam Chlipala2011-10-08
|
* New Basis functions: preventDefault and stopPropagation (code contributed by ↵Gravatar Adam Chlipala2011-09-11
| | | | Vladimir Shabanov)
* An abstract type of IDsGravatar Adam Chlipala2011-09-03
|
* New client-side, document-level event handlersGravatar Adam Chlipala2011-09-03
|
* Client-side 'addSeconds'Gravatar Adam Chlipala2011-07-24
|
* Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds ↵Gravatar Adam Chlipala2011-07-22
| | | | and Basis.toSeconds
* Add client-side Basis.now and pretty-printing of timesGravatar Adam Chlipala2011-07-06
|
* 'noXsrfProtection' .urp directiveGravatar Adam Chlipala2011-06-24
|
* Handle 'prefix' directives for HTTPSGravatar Adam Chlipala2011-06-01
|
* getHeader and setHeaderGravatar Adam Chlipala2011-05-29
|
* Ignore JavaScript events in Effectize; allow extra spaces for 'jsFunc'; eat ↵Gravatar Adam Chlipala2011-03-10
| | | | carriage returns at line ends in .urp files
* Allow debug and naughtyDebug in client-side code, implemented with alertGravatar Adam Chlipala2011-03-02
|
* Notice that Basis.now is effectful; smarter JavaScript encoding of initial ↵Gravatar Adam Chlipala2011-02-08
| | | | source values built using server-side expressions that can't be turned into JavaScript
* Patch from Vladimir Shabanov to support implicit passing of 'time' values ↵Gravatar Adam Chlipala2011-01-20
| | | | from server to client
* alwaysInline .urp settingGravatar Adam Chlipala2011-01-13
|
* Some more string parsing functions; naughtyDebugGravatar Adam Chlipala2011-01-11
|
* queryString and effectfulUrlGravatar Adam Chlipala2010-12-26
|
* JavaScript compilation of time comparison; fix lexing of XML that includes ↵Gravatar Adam Chlipala2010-12-24
| | | | open parens
* [De]serialization of times in JavaScript; proper integer division in ↵Gravatar Adam Chlipala2010-12-23
| | | | JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
* Implement constrained type kinding properly; bump mono inline threshholdGravatar Adam Chlipala2010-12-20
|
* minHeap option in .urp filesGravatar Adam Chlipala2010-12-11
|
* Fix JavaScript unit unurlification; URL blessing client-sideGravatar Adam Chlipala2010-11-26
|
* -limit for running timeGravatar Adam Chlipala2010-10-14
|
* Interface for setting memory limitsGravatar Adam Chlipala2010-10-14
|
* Server-side 'onError'Gravatar Adam Chlipala2010-09-07
|
* tryDmlGravatar Adam Chlipala2010-09-05
|
* Confirm boxes; proper event handler setting for ctagsGravatar Adam Chlipala2010-08-22
|
* Some post-type-checking support for polymorphic variantsGravatar Adam Chlipala2010-08-21
|
* Add rand to Basis and handle it in IflowGravatar Adam Chlipala2010-04-29
|
* Generated basic dummy Iflow conditionsGravatar Adam Chlipala2010-04-04
|
* Relational operators portabilityGravatar Adam Chlipala2010-04-01
|
* safeGetGravatar Adam Chlipala2010-03-09
|
* benignEffectfulGravatar Adam Chlipala2010-02-27
|
* sigfile directiveGravatar Adam Chlipala2010-02-11
|
* Basis.debug; more restrictive type for Basis.form; weaken definition of ↵Gravatar Adam Chlipala2010-01-07
| | | | polymorphic-ness for especialization
* DeadlinesGravatar Adam Chlipala2010-01-03
|
* Proper client-side attrifyStringGravatar Adam Chlipala2010-01-01
|
* Treat getCookie as effectfulGravatar Adam Chlipala2009-12-29
|
* Protocol-specific compiler optionsGravatar Adam Chlipala2009-12-27
|
* Dynamic linking of the runtime systemGravatar Adam Chlipala2009-12-27
|
* Initializers and setvalGravatar Adam Chlipala2009-12-13
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 07:40:39 +0000