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