| /dports/deskutils/py-vdirsyncer/vdirsyncer-0.18.0/docs/ |
| H A D | contributing.rst | 25 other unsolved problem exists. This problem may be a bug in some software
|
| /dports/devel/p5-Syntax-Keyword-Try/Syntax-Keyword-Try-0.26/ |
| H A D | Changes | 130 Safety on perl 5.14 is still an unsolved problem.
|
| /dports/math/maxima/maxima-5.43.2/share/contrib/diffequations/ |
| H A D | contrib_ode.usg | 107 if the Riccati method returns an unsolved second order ODE.
|
| /dports/www/firefox-esr/firefox-91.8.0/browser/actors/ |
| H A D | DecoderDoctorParent.jsm | 197 "Malformed Decoder Doctor unsolved message with no formats nor decode issue"
|
| /dports/graphics/libgphoto2/libgphoto2-2.5.26/camlibs/mars/ |
| H A D | ChangeLog | 82 which uses a new, still unsolved compression codec and
|
| /dports/www/firefox/firefox-99.0/browser/actors/ |
| H A D | DecoderDoctorParent.jsm | 197 "Malformed Decoder Doctor unsolved message with no formats nor decode issue"
|
| /dports/mail/thunderbird/thunderbird-91.8.0/browser/actors/ |
| H A D | DecoderDoctorParent.jsm | 197 "Malformed Decoder Doctor unsolved message with no formats nor decode issue"
|
| /dports/x11-toolkits/p5-Tk/Tk-804.035/pod/ |
| H A D | CHANGES | 187 o see TODO for 'unsolved' L<> stuff
|
| /dports/math/hs-Agda/Agda-2.6.2/doc/release-notes/ |
| H A D | 2.3.0.md | 283 checker will give an error instead of producing lots of unsolved
320 complains about an unsolved meta-variable.
729 reflection API above) of the normal form. Any unsolved metavariables
1089 --allow-unsolved-metas
|
| H A D | 2.3.2.md | 478 That resulted in unsolved metas until 2.3.0.
552 leaves unsolved metas if we open `Nonvariant`.
566 the hidden argument remains unsolved. Since `bla` does not actually
|
| H A D | 2.5.2.md | 743 Requires option: `--allow-unsolved-metas`
748 unsolved#meta.<nnn>
973 Currently termination errors, unsolved metavariables, unsolved
|
| H A D | 2.5.4.md | 605 * OtherAspects (unsolved meta variables, catchall clauses, etc.) are
679 - [#964](https://github.com/agda/agda/issues/964): Allow unsolved metas in imported files
703 …ithub.com/agda/agda/issues/2474): The LaTeX and HTML backends do not highlight (all) unsolved metas
791 - [#2917](https://github.com/agda/agda/issues/2917): Very slow due to unsolved size?
|
| /dports/math/reduce/Reduce-svn5758-src/packages/crack/ |
| H A D | liepde.tex | 191 unsolved conditions if any, a list containing the general solution for
193 in the general solution or in the remaining unsolved conditions.
|
| /dports/math/bonmin/Bonmin-releases-1.8.8/Bonmin/doc/option_pages/ |
| H A D | options_list_bonmin_content.tex | 894 …avior} Set the behavior when an NLP or a series of NLP are unsolved by Ipopt (we call unsolved an …
1182 …x_consecutive_failures} (temporarily removed) Number $n$ of consecutive unsolved problems before a…
1183 …h of the tree until $n$ consecutive problems in the branch are unsolved (we call unsolved a proble…
1200 …imes that the algorithm will try to resolve an unsolved NLP with a random starting point (we call …
|
| /dports/math/bonmin/Bonmin-releases-1.8.8/Bonmin/doc/ |
| H A D | options_list_bonmin_content.tex | 894 …avior} Set the behavior when an NLP or a series of NLP are unsolved by Ipopt (we call unsolved an …
1182 …x_consecutive_failures} (temporarily removed) Number $n$ of consecutive unsolved problems before a…
1183 …h of the tree until $n$ consecutive problems in the branch are unsolved (we call unsolved a proble…
1200 …imes that the algorithm will try to resolve an unsolved NLP with a random starting point (we call …
|
| /dports/lang/nwcc/nwcc_0.8.3/ |
| H A D | news-0.7.9 | 301 (unsolved, solution not clear yet)
304 (unsolved, solution not clear yet)
|
| /dports/math/gap/gap-4.11.0/pkg/MajoranaAlgebras-1.4/gap/ |
| H A D | LinAlg.gi | 26 ## of unsolved indeterminants.
|
| /dports/math/curv/curv-0.5/ideas/next/ |
| H A D | Symmetry | 131 * Address previously unsolved or solved-only-as-research problems:
|
| /dports/irc/dancer/dancer-4.16/ |
| H A D | TODO | 52 * Multi-channel (low prio, many unsolved probs)
|
| /dports/math/curv/curv-0.5/ideas/language/modular/branded/ |
| H A D | Prologue | 23 that is unsolved in other dynamically-typed languages. It supports meaningful,
|
| /dports/sysutils/socket/socket-1.2/ |
| H A D | README | 62 network connection; this is still an unsolved problem. But often it
|
| /dports/devel/elfutils/elfutils-0.179/libdwfl/ |
| H A D | dwfl_module_getdwarf.c | 670 size_t unsolved = n; in find_offsets() local
682 if (--unsolved == 0) in find_offsets()
|
| /dports/games/iqpuzzle/iqpuzzle-1.2.5/lang/ |
| H A D | iqpuzzle_en.ts | 144 <source>All &unsolved</source>
|
| /dports/math/reduce/Reduce-svn5758-src/packages/eds/ |
| H A D | edsnorml.red | 133 % q - unsolved part of 1-forms in s
|
| /dports/games/xscavenger/xscavenger-1.4.5/ |
| H A D | DOC | 8 F1 Start game at first unsolved level
|