From 2e90bd94de32c739733966bfac96cf35e9a08655 Mon Sep 17 00:00:00 2001 From: Tim Chevalier Date: Wed, 6 Apr 2011 17:56:44 -0700 Subject: Continued sketching out code for checking states against preconditions. It's still sketchy. I added a typestate annotation field to statements tagged stmt_decl or stmt_expr, because a stmt_decl statement has a typestate that's different from that of its child node. This necessitated trivial changes to a bunch of other files all over to the compiler. I also added a few small standard library functions, some of which I didn't actually end up using but which I thought might be useful anyway. --- .gitignore | 1 + 1 file changed, 1 insertion(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index dbfd7846..184f1402 100644 --- a/.gitignore +++ b/.gitignore @@ -52,3 +52,4 @@ config.mk /test/ /build/ src/.DS_Store +/stage0/ -- cgit v1.2.3