 Nils Adermann
|
76d3950992
Document the RuleWatchGraph
|
13 年 前 |
 Martin Shwalbe
|
9d80a4e220
Wrong variable used for foreach. Fixes issue 674.
|
13 年 前 |
 Jordi Boggiano
|
5c0c101327
Wrap token_get_all for better debuggability
|
13 年 前 |
|
Nils Adermann
|
265533d390
Rename watches array to watchChains to make clearer what they are
|
13 年 前 |
|
Jordi Boggiano
|
794b51fcdd
Merge remote-tracking branch 'naderman/remove-outdated-alias-code'
|
13 年 前 |
|
Nils Adermann
|
81de780533
Merge pull request #702 from Seldaek/specify-refs
|
13 年 前 |
|
Nils Adermann
|
e817a2e2d7
Move public members above protected members in rule watch node
|
13 年 前 |
|
Nils Adermann
|
c869566868
Make ruleHash a protected member of rules
|
13 年 前 |
|
Nils Adermann
|
fa7bd35413
Make debug solver methods protected
|
13 年 前 |
|
Nils Adermann
|
2dfea8a5e0
Only consider undecided literals for selectAndInstall
|
13 年 前 |
|
Nils Adermann
|
dd527a4049
Remove weak rules
|
13 年 前 |
|
Nils Adermann
|
025581b365
Rename walkLiteral method to more explicitly say what it does
|
13 年 前 |
|
Nils Adermann
|
a395bc04d7
Get rid of continue 2; and use array_filter instead of manual looping
|
13 年 前 |
|
Nils Adermann
|
451bab1c2c
Get rid of Literal object / literal id mix, use literals only to save memory
|
13 年 前 |
|
Nils Adermann
|
59cc5a54de
Merge pull request #716 from stof/update_lock
|
13 年 前 |
 Christophe Coevoet
|
e124d3ea81
Updated the lock file
|
13 年 前 |
|
Nils Adermann
|
9ffe0d13f5
Remove useless if
|
13 年 前 |
|
Nils Adermann
|
cdf3b4e012
Use SplDoublyLinkedList instead of custom linked list
|
13 年 前 |
|
Nils Adermann
|
731a451dfe
Move handling of watch graph to separate classes
|
13 年 前 |
|
Jordi Boggiano
|
71cecd8e93
Fix CS
|
13 年 前 |
|
Jordi Boggiano
|
edba29be45
Merge remote-tracking branch 'till/download-fun'
|
13 年 前 |
|
Jordi Boggiano
|
aaf65eb0c4
Update lock file
|
13 年 前 |
|
Jordi Boggiano
|
3ff4026a30
Merge pull request #712 from hason/githuberror
|
13 年 前 |
 Martin Hasoň
|
c8d110aa72
Imporoved exception message for GitDownloader (various protocols for github)
|
13 年 前 |
 till
|
a8121bc0a6
* fluent interface for set methods
|
13 年 前 |
|
Jordi Boggiano
|
25a61cd763
Merge pull request #706 from gergoerdosi/master
|
13 年 前 |
 Gergo Erdosi
|
b6cd2f6e08
Update Homebrew installation instructions.
|
13 年 前 |
|
Nils Adermann
|
bac9d6d2e7
Merge pull request #705 from stof/support_local_repo
|
13 年 前 |
|
Christophe Coevoet
|
c2d3c0509c
Fixed the check for local git repositories
|
13 年 前 |
|
Christophe Coevoet
|
4404c5f287
Revert "Merge remote-tracking branch 'github-ercanozkaya/master'"
|
13 年 前 |
