projects / cvc5.git / commit
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | |
| Tue, 9 Mar 2010 05:25:31 +0000 (05:25 +0000) | ||
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | |
| Tue, 9 Mar 2010 05:25:31 +0000 (05:25 +0000) | ||
| commit | 16ed35436d4e4914a2dc601947fcc9c184b264a7 | |
| tree | 2e98c5c78f32d3a6c93106cd4ad1a079c24dd2eb | tree |
| parent | 04fd25e4201130776015fd3179631a97f27da12a | commit | diff |
| test/regress/regress0/uf/Makefile.am | diff | blob | history | |
| test/regress/regress0/uf/Makefile.in | diff | blob | history | |
| test/regress/regress0/uf/simple.04.cvc | [new file with mode: 0644] | blob |