source: git/Singular/dyn_modules/syzextra

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @5c0f71   9 years Oleksandr Minor changes to syzextra chg: output details about the terms skipped ... spielwiese
(edit) @75f460   9 years hannes format spielwiese
(edit) @db5a01   9 years Oleksandr Fix schreyer.lib: documentation & exports & cleanup & testing spielwiese
(edit) @a7575a1   9 years Oleksandr Revert "avoid empty procedures - keep Top-namespace clean (a start)" ... spielwiese
(edit) @73ba50   9 years Oleksandr Renamed some memebers __*__ -> OPT__\1 spielwiese
(edit) @55e6b0   9 years Oleksandr Improved Cache Keys - no need for numbers in some cases spielwiese
(edit) @f9b112   9 years Oleksandr Fix: seg. fault over Q in J7 due to deleted number add: more ... spielwiese
(edit) @ba19a8   9 years hannes avoid empty procedures - keep Top-namespace clean (a start) spielwiese
(edit) @572103   9 years Oleksandr New NumberStatsInit and NumberStatsPrint are available in syzextra ... spielwiese
(edit) @13298a   9 years Oleksandr Added STATISTIC() macro for counting operations with numbers add: ... spielwiese
(edit) @839826   9 years Oleksandr Added UNLIKELY/LIKELY accoring to the relase & best performance use cases spielwiese
(edit) @8a5af4   9 years Oleksandr Added NOCACHING/NODIVISIONS switches to syzextra NOTE: NODIVISION=1 ... spielwiese
(edit) @17c644   9 years Oleksandr Better TREEOUTPUT + minors spielwiese
(edit) @6b8853a   9 years Oleksandr We will try to avoid computing products by setting NOPRODUCT to 1 spielwiese
(edit) @662075a   9 years Oleksandr Added lots of leadData checking spielwiese
(edit) @85bd2a   9 years Oleksandr Added BucketFactory for sBucket's (based on a default stack container: ... spielwiese
(edit) @2ded87   9 years Oleksandr Added statistic counting to Syzygy computation inside syzextra added: ... spielwiese
(edit) @2b8b77   9 years Oleksandr Syzextra: fixed / updated option(prot) output spielwiese
(edit) @fd15b7b   9 years Oleksandr Added python2 script for translating the treeoutput for resolution ... spielwiese
(edit) @ed3876   9 years Oleksandr syzextra: Better tree output & prot spielwiese
(edit) @90fa9d   10 years Oleksandr Fix bucket reusage + cleanup in debug output spielwiese
(edit) @5bcb3f   10 years Oleksandr Syzextra: minor changes / treeoutput spielwiese
(edit) @542685e   10 years Oleksandr Updating + Fixing spielwiese
(edit) @196580   10 years Oleksandr Added SYZCHECK to syzextra + some more minor additions spielwiese
(edit) @bb2fb6   10 years Oleksandr Minor fixes spielwiese
(edit) @2e4396   10 years Oleksandr Fixing NDEBUG -> SING_NDEBUG spielwiese
(edit) @fea494   10 years hannes format spielwiese
(edit) @eb55f8a   10 years Oleksandr There should be no *Test in assume call (and no assume in *Test definition) spielwiese
(edit) @750a0e   10 years hannes porting: FreeBSD defines __FreeBSD__ spielwiese
(edit) @88cceb   10 years hannes fix: n_Lcm is not n_NormalizeHelper spielwiese
(edit) @cbdc7a4   10 years hannes changed return value of mod_init from "grammar"-version to "all ... spielwiese
(edit) @5e3968   10 years hannes check version of grammar tokens for dynamic modules spielwiese
(edit) @39bc9cb   10 years Oleksandr Added more tests for qsort_r spielwiese
(edit) @21bfde   10 years Oleksandr Revert "Simplified syzextra testing" This reverts commit ... spielwiese
(edit) @da86b61   10 years Oleksandr Revert "fix: qsort_r" This reverts commit ... spielwiese
(edit) @ab5251d   10 years Oleksandr Simplified syzextra testing spielwiese
(edit) @1a06f8   10 years hannes fix: debug version must have no output if everything is okay! spielwiese
(edit) @50a6c5   10 years hannes fix: qsort_r qsort_r is non-standard, esp. BSD and (newer) LINUX ... spielwiese
(edit) @7e66d9   10 years Oleksandr Motsak <http://goo.gl/mcpzY> Updateed doxygen settings and .gitignore spielwiese
(edit) @854710   10 years Oleksandr Changed the default setting for builtin modules: syzextra if empty! spielwiese
(edit) @8025d4   10 years Oleksandr Builtins should be "modules" in order to avoid "lib-" prefix spielwiese
(edit) @a3aecc   10 years Oleksandr Modules should define SI_MOD_INIT(name) as extern "C" + update/cleanup ... spielwiese
(edit) @3b81cff   10 years Oleksandr Fix the usage of qsort_r under Mac OS X spielwiese
(edit) @ec89bb4   10 years hannes chg: nNeg -> nInpNeg, also n_InpNeg, cfInpNeg spielwiese
(edit) @ac00e2f   10 years hannes removed currQuotient spielwiese
(add) @db3070   10 years Oleksandr Moved dynamic modules into /Singular/ spielwiese
Note: See TracRevisionLog for help on using the revision log.