Commit message (Expand) | Author | Age | |
---|---|---|---|
* | -new topo format | Christian Grothoff | 2012-12-17 |
* | -fix option name | Christian Grothoff | 2012-12-17 |
* | -generate nicer error message | Christian Grothoff | 2012-12-17 |
* | -respect vfork semantics | Christian Grothoff | 2012-12-17 |
* | -add newline | Christian Grothoff | 2012-12-17 |
* | -do not print warning if file does not exist yet | Christian Grothoff | 2012-12-17 |
* | -do not use consensus | Christian Grothoff | 2012-12-17 |
* | -eliminate consensus warnings | Christian Grothoff | 2012-12-17 |
* | -vfork is back | Christian Grothoff | 2012-12-17 |
* | -fixing heap walker | Christian Grothoff | 2012-12-16 |
* | LRN: fixing #2701 | Christian Grothoff | 2012-12-15 |
* | -bugfixes | Christian Grothoff | 2012-12-15 |
* | -fixing some leaks | Christian Grothoff | 2012-12-15 |
* | -going crazy on optimizing regex, fixing misc minor bugs | Christian Grothoff | 2012-12-14 |
* | -minor fixes | Christian Grothoff | 2012-12-14 |
* | -allow NULL if n=0 | Christian Grothoff | 2012-12-14 |
* | -improve swapping behavior | Christian Grothoff | 2012-12-14 |
* | - fix compile issue | Sree Harsha Totakura | 2012-12-14 |
* | - log pipe name while receiving signal | Sree Harsha Totakura | 2012-12-14 |
* | - missing header | Bart Polot | 2012-12-14 |
* | - typo | Bart Polot | 2012-12-14 |
* | -fix compile issue | Christian Grothoff | 2012-12-14 |
* | - use pipe control only on WINDOWS | Sree Harsha Totakura | 2012-12-14 |
* | doxygen | Matthias Wachs | 2012-12-14 |
* | doxyen | Matthias Wachs | 2012-12-14 |
* | doxygen | Matthias Wachs | 2012-12-14 |
* | fixes for make dist | Matthias Wachs | 2012-12-14 |
* | docu | Matthias Wachs | 2012-12-14 |
* | improved quota loading | Matthias Wachs | 2012-12-14 |
* | new switch -q to print configured quotas | Matthias Wachs | 2012-12-14 |
* | - new perf | Bart Polot | 2012-12-13 |
* | - use new format for perf | Bart Polot | 2012-12-13 |
* | -nodebug | Christian Grothoff | 2012-12-13 |
* | -fixfix | Christian Grothoff | 2012-12-13 |
* | -fix | Christian Grothoff | 2012-12-13 |
* | -reducing CPU usage from nfa_closure_set_create by avoiding double-sorting an... | Christian Grothoff | 2012-12-13 |
* | -reducing CPU usage from nfa_closure_set_create by avoiding double-sorting an... | Christian Grothoff | 2012-12-13 |
* | reduce reallocing to improve performance | Christian Grothoff | 2012-12-13 |
* | -eliminating mallocing of state sets | Christian Grothoff | 2012-12-13 |
* | -reduxing regex dfa_merge_nondistinguishable_states memory consumption by 32x | Christian Grothoff | 2012-12-13 |
* | -reduxing regex dfa_merge_nondistinguishable_states memory consumption by 32x | Christian Grothoff | 2012-12-13 |
* | -reduxing regex dfa_merge_nondistinguishable_states memory consumption by 32x | Christian Grothoff | 2012-12-13 |
* | - fix | Sree Harsha Totakura | 2012-12-13 |
* | statistics for solver | Matthias Wachs | 2012-12-13 |
* | - logging | Sree Harsha Totakura | 2012-12-13 |
* | - logging | Sree Harsha Totakura | 2012-12-13 |
* | - logging | Sree Harsha Totakura | 2012-12-13 |
* | -stuff | Christian Grothoff | 2012-12-13 |
* | - centralized inc/dec | Matthias Wachs | 2012-12-13 |
* | - assert hard | Sree Harsha Totakura | 2012-12-13 |