Copilot
|
2436943794
|
Standardize for-loop increments to prefix form (++i) (#8199)
* Initial plan
* Convert postfix to prefix increment in for loops
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Fix member variable increment conversion bug
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Update API generator to produce prefix increments
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-01-14 19:55:31 -08: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
|
857557ad93
|
deal with compiler warnings
|
2021-03-08 20:39:19 -08:00 |
|
Nikolaj Bjorner
|
f29a596070
|
deal with compiler warnings, from MacOS CI build
|
2021-03-08 17:14:09 -08:00 |
|
Nikolaj Bjorner
|
d0e20e44ff
|
booyah
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-07-04 15:56:30 -07:00 |
|
Bruce Mitchener
|
a5a31fc23c
|
Fix code formatting: Incorrect indentation.
|
2018-01-02 23:11:36 +07:00 |
|
Nikolaj Bjorner
|
8acc924c21
|
ifndef/define match
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-10-24 16:34:49 -07:00 |
|
Nikolaj Bjorner
|
ee320fa025
|
fix build errors
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-10-24 13:32:40 -07:00 |
|
Nikolaj Bjorner
|
31dfc0c610
|
fix build, fix #1322
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-10-24 13:20:19 -07:00 |
|
Nikolaj Bjorner
|
48d144a6dd
|
missing file
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-10-24 12:51:47 -07:00 |
|