René's URL Explorer Experiment


Title: History for gecode/kernel - Gecode/gecode · GitHub

Open Graph Title: History for gecode/kernel - Gecode/gecode

X Title: History for gecode/kernel - Gecode/gecode

Description: Generic Constraint Development Environment. Contribute to Gecode/gecode development by creating an account on GitHub.

Open Graph Description: Generic Constraint Development Environment. Contribute to Gecode/gecode development by creating an account on GitHub.

X Description: Generic Constraint Development Environment. Contribute to Gecode/gecode development by creating an account on GitHub.

Opengraph URL: https://github.com/Gecode/gecode

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/commits(/*name)
route-controllercommits
route-actionshow
fetch-noncev2:1d3ae3bf-19ea-9e9d-8b82-b39cc41437ae
current-catalog-service-hashf3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-idE49E:2E8599:ED8A27:15AD59D:6A4E31A5
html-safe-nonce7af27331901dd24116fd848fe08c25e7c472d421f28156f4a00f4f3a01dbfa5e
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJFNDlFOjJFODU5OTpFRDhBMjc6MTVBRDU5RDo2QTRFMzFBNSIsInZpc2l0b3JfaWQiOiI1NTM2OTQ1Njg4MDA3MjkxMzAxIiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmac23badd7608ba84446ca82c8e65bd29242f95f95403d0c096c1033903e4556943
hovercard-subject-tagrepository:45666766
github-keyboard-shortcutsrepository,commit-list,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///commits/show
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/Gecode/gecode/commits/develop/gecode/kernel
twitter:imagehttps://opengraph.githubassets.com/a6ec57db4af2de467abc311bd9b8bf695c6cdfc17abc2655530175044cd91b75/Gecode/gecode
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/a6ec57db4af2de467abc311bd9b8bf695c6cdfc17abc2655530175044cd91b75/Gecode/gecode
og:image:altGeneric Constraint Development Environment. Contribute to Gecode/gecode development by creating an account on GitHub.
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
None030096ee0db095447bfe77409d33bfac127ca7128299c58deef27c52eaa1b1f0
turbo-cache-controlno-cache
go-importgithub.com/Gecode/gecode git https://github.com/Gecode/gecode.git
octolytics-dimension-user_id14131143
octolytics-dimension-user_loginGecode
octolytics-dimension-repository_id45666766
octolytics-dimension-repository_nwoGecode/gecode
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id45666766
octolytics-dimension-repository_network_root_nwoGecode/gecode
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release42a6d378d7587a44c93aca255096cd66b7c8eb2d
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/Gecode/gecode/commits/develop/gecode/kernel#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FGecode%2Fgecode%2Fcommits%2Fdevelop%2Fgecode%2Fkernel
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub Copilot appDirect agents from issue to mergehttps://github.com/features/ai/github-app
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
View all resourceshttps://github.com/resources
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
GitHub Starshttps://stars.github.com
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FGecode%2Fgecode%2Fcommits%2Fdevelop%2Fgecode%2Fkernel
Sign up https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fcommits%2Fshow&source=header-repo&source_repo=Gecode%2Fgecode
Reloadhttps://github.com/Gecode/gecode/commits/develop/gecode/kernel
Reloadhttps://github.com/Gecode/gecode/commits/develop/gecode/kernel
Reloadhttps://github.com/Gecode/gecode/commits/develop/gecode/kernel
Please reload this pagehttps://github.com/Gecode/gecode/commits/develop/gecode/kernel
Gecode https://github.com/Gecode
gecodehttps://github.com/Gecode/gecode
Notifications https://github.com/login?return_to=%2FGecode%2Fgecode
Fork 86 https://github.com/login?return_to=%2FGecode%2Fgecode
Star 330 https://github.com/login?return_to=%2FGecode%2Fgecode
Code https://github.com/Gecode/gecode/tree/develop
Issues 42 https://github.com/Gecode/gecode/issues
Pull requests 8 https://github.com/Gecode/gecode/pulls
Discussions https://github.com/Gecode/gecode/discussions
Actions https://github.com/Gecode/gecode/actions
Projects https://github.com/Gecode/gecode/projects
Security and quality 0 https://github.com/Gecode/gecode/security
Insights https://github.com/Gecode/gecode/pulse
Code https://github.com/Gecode/gecode/tree/develop
Issues https://github.com/Gecode/gecode/issues
Pull requests https://github.com/Gecode/gecode/pulls
Discussions https://github.com/Gecode/gecode/discussions
Actions https://github.com/Gecode/gecode/actions
Projects https://github.com/Gecode/gecode/projects
Security and quality https://github.com/Gecode/gecode/security
Insights https://github.com/Gecode/gecode/pulse
gecodehttps://github.com/Gecode/gecode/commits
gecodehttps://github.com/Gecode/gecode/commits/develop/gecode
kernelhttps://github.com/Gecode/gecode/commits/develop/gecode/kernel
develophttps://github.com/Gecode/gecode/tree/develop
Added default copy assignment operators where their implicit definition is now (C++11) deprecated due to the presence of user-declared copy constructors.https://github.com/Gecode/gecode/commit/a15997fee7733720f97be82bb993f81fd60de76e
pkeirhttps://github.com/Gecode/gecode/commits?author=pkeir
zayenzhttps://github.com/Gecode/gecode/commits?author=zayenz
a15997fhttps://github.com/Gecode/gecode/commit/a15997fee7733720f97be82bb993f81fd60de76e
https://github.com/Gecode/gecode/blob/a15997fee7733720f97be82bb993f81fd60de76e/gecode/kernel
https://github.com/Gecode/gecode/tree/a15997fee7733720f97be82bb993f81fd60de76e
Add warning not to use copy constructor and copy directlyhttps://github.com/Gecode/gecode/commit/350df215cbcf1af8cd7217e467316482c02748d2
https://github.com/zayenz
zayenzhttps://github.com/Gecode/gecode/commits?author=zayenz
350df21https://github.com/Gecode/gecode/commit/350df215cbcf1af8cd7217e467316482c02748d2
https://github.com/Gecode/gecode/blob/350df215cbcf1af8cd7217e467316482c02748d2/gecode/kernel
https://github.com/Gecode/gecode/tree/350df215cbcf1af8cd7217e467316482c02748d2
Empty block body commentshttps://github.com/Gecode/gecode/commit/7e107249a492c67d586e52bdf7b871246d7cb012
https://github.com/zayenz
zayenzhttps://github.com/Gecode/gecode/commits?author=zayenz
7e10724https://github.com/Gecode/gecode/commit/7e107249a492c67d586e52bdf7b871246d7cb012
https://github.com/Gecode/gecode/blob/7e107249a492c67d586e52bdf7b871246d7cb012/gecode/kernel
https://github.com/Gecode/gecode/tree/7e107249a492c67d586e52bdf7b871246d7cb012
Suppress erroneous clang warning for array accesshttps://github.com/Gecode/gecode/commit/bb1efcd8c4bf5d8d6c079a1b7704c51ea958bf06
https://github.com/zayenz
zayenzhttps://github.com/Gecode/gecode/commits?author=zayenz
bb1efcdhttps://github.com/Gecode/gecode/commit/bb1efcd8c4bf5d8d6c079a1b7704c51ea958bf06
https://github.com/Gecode/gecode/blob/bb1efcd8c4bf5d8d6c079a1b7704c51ea958bf06/gecode/kernel
https://github.com/Gecode/gecode/tree/bb1efcd8c4bf5d8d6c079a1b7704c51ea958bf06
Avoid double underscore in macroshttps://github.com/Gecode/gecode/commit/9a5efb1566cf790f19ebf543e3fa4cfa7327112c
https://github.com/zayenz
zayenzhttps://github.com/Gecode/gecode/commits?author=zayenz
9a5efb1https://github.com/Gecode/gecode/commit/9a5efb1566cf790f19ebf543e3fa4cfa7327112c
https://github.com/Gecode/gecode/blob/9a5efb1566cf790f19ebf543e3fa4cfa7327112c/gecode/kernel
https://github.com/Gecode/gecode/tree/9a5efb1566cf790f19ebf543e3fa4cfa7327112c
Avoid reserved identifier nameshttps://github.com/Gecode/gecode/commit/4e4529e8739c58a83424a1994ce2bd907157d0fd
https://github.com/zayenz
zayenzhttps://github.com/Gecode/gecode/commits?author=zayenz
4e4529ehttps://github.com/Gecode/gecode/commit/4e4529e8739c58a83424a1994ce2bd907157d0fd
https://github.com/Gecode/gecode/blob/4e4529e8739c58a83424a1994ce2bd907157d0fd/gecode/kernel
https://github.com/Gecode/gecode/tree/4e4529e8739c58a83424a1994ce2bd907157d0fd
Add configure flags --with-freelist32-size-max and --with-freelist64-size-max to avoid hard-coding these parametershttps://github.com/Gecode/gecode/commit/7732dcc2ac6a26cedcc66808f4412ad4bc68d7d3
https://github.com/guidotack
guidotackhttps://github.com/Gecode/gecode/commits?author=guidotack
7732dcchttps://github.com/Gecode/gecode/commit/7732dcc2ac6a26cedcc66808f4412ad4bc68d7d3
https://github.com/Gecode/gecode/blob/7732dcc2ac6a26cedcc66808f4412ad4bc68d7d3/gecode/kernel
https://github.com/Gecode/gecode/tree/7732dcc2ac6a26cedcc66808f4412ad4bc68d7d3
Fix memory manager to only reuse memory that is properly alignedhttps://github.com/Gecode/gecode/commit/6fdb46839d00ac8e03cd9297712f1206afd686ec
https://github.com/guidotack
guidotackhttps://github.com/Gecode/gecode/commits?author=guidotack
6fdb468https://github.com/Gecode/gecode/commit/6fdb46839d00ac8e03cd9297712f1206afd686ec
https://github.com/Gecode/gecode/blob/6fdb46839d00ac8e03cd9297712f1206afd686ec/gecode/kernel
https://github.com/Gecode/gecode/tree/6fdb46839d00ac8e03cd9297712f1206afd686ec
Use UTF-8 as file encodinghttps://github.com/Gecode/gecode/commit/3641a30d25858d482638618ffa6eab6650634320
https://github.com/zayenz
zayenzhttps://github.com/Gecode/gecode/commits?author=zayenz
3641a30https://github.com/Gecode/gecode/commit/3641a30d25858d482638618ffa6eab6650634320
https://github.com/Gecode/gecode/blob/3641a30d25858d482638618ffa6eab6650634320/gecode/kernel
https://github.com/Gecode/gecode/tree/3641a30d25858d482638618ffa6eab6650634320
Fixed crash after PropagatorGroup::killhttps://github.com/Gecode/gecode/commit/42b042c165180cb1f0eaacf9809af12b2e6dcf5d
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
42b042chttps://github.com/Gecode/gecode/commit/42b042c165180cb1f0eaacf9809af12b2e6dcf5d
https://github.com/Gecode/gecode/blob/42b042c165180cb1f0eaacf9809af12b2e6dcf5d/gecode/kernel
https://github.com/Gecode/gecode/tree/42b042c165180cb1f0eaacf9809af12b2e6dcf5d
More long long statistics glitches fixedhttps://github.com/Gecode/gecode/commit/f494360f211f7761b705fdf6201c07fa3cbd5975
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
f494360https://github.com/Gecode/gecode/commit/f494360f211f7761b705fdf6201c07fa3cbd5975
https://github.com/Gecode/gecode/blob/f494360f211f7761b705fdf6201c07fa3cbd5975/gecode/kernel
https://github.com/Gecode/gecode/tree/f494360f211f7761b705fdf6201c07fa3cbd5975
Fixed another long long confusion for restart cutoffshttps://github.com/Gecode/gecode/commit/f343175d521453c906a533afae0b11844858dcf4
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
f343175https://github.com/Gecode/gecode/commit/f343175d521453c906a533afae0b11844858dcf4
https://github.com/Gecode/gecode/blob/f343175d521453c906a533afae0b11844858dcf4/gecode/kernel
https://github.com/Gecode/gecode/tree/f343175d521453c906a533afae0b11844858dcf4
Fixed another long long confusion for restart cutoffshttps://github.com/Gecode/gecode/commit/c02dd0f8becc112a18110663065cbf2b52040c3a
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
c02dd0fhttps://github.com/Gecode/gecode/commit/c02dd0f8becc112a18110663065cbf2b52040c3a
https://github.com/Gecode/gecode/blob/c02dd0f8becc112a18110663065cbf2b52040c3a/gecode/kernel
https://github.com/Gecode/gecode/tree/c02dd0f8becc112a18110663065cbf2b52040c3a
Removed some warning, fixed some minor quirkshttps://github.com/Gecode/gecode/commit/a2bd25991bdc97bc6649374855d6662503b2417e
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
a2bd259https://github.com/Gecode/gecode/commit/a2bd25991bdc97bc6649374855d6662503b2417e
https://github.com/Gecode/gecode/blob/a2bd25991bdc97bc6649374855d6662503b2417e/gecode/kernel
https://github.com/Gecode/gecode/tree/a2bd25991bdc97bc6649374855d6662503b2417e
Delete member functions rather than making them privatehttps://github.com/Gecode/gecode/commit/98701c7ce170205dbe05b75cd47bef9c3b805220
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
98701c7https://github.com/Gecode/gecode/commit/98701c7ce170205dbe05b75cd47bef9c3b805220
https://github.com/Gecode/gecode/blob/98701c7ce170205dbe05b75cd47bef9c3b805220/gecode/kernel
https://github.com/Gecode/gecode/tree/98701c7ce170205dbe05b75cd47bef9c3b805220
Use noexcept instead of throw()https://github.com/Gecode/gecode/commit/97c3278fe49d4864bb8089815a71682da07f25e2
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
97c3278https://github.com/Gecode/gecode/commit/97c3278fe49d4864bb8089815a71682da07f25e2
https://github.com/Gecode/gecode/blob/97c3278fe49d4864bb8089815a71682da07f25e2/gecode/kernel
https://github.com/Gecode/gecode/tree/97c3278fe49d4864bb8089815a71682da07f25e2
Do not use NULLhttps://github.com/Gecode/gecode/commit/7b7eb9e322ed4cba3107f4081b340e2df554365a
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
7b7eb9ehttps://github.com/Gecode/gecode/commit/7b7eb9e322ed4cba3107f4081b340e2df554365a
https://github.com/Gecode/gecode/blob/7b7eb9e322ed4cba3107f4081b340e2df554365a/gecode/kernel
https://github.com/Gecode/gecode/tree/7b7eb9e322ed4cba3107f4081b340e2df554365a
Compiles with MSVC 2015 againhttps://github.com/Gecode/gecode/commit/58ed906cc7e34412e8548367fbbc88839e6af3e3
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
58ed906https://github.com/Gecode/gecode/commit/58ed906cc7e34412e8548367fbbc88839e6af3e3
https://github.com/Gecode/gecode/blob/58ed906cc7e34412e8548367fbbc88839e6af3e3/gecode/kernel
https://github.com/Gecode/gecode/tree/58ed906cc7e34412e8548367fbbc88839e6af3e3
Extended types for statistics to avoid wraparound for long-running benchmarkshttps://github.com/Gecode/gecode/commit/ac7ed70bc38ecfdb0767b016fed284858f7a172c
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
ac7ed70https://github.com/Gecode/gecode/commit/ac7ed70bc38ecfdb0767b016fed284858f7a172c
https://github.com/Gecode/gecode/blob/ac7ed70bc38ecfdb0767b016fed284858f7a172c/gecode/kernel
https://github.com/Gecode/gecode/tree/ac7ed70bc38ecfdb0767b016fed284858f7a172c
Removed shadowinghttps://github.com/Gecode/gecode/commit/b3fceb0f16296b38972ce9adbdca29ffb8f76d14
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
b3fceb0https://github.com/Gecode/gecode/commit/b3fceb0f16296b38972ce9adbdca29ffb8f76d14
https://github.com/Gecode/gecode/blob/b3fceb0f16296b38972ce9adbdca29ffb8f76d14/gecode/kernel
https://github.com/Gecode/gecode/tree/b3fceb0f16296b38972ce9adbdca29ffb8f76d14
Configure whether to use propagation and/or failure for actionhttps://github.com/Gecode/gecode/commit/d672fd6f116ba1fe678177b214414f990727ee59
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
d672fd6https://github.com/Gecode/gecode/commit/d672fd6f116ba1fe678177b214414f990727ee59
https://github.com/Gecode/gecode/blob/d672fd6f116ba1fe678177b214414f990727ee59/gecode/kernel
https://github.com/Gecode/gecode/tree/d672fd6f116ba1fe678177b214414f990727ee59
Do not use memory addresses for determining in which order duplicate variables are removedhttps://github.com/Gecode/gecode/commit/bda0f1b3b734ab6c9ace8c5b693ce0a07bf6bee3
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
bda0f1bhttps://github.com/Gecode/gecode/commit/bda0f1b3b734ab6c9ace8c5b693ce0a07bf6bee3
https://github.com/Gecode/gecode/blob/bda0f1b3b734ab6c9ace8c5b693ce0a07bf6bee3/gecode/kernel
https://github.com/Gecode/gecode/tree/bda0f1b3b734ab6c9ace8c5b693ce0a07bf6bee3
Fixed event recording for general tracers (fixes #44)https://github.com/Gecode/gecode/commit/b1e0383befdcde9ad7b6ac1f4f8ceb7423ab05e6
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
b1e0383https://github.com/Gecode/gecode/commit/b1e0383befdcde9ad7b6ac1f4f8ceb7423ab05e6
https://github.com/Gecode/gecode/blob/b1e0383befdcde9ad7b6ac1f4f8ceb7423ab05e6/gecode/kernel
https://github.com/Gecode/gecode/tree/b1e0383befdcde9ad7b6ac1f4f8ceb7423ab05e6
Record post events for general tracers by defaulthttps://github.com/Gecode/gecode/commit/bd9e549042dc06583799d3095b51950b1db44108
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
bd9e549https://github.com/Gecode/gecode/commit/bd9e549042dc06583799d3095b51950b1db44108
https://github.com/Gecode/gecode/blob/bd9e549042dc06583799d3095b51950b1db44108/gecode/kernel
https://github.com/Gecode/gecode/tree/bd9e549042dc06583799d3095b51950b1db44108
Use locks to guard exceptionshttps://github.com/Gecode/gecode/commit/fdfd387eeeed8c96797316668ddd859070b49bad
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
fdfd387https://github.com/Gecode/gecode/commit/fdfd387eeeed8c96797316668ddd859070b49bad
https://github.com/Gecode/gecode/blob/fdfd387eeeed8c96797316668ddd859070b49bad/gecode/kernel
https://github.com/Gecode/gecode/tree/fdfd387eeeed8c96797316668ddd859070b49bad
Make Boolean test for shared handles explicithttps://github.com/Gecode/gecode/commit/e74f89cf43d2dc7895a585b5acbff0c904f97556
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
e74f89chttps://github.com/Gecode/gecode/commit/e74f89cf43d2dc7895a585b5acbff0c904f97556
https://github.com/Gecode/gecode/blob/e74f89cf43d2dc7895a585b5acbff0c904f97556/gecode/kernel
https://github.com/Gecode/gecode/tree/e74f89cf43d2dc7895a585b5acbff0c904f97556
Warning removedhttps://github.com/Gecode/gecode/commit/f51bcedf1dfe347367cdeb162a0f6611b397a29c
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
f51bcedhttps://github.com/Gecode/gecode/commit/f51bcedf1dfe347367cdeb162a0f6611b397a29c
https://github.com/Gecode/gecode/blob/f51bcedf1dfe347367cdeb162a0f6611b397a29c/gecode/kernel
https://github.com/Gecode/gecode/tree/f51bcedf1dfe347367cdeb162a0f6611b397a29c
Compile with -permissive- on MSVC (issue #10)https://github.com/Gecode/gecode/commit/843667a6b83c92c7b1ef3e44ac28328d0ca05a6b
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
843667ahttps://github.com/Gecode/gecode/commit/843667a6b83c92c7b1ef3e44ac28328d0ca05a6b
https://github.com/Gecode/gecode/blob/843667a6b83c92c7b1ef3e44ac28328d0ca05a6b/gecode/kernel
https://github.com/Gecode/gecode/tree/843667a6b83c92c7b1ef3e44ac28328d0ca05a6b
Removed too agressive assertionhttps://github.com/Gecode/gecode/commit/2b6ca1c26b54180141e2bb5deecbecf81a0a9483
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
2b6ca1chttps://github.com/Gecode/gecode/commit/2b6ca1c26b54180141e2bb5deecbecf81a0a9483
https://github.com/Gecode/gecode/blob/2b6ca1c26b54180141e2bb5deecbecf81a0a9483/gecode/kernel
https://github.com/Gecode/gecode/tree/2b6ca1c26b54180141e2bb5deecbecf81a0a9483
Only report the post-event corresponding to the outermost posthttps://github.com/Gecode/gecode/commit/d86a8f0aeae17eabb0151be3a7393d6df18b2c8d
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
d86a8f0https://github.com/Gecode/gecode/commit/d86a8f0aeae17eabb0151be3a7393d6df18b2c8d
https://github.com/Gecode/gecode/blob/d86a8f0aeae17eabb0151be3a7393d6df18b2c8d/gecode/kernel
https://github.com/Gecode/gecode/tree/d86a8f0aeae17eabb0151be3a7393d6df18b2c8d
Added post events for general tracers. (#40)https://github.com/Gecode/gecode/commit/8660eed871b2ee63f0676ff7a55acd1ff5c6a95a
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
8660eedhttps://github.com/Gecode/gecode/commit/8660eed871b2ee63f0676ff7a55acd1ff5c6a95a
https://github.com/Gecode/gecode/blob/8660eed871b2ee63f0676ff7a55acd1ff5c6a95a/gecode/kernel
https://github.com/Gecode/gecode/tree/8660eed871b2ee63f0676ff7a55acd1ff5c6a95a
Use Lock instead of re-throwing exceptionshttps://github.com/Gecode/gecode/commit/8711c9bea915b22532a452b59efd8f8d74bacdbb
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
8711c9bhttps://github.com/Gecode/gecode/commit/8711c9bea915b22532a452b59efd8f8d74bacdbb
https://github.com/Gecode/gecode/blob/8711c9bea915b22532a452b59efd8f8d74bacdbb/gecode/kernel
https://github.com/Gecode/gecode/tree/8711c9bea915b22532a452b59efd8f8d74bacdbb
Fixed deadlock when memory has been exhaustedhttps://github.com/Gecode/gecode/commit/23dcbfd0b2c2b77d42ffa470ef2a61b6acda66d7
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
23dcbfdhttps://github.com/Gecode/gecode/commit/23dcbfd0b2c2b77d42ffa470ef2a61b6acda66d7
https://github.com/Gecode/gecode/blob/23dcbfd0b2c2b77d42ffa470ef2a61b6acda66d7/gecode/kernel
https://github.com/Gecode/gecode/tree/23dcbfd0b2c2b77d42ffa470ef2a61b6acda66d7
Next try to stick to C++-11https://github.com/Gecode/gecode/commit/612e563cbc7b869fd387c63efba7a7790d48544c
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
612e563https://github.com/Gecode/gecode/commit/612e563cbc7b869fd387c63efba7a7790d48544c
https://github.com/Gecode/gecode/blob/612e563cbc7b869fd387c63efba7a7790d48544c/gecode/kernel
https://github.com/Gecode/gecode/tree/612e563cbc7b869fd387c63efba7a7790d48544c
Next try to stick to C++-11https://github.com/Gecode/gecode/commit/69893fee7b037001419102893f2d8e878f180995
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
69893fehttps://github.com/Gecode/gecode/commit/69893fee7b037001419102893f2d8e878f180995
https://github.com/Gecode/gecode/blob/69893fee7b037001419102893f2d8e878f180995/gecode/kernel
https://github.com/Gecode/gecode/tree/69893fee7b037001419102893f2d8e878f180995
Nexthttps://github.com/Gecode/gecode/commits/develop/gecode/kernel?after=fec7e9fd99bca98f146416ba8ea8adc278f5a95a+34
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.