summaryrefslogtreecommitdiff
path: root/tests/test.urs
Commit message (Collapse)AuthorAge
* FFI transactionalsGravatar Adam Chlipala2009-05-02
|
* More FFI compiler optionsGravatar Adam Chlipala2009-05-02
|
* Successfully influenced effectful-ness status of FFI funcGravatar Adam Chlipala2009-05-02
|
* C FFI compiler optionsGravatar Adam Chlipala2009-04-30