diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-11-17 12:44:14 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-11-17 12:44:14 -0500 |
| commit | 4bc02a044fde4fb5c6f347e942202307a2dbdaaa (patch) | |
| tree | 9e63f1f3850a9309718b5c95fde780c56c801325 /demo | |
| parent | 1eaec00255adfefbfdf4c25a77f03a107cd96fbd (diff) | |
Hooks for measuring how much interesting proving is going on in elaboration
Diffstat (limited to 'demo')
| -rw-r--r-- | demo/batchFun.urp | 2 | ||||
| -rw-r--r-- | demo/crud.urp | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/demo/batchFun.urp b/demo/batchFun.urp new file mode 100644 index 00000000..48f4d27a --- /dev/null +++ b/demo/batchFun.urp @@ -0,0 +1,2 @@ + +batchFun diff --git a/demo/crud.urp b/demo/crud.urp new file mode 100644 index 00000000..223bc7af --- /dev/null +++ b/demo/crud.urp @@ -0,0 +1,2 @@ + +crud |