source:
git/Singular/dyn_modules/syzextra
@
5c0f71
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| .gitignore | 21 bytes | 7e66d9 | 10 years | Updateed doxygen settings and .gitignore | |
| DebugPrint.cc | 2.6 KB | fea494 | 10 years | format | |
| DebugPrint.h | 1.3 KB | fea494 | 10 years | format | |
| generate_tikz_diagram.py | 10.8 KB | 75f460 | 9 years | format | |
| Makefile.am | 1.5 KB | 75f460 | 9 years | format | |
| mod_main.cc | 46.0 KB | 5c0f71 | 9 years | Minor changes to syzextra chg: output details about the terms skipped ... | |
| myNF.cc | 7.3 KB | eb55f8a | 10 years | There should be no *Test in assume call (and no assume in *Test definition) | |
| myNF.h | 1.1 KB | fea494 | 10 years | format | |
| noro.sing | 12.1 KB | 75f460 | 9 years | format | |
| singularxx_defs.h | 1.7 KB | fea494 | 10 years | format | |
| syzextra.cc | 73.8 KB | 5c0f71 | 9 years | Minor changes to syzextra chg: output details about the terms skipped ... | |
| syzextra.h | 17.5 KB | 75f460 | 9 years | format | |
| test.sh | 376 bytes | 5c0f71 | 9 years | Minor changes to syzextra chg: output details about the terms skipped ... | |
| test_debug.sh | 89 bytes | db3070 | 10 years | Moved dynamic modules into /Singular/ | |
| test_release.sh | 87 bytes | db3070 | 10 years | Moved dynamic modules into /Singular/ | |
|
Note: See TracBrowser
for help on using the repository browser.
