version 1.7, 2000/12/22 10:03:28 |
version 1.9, 2001/03/08 07:49:12 |
|
|
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* |
* |
* $OpenXM: OpenXM_contrib2/asir2000/engine/init.c,v 1.6 2000/12/11 02:00:41 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/engine/init.c,v 1.8 2001/02/21 07:10:18 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "version.h" |
#include "version.h" |
Line 242 void resume_timer() { |
|
Line 242 void resume_timer() { |
|
extern int lm_lazy, up_lazy; |
extern int lm_lazy, up_lazy; |
extern int GC_dont_gc; |
extern int GC_dont_gc; |
extern int do_weyl; |
extern int do_weyl; |
|
extern int dp_fcoeffs; |
|
|
void reset_engine() { |
void reset_engine() { |
lm_lazy = 0; up_lazy = 0; |
lm_lazy = 0; |
|
up_lazy = 0; |
do_weyl = 0; |
do_weyl = 0; |
|
dp_fcoeffs = 0; |
GC_dont_gc = 0; |
GC_dont_gc = 0; |
} |
} |
|
|
unsigned int get_asir_version() { |
unsigned int get_asir_version() { |
return ASIR_VERSION; |
return ASIR_VERSION; |
} |
} |
|
|
|
char *get_asir_distribution() { |
|
return ASIR_DISTRIBUTION; |
|
} |
|
|
|
|
void create_error(ERR *err,unsigned int serial,char *msg) |
void create_error(ERR *err,unsigned int serial,char *msg) |
{ |
{ |