Copilot
|
de825be4c7
|
Replace fall-through comments with Z3_fallthrough macro (#8219)
* Initial plan
* Fix switch fall-through warnings with Z3_fallthrough attribute
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-18 20:57:31 -08:00 |
|
Nuno Lopes
|
8061765574
|
remove default destructors & some default constructors
Another ~700 KB reduction in binary size
|
2024-09-04 22:30:23 +01:00 |
|
Nikolaj Bjorner
|
4a6083836a
|
call it data instead of c_ptr for approaching C++11 std::vector convention.
|
2021-04-13 18:17:35 -07:00 |
|
Nikolaj Bjorner
|
e0a44894cf
|
purge smt.timeout, use timeout instead to control solver timing #2354
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2019-06-21 16:56:24 +02:00 |
|
Nikolaj Bjorner
|
520ce9a5ee
|
integrate lambda expressions
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-06-26 07:23:04 -07:00 |
|
Bruce Mitchener
|
76eb7b9ede
|
Use nullptr.
|
2018-02-12 14:05:55 +07:00 |
|
Nikolaj Bjorner
|
b19f94ae5b
|
make include paths uniformly use path relative to src. #534
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-07-31 13:24:11 -07:00 |
|
Nikolaj Bjorner
|
981f8226fe
|
moving to resource managed cancellation
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2015-12-11 13:36:47 -08:00 |
|
Nikolaj Bjorner
|
32b6b2da44
|
moving to resource managed cancellation
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2015-12-11 13:13:11 -08:00 |
|
Nuno Lopes
|
8edd551f20
|
remove uneeded calls to datalog_context::get_rules(), since it can be expensive.
thanks to Henning Guenther for finding this.
Signed-off-by: Nuno Lopes <nlopes@microsoft.com>
|
2015-07-08 13:39:15 +01:00 |
|
Nikolaj Bjorner
|
52619b9dbb
|
pull unstable
Signed-off-by: Nikolaj Bjorner <nbjorner@hotmail.com>
|
2015-04-01 14:57:11 -07:00 |
|
Christoph M. Wintersteiger
|
b76d588c28
|
Renamed the soft_timeout option to just timeout.
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2015-03-21 16:10:30 +00:00 |
|
Nikolaj Bjorner
|
c09903288f
|
have free variable utility use a class for more efficient re-use
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2014-09-15 16:14:22 -07:00 |
|
Nikolaj Bjorner
|
9b34350646
|
test output predicates
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2013-10-13 06:25:26 -07:00 |
|
Nikolaj Bjorner
|
0d56499e2d
|
re-organize muz_qe into separate units
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2013-08-28 21:20:24 -07:00 |
|