main
|
Last change
on this file was ea777aa, checked in by Alex Wilton <awilton@…>, 3 years ago |
|
Moved examples, include, build_default.properties, common.xml, and README out from dev.civl.com into the root of the repo.
git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@5704 fb995dde-84ed-4084-dfe6-e5aef3e2452c
|
-
Property mode
set to
100644
|
|
File size:
536 bytes
|
| Line | |
|---|
| 1 | Example 2:
|
|---|
| 2 |
|
|---|
| 3 | This is a PETSc example that has been refactored. This is motivated by some ideas we are exploring in automatic differentiation. The verification task would be to confirm that all of the variants are equivalent. They should all be real equivalent (in terms of the function computed -- some of the error checking and flop counting is not the same). Some of them might even be Herbrand equivalent.
|
|---|
| 4 |
|
|---|
| 5 | compare two variants:
|
|---|
| 6 | civl compare -impl ex2Driver.c ex2a.c -spec ex2Driver.c ex2d.c
|
|---|
| 7 |
|
|---|
| 8 | compare all variants:
|
|---|
| 9 | make
|
|---|
| 10 |
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
