Josh Berdine
934455a24b
Remove vestiges of old ml api ( #7597 )
2025-03-27 16:41:31 -07:00
Nikolaj Bjorner
ec14ef765e
Update Ubuntu job name in Azure pipeline and add string variable creation in C API example
2024-09-23 17:42:39 +01:00
Nuno Lopes
87e45221fd
add missing break stmt to example
...
Reported by Henrique Preto
2022-10-14 09:43:18 +01:00
Nikolaj Bjorner
5322d4f241
fix #6326
2022-09-06 23:48:21 -07:00
Brenton Bostick
5351640e97
Fix stray semicolon in examples ( #5669 )
2021-11-18 10:35:22 -08:00
Alexander Traud
f5f35f87d0
fix grouping for latest doxygen ( #5626 )
...
Since doxygen 1.8.16, opening and closing a group must not be done as
C comment but as doxygen command. In other words, not one but two
asterisk characters are required so that doxygen finds a group.
2021-10-27 23:46:31 +02:00
Rolf Eike Beer
7f8e2a9f75
clean up CMake code ( #5182 )
...
* CMake: simplify FindGMP.cmake
Remove printing of all the different variables, and let FPHSA output the library
name. Add an imported target, which bundles the library and the include
directories for easier usage.
* fix build: vector::c_ptr() now is vector::data()
* CMake: use Threads::Threads imported module
Otherwise the setting of THREADS_PREFER_PTHREAD_FLAG has no effect.
* CMake: remove needless policy setting
The minimum required version is CMake 3.4, where these policies are already set
to new because they were introduced earlier.
* CMake: remove needless variable expansion
2021-04-14 10:29:15 -07:00
Nikolaj Bjorner
85b4fc1865
void
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2020-08-23 10:47:39 -07:00
Nikolaj Bjorner
3eac4a4aa1
clean up examples for unused variables
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2019-09-22 10:24:05 -07:00
Bruce Mitchener
0eafeb9342
Fix confusing tabs mixed in with spaces in C examples.
2019-08-13 09:26:44 -07:00
Nikolaj Bjorner
cb6d3d2458
increase minimal requirement to 3.4
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2019-06-07 17:05:12 -07:00
Bruce Mitchener
44bc00f13d
Fix typos.
2018-12-23 21:58:57 -05:00
Bruce Mitchener
edf8ba44d1
Switch from using Z3_bool to using bool.
...
This is a continuation of the work started by using stdbool and
continued by switching from Z3_TRUE|FALSE to true|false.
2018-11-20 11:27:09 +07:00
Bruce Mitchener
56bbed173e
Remove usages of Z3_TRUE / Z3_FALSE.
...
Now that this is all using stdbool.h, we can just use true/false.
For now, we leave the aliases in place in z3_api.h.
2018-11-20 00:25:37 +07:00
Nikolaj Bjorner
a85a612bae
use old-fashined C for test_capi
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2018-11-15 10:03:43 -08:00
Florian Pigorsch
326bf401b9
Fix some spelling errors (mostly in comments).
2018-10-20 17:07:41 +02:00
Bruce Mitchener
a76397d3b8
Refer to macOS rather than Mac OS / OSX.
2018-10-02 17:38:09 +07:00
Nikolaj Bjorner
adb9a1c797
fix c
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2018-07-04 17:31:26 -07:00
Nikolaj Bjorner
9f3da32a77
remove interpolation from test_capi
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2018-05-24 16:28:23 -07:00
Nikolaj Bjorner
fa93bc419d
fix build
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2018-05-01 10:53:36 -07:00
Nikolaj Bjorner
f525f43e43
merge
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2018-04-30 09:30:43 -07:00
Nikolaj Bjorner
32c9af5e5a
fix use of Z3_bool -> Z3_lbool
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2018-03-27 16:16:25 -07:00
Nikolaj Bjorner
c513f3ca09
merge with master
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2018-03-25 14:57:01 -07:00
Bruce Mitchener
73b3da37d8
Typo fixes.
2018-01-02 22:48:06 +07:00
Nikolaj Bjorner
2749e547cf
fix c example, remove more smtlib1 printing
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2017-11-28 18:14:24 -08:00
