From 4bc02a044fde4fb5c6f347e942202307a2dbdaaa Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 17 Nov 2009 12:44:14 -0500 Subject: Hooks for measuring how much interesting proving is going on in elaboration --- demo/batchFun.urp | 2 ++ demo/crud.urp | 2 ++ 2 files changed, 4 insertions(+) create mode 100644 demo/batchFun.urp create mode 100644 demo/crud.urp (limited to 'demo') 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 -- cgit v1.2.3