René's URL Explorer Experiment


Title: History for gecode.m4 - Gecode/gecode · GitHub

Open Graph Title: History for gecode.m4 - Gecode/gecode

X Title: History for gecode.m4 - 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:938a6da4-84ab-9330-0e3b-16288fd7e3d1
current-catalog-service-hashf3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-idBC18:2D6B06:F357F1:148B79A:6A4D85A5
html-safe-nonce99ba0ea1a91ccb555402d020d72fcafe629bf76590abb71cb20baddefaa4f832
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJCQzE4OjJENkIwNjpGMzU3RjE6MTQ4Qjc5QTo2QTREODVBNSIsInZpc2l0b3JfaWQiOiIxNDkwODA4NjY3MDk1MTg0NSIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmac8cb124ecc4263cc70dd4bec979e8ef52906e916bf4dda4b47fd5a89ae5754a3e
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.m4
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
Nonec6bf61c909482ec3072ef5d7a5a28f2a9d214788c9a44793eca1960048cb05ae
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
release6702a58b419a792226bd21ef0fb1bcb318bbcaa3
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/Gecode/gecode/commits/develop/gecode.m4#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FGecode%2Fgecode%2Fcommits%2Fdevelop%2Fgecode.m4
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.m4
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.m4
Reloadhttps://github.com/Gecode/gecode/commits/develop/gecode.m4
Reloadhttps://github.com/Gecode/gecode/commits/develop/gecode.m4
Please reload this pagehttps://github.com/Gecode/gecode/commits/develop/gecode.m4
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 7 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
gecode.m4https://github.com/Gecode/gecode/commits/develop/gecode.m4
develophttps://github.com/Gecode/gecode/tree/develop
Avoid unknown pragma warnings for msvchttps://github.com/Gecode/gecode/commit/59ca7353460c79f1b8cd11545df4ab44ece91bfb
https://github.com/zayenz
zayenzhttps://github.com/Gecode/gecode/commits?author=zayenz
59ca735https://github.com/Gecode/gecode/commit/59ca7353460c79f1b8cd11545df4ab44ece91bfb
https://github.com/Gecode/gecode/blob/59ca7353460c79f1b8cd11545df4ab44ece91bfb/gecode.m4
https://github.com/Gecode/gecode/tree/59ca7353460c79f1b8cd11545df4ab44ece91bfb
Avoid unknown pragma warnings for gcc and clang (#87)https://github.com/Gecode/gecode/commit/6963e66adc17c3d5d6c5e9c9d0114f9b4ba6e46c
https://github.com/zayenz
zayenzhttps://github.com/Gecode/gecode/commits?author=zayenz
6963e66https://github.com/Gecode/gecode/commit/6963e66adc17c3d5d6c5e9c9d0114f9b4ba6e46c
https://github.com/Gecode/gecode/blob/6963e66adc17c3d5d6c5e9c9d0114f9b4ba6e46c/gecode.m4
https://github.com/Gecode/gecode/tree/6963e66adc17c3d5d6c5e9c9d0114f9b4ba6e46c
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.m4
https://github.com/Gecode/gecode/tree/7732dcc2ac6a26cedcc66808f4412ad4bc68d7d3
Merge pull request #73 from zayenz/feature/make-check-without-library-load-pathhttps://github.com/Gecode/gecode/commit/60c6a2c66345fc0afc27265070fb396f9f57e40c
https://github.com/guidotack
guidotackhttps://github.com/Gecode/gecode/commits?author=guidotack
60c6a2chttps://github.com/Gecode/gecode/commit/60c6a2c66345fc0afc27265070fb396f9f57e40c
https://github.com/Gecode/gecode/blob/60c6a2c66345fc0afc27265070fb396f9f57e40c/gecode.m4
https://github.com/Gecode/gecode/tree/60c6a2c66345fc0afc27265070fb396f9f57e40c
Minor, autogenerated changes and line endingshttps://github.com/Gecode/gecode/commit/63f065f24f1d674b1246c4beabaf32c0ce7a1c64
https://github.com/zayenz
zayenzhttps://github.com/Gecode/gecode/commits?author=zayenz
63f065fhttps://github.com/Gecode/gecode/commit/63f065f24f1d674b1246c4beabaf32c0ce7a1c64
https://github.com/Gecode/gecode/blob/63f065f24f1d674b1246c4beabaf32c0ce7a1c64/gecode.m4
https://github.com/Gecode/gecode/tree/63f065f24f1d674b1246c4beabaf32c0ce7a1c64
Make make check work when no dynamic load path existshttps://github.com/Gecode/gecode/commit/ef73d6a2fc3ecc8c1a9fd1813324754fcaf9233e
https://github.com/zayenz
zayenzhttps://github.com/Gecode/gecode/commits?author=zayenz
ef73d6ahttps://github.com/Gecode/gecode/commit/ef73d6a2fc3ecc8c1a9fd1813324754fcaf9233e
https://github.com/Gecode/gecode/blob/ef73d6a2fc3ecc8c1a9fd1813324754fcaf9233e/gecode.m4
https://github.com/Gecode/gecode/tree/ef73d6a2fc3ecc8c1a9fd1813324754fcaf9233e
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.m4
https://github.com/Gecode/gecode/tree/3641a30d25858d482638618ffa6eab6650634320
Enable CPProfiler support by defaulthttps://github.com/Gecode/gecode/commit/71ca3fa4f99acc568710f4e09a2a1d391250fae8
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
71ca3fahttps://github.com/Gecode/gecode/commit/71ca3fa4f99acc568710f4e09a2a1d391250fae8
https://github.com/Gecode/gecode/blob/71ca3fa4f99acc568710f4e09a2a1d391250fae8/gecode.m4
https://github.com/Gecode/gecode/tree/71ca3fa4f99acc568710f4e09a2a1d391250fae8
Remove svn-specific last modified infohttps://github.com/Gecode/gecode/commit/8207f7fd298110b7622b920634ec18de88ed6ffe
8207f7fhttps://github.com/Gecode/gecode/commit/8207f7fd298110b7622b920634ec18de88ed6ffe
https://github.com/Gecode/gecode/blob/8207f7fd298110b7622b920634ec18de88ed6ffe/gecode.m4
https://github.com/Gecode/gecode/tree/8207f7fd298110b7622b920634ec18de88ed6ffe
Fixes for patch.https://github.com/Gecode/gecode/commit/806e4c4d74c4e8688b50e129e8132b9b499c5342
SaGagnonhttps://github.com/Gecode/gecode/commits?author=SaGagnon
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
806e4c4https://github.com/Gecode/gecode/commit/806e4c4d74c4e8688b50e129e8132b9b499c5342
https://github.com/Gecode/gecode/blob/806e4c4d74c4e8688b50e129e8132b9b499c5342/gecode.m4
https://github.com/Gecode/gecode/tree/806e4c4d74c4e8688b50e129e8132b9b499c5342
New configuration option --enable-cbs.https://github.com/Gecode/gecode/commit/0cff035df5ba039871ed7013de5d09b07daa0f7e
SaGagnonhttps://github.com/Gecode/gecode/commits?author=SaGagnon
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
0cff035https://github.com/Gecode/gecode/commit/0cff035df5ba039871ed7013de5d09b07daa0f7e
https://github.com/Gecode/gecode/blob/0cff035df5ba039871ed7013de5d09b07daa0f7e/gecode.m4
https://github.com/Gecode/gecode/tree/0cff035df5ba039871ed7013de5d09b07daa0f7e
Use os_unfair_lock instead of (deprecated) OSSpinLock on mac oshttps://github.com/Gecode/gecode/commit/4e99334c7ea0c88c481909e5bca778ce2163295e
https://github.com/guidotack
guidotackhttps://github.com/Gecode/gecode/commits?author=guidotack
4e99334https://github.com/Gecode/gecode/commit/4e99334c7ea0c88c481909e5bca778ce2163295e
https://github.com/Gecode/gecode/blob/4e99334c7ea0c88c481909e5bca778ce2163295e/gecode.m4
https://github.com/Gecode/gecode/tree/4e99334c7ea0c88c481909e5bca778ce2163295e
Use 64 bit ints for bitsetshttps://github.com/Gecode/gecode/commit/f33bfa4ceabf463f8c8894f9f0b484fcb223c1ad
f33bfa4https://github.com/Gecode/gecode/commit/f33bfa4ceabf463f8c8894f9f0b484fcb223c1ad
https://github.com/Gecode/gecode/blob/f33bfa4ceabf463f8c8894f9f0b484fcb223c1ad/gecode.m4
https://github.com/Gecode/gecode/tree/f33bfa4ceabf463f8c8894f9f0b484fcb223c1ad
Added support for CPProfilerhttps://github.com/Gecode/gecode/commit/6456550c852109c81284391b9f9c4a8200c234c4
6456550https://github.com/Gecode/gecode/commit/6456550c852109c81284391b9f9c4a8200c234c4
https://github.com/Gecode/gecode/blob/6456550c852109c81284391b9f9c4a8200c234c4/gecode.m4
https://github.com/Gecode/gecode/tree/6456550c852109c81284391b9f9c4a8200c234c4
Add configure switch --enable-cpp11 (default yes) for compilers that need an explicit std argument.https://github.com/Gecode/gecode/commit/094f452ea3e5451adfd98453a3b77b6fc473d002
https://github.com/guidotack
guidotackhttps://github.com/Gecode/gecode/commits?author=guidotack
094f452https://github.com/Gecode/gecode/commit/094f452ea3e5451adfd98453a3b77b6fc473d002
https://github.com/Gecode/gecode/blob/094f452ea3e5451adfd98453a3b77b6fc473d002/gecode.m4
https://github.com/Gecode/gecode/tree/094f452ea3e5451adfd98453a3b77b6fc473d002
Support for using a non-default allocatorhttps://github.com/Gecode/gecode/commit/0a7b501e8b99f6ce632a2e9e33202a71854bb0b8
0a7b501https://github.com/Gecode/gecode/commit/0a7b501e8b99f6ce632a2e9e33202a71854bb0b8
https://github.com/Gecode/gecode/blob/0a7b501e8b99f6ce632a2e9e33202a71854bb0b8/gecode.m4
https://github.com/Gecode/gecode/tree/0a7b501e8b99f6ce632a2e9e33202a71854bb0b8
Support for bison 3https://github.com/Gecode/gecode/commit/c4b3486c3a854a79f3bb95093c1eae4b9aa92afc
https://github.com/guidotack
guidotackhttps://github.com/Gecode/gecode/commits?author=guidotack
c4b3486https://github.com/Gecode/gecode/commit/c4b3486c3a854a79f3bb95093c1eae4b9aa92afc
https://github.com/Gecode/gecode/blob/c4b3486c3a854a79f3bb95093c1eae4b9aa92afc/gecode.m4
https://github.com/Gecode/gecode/tree/c4b3486c3a854a79f3bb95093c1eae4b9aa92afc
Detect Apple versions of flex/bisonhttps://github.com/Gecode/gecode/commit/3fc7f2a912f9e374ad3db92fa4643d27971329a7
https://github.com/guidotack
guidotackhttps://github.com/Gecode/gecode/commits?author=guidotack
3fc7f2ahttps://github.com/Gecode/gecode/commit/3fc7f2a912f9e374ad3db92fa4643d27971329a7
https://github.com/Gecode/gecode/blob/3fc7f2a912f9e374ad3db92fa4643d27971329a7/gecode.m4
https://github.com/Gecode/gecode/tree/3fc7f2a912f9e374ad3db92fa4643d27971329a7
Configurable thread support (switch threads off on systems with incompatible version of pthread)https://github.com/Gecode/gecode/commit/8905e3a07ef87bf6047d468364d5927eed746749
https://github.com/guidotack
guidotackhttps://github.com/Gecode/gecode/commits?author=guidotack
8905e3ahttps://github.com/Gecode/gecode/commit/8905e3a07ef87bf6047d468364d5927eed746749
https://github.com/Gecode/gecode/blob/8905e3a07ef87bf6047d468364d5927eed746749/gecode.m4
https://github.com/Gecode/gecode/tree/8905e3a07ef87bf6047d468364d5927eed746749
Added configure switch --enable-peakheap to track heap usage.https://github.com/Gecode/gecode/commit/4b9d257b5c15ecbfe01bec793f14e0c3d4fb3794
https://github.com/guidotack
guidotackhttps://github.com/Gecode/gecode/commits?author=guidotack
4b9d257https://github.com/Gecode/gecode/commit/4b9d257b5c15ecbfe01bec793f14e0c3d4fb3794
https://github.com/Gecode/gecode/blob/4b9d257b5c15ecbfe01bec793f14e0c3d4fb3794/gecode.m4
https://github.com/Gecode/gecode/tree/4b9d257b5c15ecbfe01bec793f14e0c3d4fb3794
Added FastMutex class, based on spin locks. Helps with performance problems of parallel search on Mac OS when using AFC.https://github.com/Gecode/gecode/commit/222170cc42e2053da4ee887dbf41660b3da908ed
https://github.com/guidotack
guidotackhttps://github.com/Gecode/gecode/commits?author=guidotack
222170chttps://github.com/Gecode/gecode/commit/222170cc42e2053da4ee887dbf41660b3da908ed
https://github.com/Gecode/gecode/blob/222170cc42e2053da4ee887dbf41660b3da908ed/gecode.m4
https://github.com/Gecode/gecode/tree/222170cc42e2053da4ee887dbf41660b3da908ed
Remove fast floating point flag for MSVChttps://github.com/Gecode/gecode/commit/e15b9529a4da99682b395a4e4e16cd975c5730e3
e15b952https://github.com/Gecode/gecode/commit/e15b9529a4da99682b395a4e4e16cd975c5730e3
https://github.com/Gecode/gecode/blob/e15b9529a4da99682b395a4e4e16cd975c5730e3/gecode.m4
https://github.com/Gecode/gecode/tree/e15b9529a4da99682b395a4e4e16cd975c5730e3
Reorder link flags for Qt on Windowshttps://github.com/Gecode/gecode/commit/6b92558ab79d2b628369991a385f6bec964f4394
6b92558https://github.com/Gecode/gecode/commit/6b92558ab79d2b628369991a385f6bec964f4394
https://github.com/Gecode/gecode/blob/6b92558ab79d2b628369991a385f6bec964f4394/gecode.m4
https://github.com/Gecode/gecode/tree/6b92558ab79d2b628369991a385f6bec964f4394
Updated to compile with Qt version 5.0 (still works with Qt >= 4.3 as well).https://github.com/Gecode/gecode/commit/614cb920913301a2432bcaf3db44445dffd7fcfc
https://github.com/guidotack
guidotackhttps://github.com/Gecode/gecode/commits?author=guidotack
614cb92https://github.com/Gecode/gecode/commit/614cb920913301a2432bcaf3db44445dffd7fcfc
https://github.com/Gecode/gecode/blob/614cb920913301a2432bcaf3db44445dffd7fcfc/gecode.m4
https://github.com/Gecode/gecode/tree/614cb920913301a2432bcaf3db44445dffd7fcfc
Check for gmp and mpir during configurehttps://github.com/Gecode/gecode/commit/2836c21df98cd686c24d01bfc961e2699113b9fc
https://github.com/guidotack
guidotackhttps://github.com/Gecode/gecode/commits?author=guidotack
2836c21https://github.com/Gecode/gecode/commit/2836c21df98cd686c24d01bfc961e2699113b9fc
https://github.com/Gecode/gecode/blob/2836c21df98cd686c24d01bfc961e2699113b9fc/gecode.m4
https://github.com/Gecode/gecode/tree/2836c21df98cd686c24d01bfc961e2699113b9fc
New branch interface (changelog comes later)https://github.com/Gecode/gecode/commit/7e3aa17097701e7e9ecb758cb31402a7570d838d
7e3aa17https://github.com/Gecode/gecode/commit/7e3aa17097701e7e9ecb758cb31402a7570d838d
https://github.com/Gecode/gecode/blob/7e3aa17097701e7e9ecb758cb31402a7570d838d/gecode.m4
https://github.com/Gecode/gecode/tree/7e3aa17097701e7e9ecb758cb31402a7570d838d
Do not use __attribute_always_inline__ with clang, makes some tests fail (probably a bug in clang)https://github.com/Gecode/gecode/commit/dfea857b7389b18f1e957f233ca43fee8d2d60c7
https://github.com/guidotack
guidotackhttps://github.com/Gecode/gecode/commits?author=guidotack
dfea857https://github.com/Gecode/gecode/commit/dfea857b7389b18f1e957f233ca43fee8d2d60c7
https://github.com/Gecode/gecode/blob/dfea857b7389b18f1e957f233ca43fee8d2d60c7/gecode.m4
https://github.com/Gecode/gecode/tree/dfea857b7389b18f1e957f233ca43fee8d2d60c7
Fix mpfr detectionhttps://github.com/Gecode/gecode/commit/176a3598271d3aa85a5ca64887e4bfd01bc56d99
https://github.com/guidotack
guidotackhttps://github.com/Gecode/gecode/commits?author=guidotack
176a359https://github.com/Gecode/gecode/commit/176a3598271d3aa85a5ca64887e4bfd01bc56d99
https://github.com/Gecode/gecode/blob/176a3598271d3aa85a5ca64887e4bfd01bc56d99/gecode.m4
https://github.com/Gecode/gecode/tree/176a3598271d3aa85a5ca64887e4bfd01bc56d99
Always take local boost stuffhttps://github.com/Gecode/gecode/commit/c71469e4ab38222b6128b01c19e316fc0db7ea89
c71469ehttps://github.com/Gecode/gecode/commit/c71469e4ab38222b6128b01c19e316fc0db7ea89
https://github.com/Gecode/gecode/blob/c71469e4ab38222b6128b01c19e316fc0db7ea89/gecode.m4
https://github.com/Gecode/gecode/tree/c71469e4ab38222b6128b01c19e316fc0db7ea89
Pick up default boost, headers fixedhttps://github.com/Gecode/gecode/commit/0803d64d4ba44009c20a4f320c80056de62e7227
0803d64https://github.com/Gecode/gecode/commit/0803d64d4ba44009c20a4f320c80056de62e7227
https://github.com/Gecode/gecode/blob/0803d64d4ba44009c20a4f320c80056de62e7227/gecode.m4
https://github.com/Gecode/gecode/tree/0803d64d4ba44009c20a4f320c80056de62e7227
Morehttps://github.com/Gecode/gecode/commit/9e5f3ab11a48767f9f96f6df673ec94749f1b107
9e5f3abhttps://github.com/Gecode/gecode/commit/9e5f3ab11a48767f9f96f6df673ec94749f1b107
https://github.com/Gecode/gecode/blob/9e5f3ab11a48767f9f96f6df673ec94749f1b107/gecode.m4
https://github.com/Gecode/gecode/tree/9e5f3ab11a48767f9f96f6df673ec94749f1b107
Install mzn-gecode.bat on Windowshttps://github.com/Gecode/gecode/commit/124815909f3f23998f45d56e2c911078bf6a0b23
https://github.com/guidotack
guidotackhttps://github.com/Gecode/gecode/commits?author=guidotack
1248159https://github.com/Gecode/gecode/commit/124815909f3f23998f45d56e2c911078bf6a0b23
https://github.com/Gecode/gecode/blob/124815909f3f23998f45d56e2c911078bf6a0b23/gecode.m4
https://github.com/Gecode/gecode/tree/124815909f3f23998f45d56e2c911078bf6a0b23
Wrapper scripts for running minizinchttps://github.com/Gecode/gecode/commit/31899efb53c84129a081eb2ba4cd08c7c33ce2c9
https://github.com/guidotack
guidotackhttps://github.com/Gecode/gecode/commits?author=guidotack
31899efhttps://github.com/Gecode/gecode/commit/31899efb53c84129a081eb2ba4cd08c7c33ce2c9
https://github.com/Gecode/gecode/blob/31899efb53c84129a081eb2ba4cd08c7c33ce2c9/gecode.m4
https://github.com/Gecode/gecode/tree/31899efb53c84129a081eb2ba4cd08c7c33ce2c9
Compiles on NetBSDhttps://github.com/Gecode/gecode/commit/2a2fd9d0a652890e6f342d339297016e590a8921
2a2fd9dhttps://github.com/Gecode/gecode/commit/2a2fd9d0a652890e6f342d339297016e590a8921
https://github.com/Gecode/gecode/blob/2a2fd9d0a652890e6f342d339297016e590a8921/gecode.m4
https://github.com/Gecode/gecode/tree/2a2fd9d0a652890e6f342d339297016e590a8921
Avoid autoconf warningshttps://github.com/Gecode/gecode/commit/1511b52b4b00c7cee40aec65b995835d682e9d85
https://github.com/guidotack
guidotackhttps://github.com/Gecode/gecode/commits?author=guidotack
1511b52https://github.com/Gecode/gecode/commit/1511b52b4b00c7cee40aec65b995835d682e9d85
https://github.com/Gecode/gecode/blob/1511b52b4b00c7cee40aec65b995835d682e9d85/gecode.m4
https://github.com/Gecode/gecode/tree/1511b52b4b00c7cee40aec65b995835d682e9d85
Nexthttps://github.com/Gecode/gecode/commits/develop/gecode.m4?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.