aboutsummaryrefslogtreecommitdiff
path: root/math/cvc5
Commit message (Expand)AuthorAgeFilesLines
* math/cvc5: update 1.1.1 → 1.1.2Yuri Victorovich2024-03-043-7/+8
* devel/boost: bump consumers after library updateDima Panov2024-02-131-0/+1
* math/cvc5: update 1.1.0 → 1.1.1Yuri Victorovich2024-01-272-4/+4
* math/cvc5: update 1.0.8 → 1.1.0Yuri Victorovich2024-01-073-8/+8
* math/cvc5: Update the PORTSCOUT lineYuri Victorovich2024-01-051-1/+1
* devel/boost*: bump all consumers after 1.83.0Dima Panov2023-09-271-0/+1
* math/cvc5: update 1.0.5 → 1.0.8Yuri Victorovich2023-09-174-32/+8
* all: remove explicit versions in USES=python for "3.x+"Rene Ladan2023-06-271-1/+1
* math/cadical: Update 1.5.3 → 1.6.0Yuri Victorovich2023-06-251-1/+1
* */*: bump all direct Boost cunsumersDima Panov2023-04-271-0/+1
* math/cvc5: Fix testsYuri Victorovich2023-03-271-1/+3
* math/cvc5: Add PORTSCOUT lineYuri Victorovich2023-03-261-0/+2
* math/cvc5: Update 1.0.4 → 1.0.5Yuri Victorovich2023-03-153-8/+7
* math/cvc5: Correct options sectionYuri Victorovich2023-02-101-2/+3
* math/cvc5: Update 1.0.3 → 1.0.4Yuri Victorovich2023-02-073-35/+50
* */*: bump libboost*.so libraries consumert after Boost upgradeDima Panov2023-01-161-0/+1
* math/cvc4: Move to math/cvc5 - CVC4 was succeeded by CVC5Yuri Victorovich2023-01-046-0/+133
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-19 23:17:28 +0000