acw/focus-triggers
main
|
Last change
on this file since 5a822ff was 5a822ff, checked in by Stephen Siegel <siegel@…>, 4 weeks ago |
|
Allow a program that includes mpi.h to never use MPI. Before an error
was reported because MPI_Finalize was not called, but that was not fair
since MPI_Init() was never called (nor any other MPI function). Also
inserted a TODO comment in th MPI transformer about how to check that
the user has specified some upper bound on the number of MPI processes.
|
-
Property mode
set to
100644
|
|
File size:
169 bytes
|
| Line | |
|---|
| 1 | dyscope
|
|---|
| 2 | datatypes
|
|---|
| 3 | lvalue
|
|---|
| 4 | unsequenced
|
|---|
| 5 | sizeof
|
|---|
| 6 | alignof
|
|---|
| 7 | significand
|
|---|
| 8 | siegel
|
|---|
| 9 | flyweight
|
|---|
| 10 | struct
|
|---|
| 11 | monomial
|
|---|
| 12 | canonic
|
|---|
| 13 | stephen
|
|---|
| 14 | refactoring
|
|---|
| 15 | int
|
|---|
| 16 | datatype
|
|---|
| 17 | bool
|
|---|
| 18 | unsat
|
|---|
| 19 | const
|
|---|
| 20 | preprocessing
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
