Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Tweaking unification fix to apply to demo/more | Adam Chlipala | 2010-10-10 |
| | |||
* | Some serious bug-fix work to get HTML example to compile; this includes ↵ | Adam Chlipala | 2010-06-03 |
| | | | | fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize | ||
* | String.isPrefix | Adam Chlipala | 2010-03-02 |
| | |||
* | Handling errors during commit | Adam Chlipala | 2010-01-26 |
| | |||
* | Reduce concatenations of the empty record; unpoly non-recursive functions | Adam Chlipala | 2010-01-10 |
| | |||
* | Represent FFI function names as strings, to deal with cross-file recursion | Adam Chlipala | 2009-12-05 |
| | |||
* | Bidding interface | Adam Chlipala | 2009-11-01 |
| | |||
* | strcspn and friends | Adam Chlipala | 2009-05-31 |
| | |||
* | Substring functions; fix a nasty MonoReduce pattern match substitution bug | Adam Chlipala | 2009-05-30 |
| | |||
* | String.length | Adam Chlipala | 2009-05-30 |
| | |||
* | Chars and more string operations | Adam Chlipala | 2009-05-26 |