projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bdf92b5) | patch
competition submission should be fully static
authorMorgan Deters <mdeters@gmail.com>
Wed, 7 Jul 2010 00:36:20 +0000 (00:36 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 7 Jul 2010 00:36:20 +0000 (00:36 +0000)
commit9d2d37a02675275fa15407088358a1644b506d83
tree4fd597ec10677e3ea3d2f3b5bf3b50e99956ee28tree
parentbdf92b5fb98aba9500236140233dcdf01b845912commit | diff
competition submission should be fully static
Makefile diff | blob | history