Login
Help/Guide
About Trac
Preferences
Timeline
Browse Source
View Tickets
New Ticket
Wiki
Context Navigation
View Latest Revision
source:
git
/
dyn_modules
/
syzextra
/
syzextra.cc
Revision Log Mode:
Stop on copy
Follow copies
Show only adds and deletes
View log starting at
and back to
Show at most
revisions per page.
Show full log messages
Legend:
Added
Modified
Copied or renamed
Diff
Rev
Age
Author
Log Message
(edit)
@4ca3e3
11 years
Oleksandr
Compiler warnings elimination + cosmetics
spielwiese
(edit)
@da9d52
11 years
Oleksandr
Cleanup time-stamping and debug output from Release build add: save ...
spielwiese
(edit)
@daa4e5
11 years
Oleksandr
Using s/k-buckets in TraverseTail and SchreyerSyzygyNF TODO: refine!
spielwiese
(edit)
@68fedf
11 years
Oleksandr
Mixed hybrid/traverse syzygy computation mathod (2) add: attribute ...
spielwiese
(edit)
@31a08c2
12 years
Oleksandr
Adaptation/update due to renaming of options(test&verbose) by Hans
spielwiese
(edit)
@9936d6
11 years
Oleksandr
Syzygy preprocessing + more testing/benchmarking TODO: remote ...
spielwiese
(edit)
@13a431
12 years
Oleksandr
Turn off unwanted debug output (by default!)
spielwiese
(edit)
@6bfd78
11 years
Oleksandr
Added CDivisorEnumerator(2) - to be used by CReducerFinder add: ...
spielwiese
(edit)
@1a4c343
12 years
Oleksandr
Starting tail terms preprocessing: TODO: need a vector of "term + ...
spielwiese
(edit)
@1cf13b
10 years
Oleksandr
Traverse API redesign + avoid multiplication as far as possible ...
spielwiese
(edit)
@c81423
12 years
Oleksandr
better condition for running "m_checker.Initialize(m_syzLeads);" in ...
spielwiese
(edit)
@e98c64
12 years
Oleksandr
adding IGNORETAILS option for computing pure Schreyer Frames (test ...
spielwiese
(edit)
@5cecde
12 years
Oleksandr
Totally bitmasked: CReducerFinder: FindReducer uses ...
spielwiese
(edit)
@495328
12 years
Oleksandr
made all classes inherit from SchreyerSyzygyComputationFlags chg: ...
spielwiese
(edit)
@dd24e5
12 years
Oleksandr
separated FindReducer into a separate class CReducerFinder (m_div) ...
spielwiese
(edit)
@026171
12 years
Oleksandr
introduced a bitmask of `leading` variables NOTE: this is the 2nd ...
spielwiese
(edit)
@c7d29b
12 years
Oleksandr
final removal of old _INTERNAL_ functions and corresp. wrappers ...
spielwiese
(edit)
@4eba3ad
10 years
Oleksandr
introduced SchreyerSyzygyComputationFlags for storing and passing ring ...
spielwiese
(edit)
@7088f18
12 years
Oleksandr
Old Schreyer Syzygy functions went to a namespace accesed via a class ...
spielwiese
(edit)
@204092
12 years
Oleksandr
moved/separated new functions related to Schreyer Syzygy computation ...
spielwiese
(edit)
@cd5fefc
12 years
Oleksandr
new p_Tail and id_Tail (separated from a wrapper)
spielwiese
(add)
@ff7993
12 years
Oleksandr
introduced syzextra.{h,cc} files for cleaner separation of algorithms ...
spielwiese
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog