Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
W
WhyMP
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Deploy
Releases
Model registry
Monitor
Incidents
Service Desk
Analyze
Value stream analytics
Contributor analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Admin message
GitLab upgrade completed. Current version is 17.11.3.
Show more breadcrumbs
Why3
WhyMP
Commits
8323f427
Commit
8323f427
authored
5 years ago
by
Guillaume Melquiond
Browse files
Options
Downloads
Patches
Plain Diff
Reconcile file with upstream changes.
parent
fd6211c1
Branches
Branches containing commit
Tags
Tags containing commit
No related merge requests found
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
wmp.h
+13
-9
13 additions, 9 deletions
wmp.h
with
13 additions
and
9 deletions
wmp.h
+
13
−
9
View file @
8323f427
...
@@ -40,16 +40,21 @@ void wmpz_set_ui (wmpz_ptr, uint64_t);
...
@@ -40,16 +40,21 @@ void wmpz_set_ui (wmpz_ptr, uint64_t);
void
wmpz_set_si
(
wmpz_ptr
,
int64_t
);
void
wmpz_set_si
(
wmpz_ptr
,
int64_t
);
uint64_t
wmpz_get_ui
(
wmpz_srcptr
);
uint64_t
wmpz_get_ui
(
wmpz_srcptr
);
// whitespace, leading base prefix, and base detection are not supported.
int32_t
wmpz_set_str
(
wmpz_ptr
,
char
const
*
,
int32_t
base
);
// not verified when size >= 0x2000000.
// sp == NULL is not supported.
char
*
wmpz_get_str
(
char
*
,
int32_t
base
,
wmpz_srcptr
);
int32_t
wmpz_cmp
(
wmpz_srcptr
,
wmpz_srcptr
);
int32_t
wmpz_cmp
(
wmpz_srcptr
,
wmpz_srcptr
);
int32_t
wmpz_cmp_ui
(
wmpz_srcptr
,
uint64_t
);
int32_t
wmpz_cmp_ui
(
wmpz_srcptr
,
uint64_t
);
int32_t
wmpz_cmp_si
(
wmpz_srcptr
,
int64_t
);
int32_t
wmpz_cmp_si
(
wmpz_srcptr
,
int64_t
);
int32_t
wmpz_cmpabs
(
wmpz_srcptr
,
wmpz_srcptr
);
int32_t
wmpz_cmpabs
(
wmpz_srcptr
,
wmpz_srcptr
);
int32_t
wmpz_cmpabs_ui
(
wmpz_srcptr
,
uint64_t
);
int32_t
wmpz_cmpabs_ui
(
wmpz_srcptr
,
uint64_t
);
int32_t
wmpz_sgn
(
wmpz_srcptr
);
int32_t
wmpz_sgn
(
wmpz_srcptr
);
void
wmpz_abs
(
wmpz_ptr
,
wmpz_srcptr
);
void
wmpz_abs
(
wmpz_ptr
,
wmpz_srcptr
);
void
wmpz_add
(
wmpz_ptr
,
wmpz_srcptr
,
wmpz_srcptr
);
void
wmpz_add
(
wmpz_ptr
,
wmpz_srcptr
,
wmpz_srcptr
);
void
wmpz_add_ui
(
wmpz_ptr
,
wmpz_srcptr
,
uint64_t
);
void
wmpz_add_ui
(
wmpz_ptr
,
wmpz_srcptr
,
uint64_t
);
...
@@ -68,8 +73,6 @@ void wmpz_tdiv_q_2exp (wmpz_ptr, wmpz_srcptr, uint64_t);
...
@@ -68,8 +73,6 @@ void wmpz_tdiv_q_2exp (wmpz_ptr, wmpz_srcptr, uint64_t);
void
wmpz_tdiv_qr
(
wmpz_ptr
quot
,
wmpz_ptr
rem
,
wmpz_srcptr
,
wmpz_srcptr
);
void
wmpz_tdiv_qr
(
wmpz_ptr
quot
,
wmpz_ptr
rem
,
wmpz_srcptr
,
wmpz_srcptr
);
uint64_t
wmpz_tdiv_qr_ui
(
wmpz_ptr
quot
,
wmpz_ptr
rem
,
wmpz_srcptr
,
uint64_t
);
uint64_t
wmpz_tdiv_qr_ui
(
wmpz_ptr
quot
,
wmpz_ptr
rem
,
wmpz_srcptr
,
uint64_t
);
char
*
wmpz_get_str
(
char
*
,
int32_t
base
,
wmpz_srcptr
);
int32_t
wmpz_set_str
(
wmpz_ptr
,
char
const
*
,
int32_t
base
);
int32_t
wmpn_cmp
(
wmp_srcptr
,
wmp_srcptr
,
wmp_size_t
);
int32_t
wmpn_cmp
(
wmp_srcptr
,
wmp_srcptr
,
wmp_size_t
);
...
@@ -110,8 +113,9 @@ void wmpn_tdiv_qr (wmp_ptr qp, wmp_ptr rp, wmp_size_t qxn, wmp_srcptr np,
...
@@ -110,8 +113,9 @@ void wmpn_tdiv_qr (wmp_ptr qp, wmp_ptr rp, wmp_size_t qxn, wmp_srcptr np,
// not verified when rp and np are aliased.
// not verified when rp and np are aliased.
wmp_size_t
wmpn_sqrtrem
(
wmp_ptr
sp
,
wmp_ptr
rp
,
wmp_srcptr
np
,
wmp_size_t
);
wmp_size_t
wmpn_sqrtrem
(
wmp_ptr
sp
,
wmp_ptr
rp
,
wmp_srcptr
np
,
wmp_size_t
);
wmp_size_t
wmpn_set_str
(
wmp_ptr
,
unsigned
char
const
*
,
uint32_t
,
int32_t
base
);
// not verified when un >= 0x2000000
wmp_size_t
wmpn_get_str
(
unsigned
char
*
,
int32_t
base
,
wmp_srcptr
,
wmp_size_t
);
wmp_size_t
wmpn_get_str
(
unsigned
char
*
,
int32_t
base
,
wmp_srcptr
,
wmp_size_t
);
wmp_size_t
wmpn_set_str
(
wmp_ptr
,
unsigned
char
const
*
,
size_t
,
int32_t
base
);
#ifdef __cplusplus
#ifdef __cplusplus
}
}
...
...
This diff is collapsed.
Click to expand it.
Preview
0%
Loading
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
register
or
sign in
to comment