projects / cdsspec-compiler.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: d28d1a3)
Fix bug that prevents graph generation from compiling.
authorBrian Demsky <bdemsky@uci.edu>
Fri, 26 Apr 2013 20:46:35 +0000 (13:46 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Fri, 26 Apr 2013 20:46:35 +0000 (13:46 -0700)
Check in test case that shows theorem that I've been trying to prove for 2 days is in fact not true (and thus difficult to prove).


No differences found
This is the public repository for the CDSSpec specification compiler.