 Nils Adermann
|
fa7bd35413
Make debug solver methods protected
|
13 years ago |
|
Nils Adermann
|
2dfea8a5e0
Only consider undecided literals for selectAndInstall
|
13 years ago |
|
Nils Adermann
|
dd527a4049
Remove weak rules
|
13 years ago |
|
Nils Adermann
|
025581b365
Rename walkLiteral method to more explicitly say what it does
|
13 years ago |
|
Nils Adermann
|
a395bc04d7
Get rid of continue 2; and use array_filter instead of manual looping
|
13 years ago |
|
Nils Adermann
|
451bab1c2c
Get rid of Literal object / literal id mix, use literals only to save memory
|
13 years ago |
|
Nils Adermann
|
59cc5a54de
Merge pull request #716 from stof/update_lock
|
13 years ago |
 Christophe Coevoet
|
e124d3ea81
Updated the lock file
|
13 years ago |
|
Nils Adermann
|
9ffe0d13f5
Remove useless if
|
13 years ago |
|
Nils Adermann
|
cdf3b4e012
Use SplDoublyLinkedList instead of custom linked list
|
13 years ago |
|
Nils Adermann
|
731a451dfe
Move handling of watch graph to separate classes
|
13 years ago |
 Jordi Boggiano
|
71cecd8e93
Fix CS
|
13 years ago |
|
Jordi Boggiano
|
edba29be45
Merge remote-tracking branch 'till/download-fun'
|
13 years ago |
|
Jordi Boggiano
|
aaf65eb0c4
Update lock file
|
13 years ago |
|
Jordi Boggiano
|
3ff4026a30
Merge pull request #712 from hason/githuberror
|
13 years ago |
 Martin Hasoň
|
c8d110aa72
Imporoved exception message for GitDownloader (various protocols for github)
|
13 years ago |
 till
|
a8121bc0a6
* fluent interface for set methods
|
13 years ago |
|
Jordi Boggiano
|
25a61cd763
Merge pull request #706 from gergoerdosi/master
|
13 years ago |
 Gergo Erdosi
|
b6cd2f6e08
Update Homebrew installation instructions.
|
13 years ago |
|
Nils Adermann
|
bac9d6d2e7
Merge pull request #705 from stof/support_local_repo
|
13 years ago |
|
Christophe Coevoet
|
c2d3c0509c
Fixed the check for local git repositories
|
13 years ago |
|
Christophe Coevoet
|
4404c5f287
Revert "Merge remote-tracking branch 'github-ercanozkaya/master'"
|
13 years ago |
|
Nils Adermann
|
b5eededbe9
Merge remote-tracking branch 'github-ercanozkaya/master'
|
13 years ago |
 Ercan Özkaya
|
ca217bd48f
Add support for file:// URIs to GitDriver
|
13 years ago |
|
Jordi Boggiano
|
d7608bcddd
Added docs for new reference feature
|
13 years ago |
|
Jordi Boggiano
|
c10eb66ac4
Ignore references when parsing dev versions
|
13 years ago |
|
Jordi Boggiano
|
ba29b4bf94
Added references for dev versions, fixes #599
|
13 years ago |
 Andrea Turso
|
3a31b59473
Minor changes to the EventDispatcherTest
|
13 years ago |
|
Nils Adermann
|
799a478f2a
GitHub rather than github in changelog
|
13 years ago |
|
Nils Adermann
|
90e52a0828
Merge remote-tracking branch 'github-seldaek/gh-cache'
|
13 years ago |
