summaryrefslogtreecommitdiff
path: root/src/pathcheck.sml
Commit message (Collapse)AuthorAge
* Make Scriptcheck catch more script/message-passing uses, and move the phase ↵Gravatar Adam Chlipala2013-03-15
| | | | earlier in compilation
* Basis.serialize; separate file for mhash; run transactional finishers in ↵Gravatar Adam Chlipala2009-12-31
| | | | reverse order; set needs_sig properly
* Catching duplicate cookie and style pathsGravatar Adam Chlipala2009-04-16
|
* PRIMARY KEYGravatar Adam Chlipala2009-04-07
|
* UNIQUE constraintsGravatar Adam Chlipala2009-04-07
|
* First gimpy RPCGravatar Adam Chlipala2009-02-15
|
* Proper generation of relation names; checking that sequences existGravatar Adam Chlipala2008-10-19