Commit message (Expand) | Author | Age | |
---|---|---|---|
* | move to config instead of hard-coding for testing | Christian Grothoff | 2011-07-24 |
* | fix | Christian Grothoff | 2011-07-24 |
* | success | Christian Grothoff | 2011-07-23 |
* | fixes | Christian Grothoff | 2011-07-23 |
* | incremental proof calcluation, store on disk | Christian Grothoff | 2011-07-23 |
* | use messages with moderately futuristic timestamps | Christian Grothoff | 2011-07-23 |
* | fix starting stddevs/avgs | Christian Grothoff | 2011-07-23 |
* | fixes | Christian Grothoff | 2011-07-23 |
* | fix shutdown | Christian Grothoff | 2011-07-23 |
* | fixes | Christian Grothoff | 2011-07-23 |
* | nse hacking | Christian Grothoff | 2011-07-23 |
* | just indentation / formatting | Christian Grothoff | 2011-07-22 |
* | connection limits | Nathan S. Evans | 2011-07-22 |
* | larger history, connect limit | Nathan S. Evans | 2011-07-22 |
* | ten minute timeout | Nathan S. Evans | 2011-07-21 |
* | nse changes | Nathan S. Evans | 2011-07-21 |
* | fix | Christian Grothoff | 2011-07-19 |
* | cleaning up ARM shutdown | Christian Grothoff | 2011-07-19 |
* | fix | Christian Grothoff | 2011-07-19 |
* | first disconnect from core to handle disconnect events nicely -- likely cause... | Christian Grothoff | 2011-07-19 |
* | simplify | Christian Grothoff | 2011-07-19 |
* | link | Christian Grothoff | 2011-07-19 |
* | usenew | Christian Grothoff | 2011-07-19 |
* | rename | Christian Grothoff | 2011-07-19 |
* | unfinished function | Nathan S. Evans | 2011-07-19 |
* | changes | Nathan S. Evans | 2011-07-19 |
* | new function | Nathan S. Evans | 2011-07-19 |
* | changes | Nathan S. Evans | 2011-07-19 |
* | changes | Nathan S. Evans | 2011-07-19 |
* | free | Christian Grothoff | 2011-07-19 |
* | cleanup | Christian Grothoff | 2011-07-19 |
* | fix | Christian Grothoff | 2011-07-19 |
* | fixing 1732 | Christian Grothoff | 2011-07-19 |
* | fixing 1732: | Christian Grothoff | 2011-07-19 |
* | dce | Christian Grothoff | 2011-07-19 |
* | static | Christian Grothoff | 2011-07-19 |
* | fix | Christian Grothoff | 2011-07-19 |
* | coverity fix | Nathan S. Evans | 2011-07-19 |
* | coverity fix | Nathan S. Evans | 2011-07-19 |
* | run glpk code and tests only if gplk installed, fewer ifdefs | Christian Grothoff | 2011-07-19 |
* | cleaner | Christian Grothoff | 2011-07-19 |
* | cleaner | Christian Grothoff | 2011-07-19 |
* | Fix a heap corruption in envtable creation routine | Christian Grothoff | 2011-07-19 |
* | Include builddir include subdir with -I | Christian Grothoff | 2011-07-19 |
* | dd dependencies to some programs | Christian Grothoff | 2011-07-19 |
* | const | Christian Grothoff | 2011-07-19 |
* | fix shutdown | Christian Grothoff | 2011-07-19 |
* | leak | Christian Grothoff | 2011-07-19 |
* | (no commit message) | Matthias Wachs | 2011-07-19 |
* | tolerate duplicate fragment ids | Christian Grothoff | 2011-07-19 |