source: git/kernel/syz.h

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @6ce030f   11 years Oleksandr removal of the $Id$ svn tag from everywhere NOTE: the git SHA1 may be ... jengelh-datetimespielwiese
(edit) @05f61f   11 years hannes fix: warnings jengelh-datetimespielwiese
(edit) @ae3ad6   11 years Oleksandr move syBetti{1,2} to interpreter CHG: syBetti{1,2} are high level ... jengelh-datetimespielwiese
(edit) @36dd34   12 years Oleksandr FIX: syPrint needs ring name now! jengelh-datetimespielwiese
(edit) @1f637e   12 years Oleksandr FIX: replaced pVariables by currRing->N... ADD: added 'void ... jengelh-datetimespielwiese
(edit) @210e07   12 years Oleksandr ADD: testing headers with "make test.o" FIX: cleaning up headers in ... jengelh-datetimespielwiese
(edit) @750e70   12 years Oleksandr ADD: new option(notSyzMinim) should switch off all resolution ... jengelh-datetimespielwiese
(edit) @1db49f   12 years hannes syzcomp1dpc etc removed git-svn-id: ... jengelh-datetimespielwiese
(edit) @49a766   12 years hannes syIsMinimizedFrom, syDeleteRes removed git-svn-id: ... jengelh-datetimespielwiese
(edit) @599326   13 years krueger Anne, Kai, Frank: - changes to #include "..." statements to allow ... jengelh-datetimespielwiese
(edit) @0a4a704   13 years hannes size(resolution) git-svn-id: ... jengelh-datetimespielwiese
(edit) @b07ba77   13 years hannes clean up structs.h, part ... git-svn-id: ... jengelh-datetimespielwiese
(edit) @835d83   13 years hannes move stuff from structs.h git-svn-id: ... jengelh-datetimespielwiese
(edit) @341696   13 years hannes Adding Id property to all files git-svn-id: ... jengelh-datetimespielwiese
(edit) @50d54f8   16 years Oleksandr *motsak: +'lres' for weighted modules git-svn-id: ... jengelh-datetimespielwiese
(edit) @42f5a8   18 years hannes *hannes: weight stuff git-svn-id: ... jengelh-datetimespielwiese
(edit) @30b8381   19 years hannes *hannes: betti and weights (from 2-0-5) git-svn-id: ... jengelh-datetimespielwiese
(add) @35aab3   19 years hannes This commit was generated by cvs2svn to compensate for changes in ... jengelh-datetimespielwiese
Note: See TracRevisionLog for help on using the revision log.