{"aura-ask-grid.af0854de67":"Aura","aura-business-sides.a0853da24b":"Specifikacije","aura-business-visuals.40417391c5":"Aura · razrešuje","aura-business-visuals.271973aefe":"xMidYMid meet","aura-business-visuals.3e91add48a":"BOARD","aura-showcase.eyebrow":"Platforma Dweve","aura-showcase.subtitle":"Pomoč pri kodiranju in operaterska pomoč. Metrike v demu so ilustrativne.","aura-showcase.pillTools":"25+ orodij","aura-showcase.pillRunning":"teče","aura-showcase.pillAnalysing":"analiziranje baze kode","aura-showcase.capabilityToolsTitle":"25+ orodij","aura-showcase.capabilityToolsBody":"Terminal, iskanje, lint, testi, git in več.","aura-showcase.capabilityMemoryTitle":"Semantični spomin","aura-showcase.capabilityMemoryBody":"Zapomni si vašo bazo kode in kontekst ekipe.","aura-showcase.capabilityAgentsTitle":"Orkestracija več agentov","aura-showcase.capabilityAgentsBody":"Specializirani agenti sodelujejo pri različnih zadevah.","aura-showcase.guaranteeAuditTitle":"Revizijska sled","aura-showcase.guaranteeAuditBody":"Vsak korak je zabeležen s časovnimi žigi.","aura-showcase.guaranteeGuardrailsTitle":"Zaščitne ograje","aura-showcase.guaranteeGuardrailsBody":"Pravilniki, preverjanja in testi se vedno izvajajo.","aura-showcase.guaranteeApprovalTitle":"Spremembe kode z odobritvijo","aura-showcase.guaranteeApprovalBody":"Preglejte razlike, zahtevajte spremembe, končna potrditev.","aura-showcase.guaranteeReplayTitle":"Deterministična ponovitev","aura-showcase.guaranteeReplayBody":"Ponovite katero koli sejo bit za bitom, ko je treba nekaj pregledati.","aura-showcase.workflowUnderstand":"Razumevanje","aura-showcase.workflowUnderstandCaption":"Preberi retry.ts, izsledil napako pri časovni omejitvi","aura-showcase.workflowPlan":"Načrtovanje","aura-showcase.workflowPlanCaption":"Izlušči guard + omeji ponovitve","aura-showcase.workflowImplement":"Implementacija","aura-showcase.workflowImplementCaption":"Popravljeno retry.ts + types.ts","aura-showcase.workflowTest":"Testiranje","aura-showcase.workflowTestCaption":"28 testov, 94% pokritost","aura-showcase.workflowVerify":"Preverjanje","aura-showcase.workflowVerifyCaption":"Izvajanje linta in preverjanja tipov...","aura-showcase.workflowAudit":"Revizija","aura-showcase.workflowAuditCaption":"Čakanje na povzetek","aura-showcase.footer":"Avtonomni agenti, ki pišejo kodo in hranijo dokaze","aura-showcase.testsPassing":"uspešno","aura-showcase.testsFailing":"neuspešno","aura-showcase.modified":"spremenjeno","aura-showcase.af0854de67":"Aura","aura-showcase.73989d9c59":"Teče","aura-showcase.f9e94338d0":"Analiziranje baze kode","aura-showcase.d7a484140f":"Delovni tok","aura-showcase.287fda8114":"Poenoten","aura-showcase.80e13549b4":"Pokritost","aura-showcase.b71cc78b34":"Izluščeno isRetryableError","aura-showcase.c37a8a9e2b":"za obravnavo\n                    omrežnih časovnih omejitev, odzivov 5xx in pogojev, varnih za\n                    idempotentnost. Čista pomožna funkcija, v celoti enotno testirana.","aura-tech-middles.7fba7d244f":"Vroča pot","aura-tech-middles.1be47ef71c":"Prečni prerez","aura-tech-middles.92096d78df":"Vhod","aura-tech-middles.8e05a902ed":"Izhod","aura-tech-middles.49a66c994d":"Vgrajeni agenti","aura-tech-middles.a60792e996":"Zunanja zanka","aura-tech-middles.0dfd4db698":"Notranja zanka","aura-tech-middles.bbd88bff92":"Dohodna zahteva","aura-tech-middles.a618b4be8d":"Poizvedba","aura-tech-middles.a4942c26d0":"SELECT","aura-tech-middles.2cb479aa15":"* FROM","aura-tech-middles.1c255b91e7":"WHERE","aura-tech-middles.2164bde64d":"ORDER BY","aura-tech-middles.82dd2cdf36":"Blok","aura-tech-middles.271973aefe":"xMidYMid meet","page-breadcrumb.c766e66518":"Drobtinice","page-toc.7e439c353e":"Na tej strani","res-forge-action-instrument.089b6f0342":"Sprožil","res-forge-action-instrument.97c89a4d66":"Dejanje","res-forge-ambiguity-board.af13a94202":"je rezultat in je zabeležen\n          kot ena.","res-forge-ambiguity-board.e9a46a96e9":"Dvoumno","res-forge-ambiguity-board.1ee9387ca8":"Trije načini, kako lahko oseba odgovori. Iskanje nobenega od njih ne upošteva samo po sebi.","res-forge-ambiguity-board.f275049b4b":"Katerega ste mislili?","res-forge-ambiguity-board.e1f6a95de4":"prazno zaporedje","res-forge-ambiguity-board.39f54f4f92":"Vhod ni bil zagotovljen","res-forge-ambiguity-board.3636a0be7f":"se strinja","res-forge-ambiguity-board.140f86aae5":"vhod","res-forge-ambiguity-board.5a3eea8643":"Vsak zagotovljen primer","res-forge-ambiguity-board.fd50372bde":"Pet zagotovljenih primerov in kako oba kandidata odgovorita nanje","res-forge-ambiguity-board.86c03753f3":"poročaj najmanjšo količino v zaporedju","res-forge-ambiguity-board.e9c366b4f3":"Zahteva","res-forge-ambiguity-board.957a3c6b10":"zoži področje","res-forge-ambiguity-board.b0567c7519":"dodaj pogoj","res-forge-ambiguity-board.7713f29af2":"dodaj primer","res-forge-ambiguity-board.5472c41b95":"bere prazno zaporedje kot zunaj dovoljenega vhoda","res-forge-ambiguity-board.2597c3398a":"napaka","res-forge-ambiguity-board.9adfc74130":"Kandidat 2","res-forge-ambiguity-board.72e8350f75":"bere prazno zaporedje kot z nevtralno količino","res-forge-ambiguity-board.170d4a4827":"Kandidat 1","res-forge-assurance-ladder.7607387940":"česar ne vzpostavlja","res-forge-assurance-ladder.204b9b0c88":"kaj je predpostavljalo","res-forge-assurance-ladder.f03d859ccc":"kaj je bilo preverjeno","res-forge-assurance-ladder.6b3fa46450":"dva kandidata, dve pošteni mejni točki, obe poročani, kot sta","res-forge-assurance-ladder.ed682e5934":"NI SKLEPANO IZ Q","res-forge-assurance-ladder.bdad2aeeb8":"Stopnje zagotovila","res-forge-assurance-ladder.9a9f9e5d26":"NOBENA STOPNJA NI SKLEPANA","res-forge-assurance-ladder.8259f9a8e2":"formalna teorija zunaj trenutne pogodbe","res-forge-assurance-ladder.4f7ee515f7":"poročano kot povezano z izvedbo","res-forge-assurance-ladder.0d9389b742":"Kakršno koli vedenje na cilju, ki ga zapis ne imenuje.","res-forge-assurance-ladder.246b796ef8":"Da so zabeležene identitete tiste, ki jih je izvedba ustvarila.","res-forge-assurance-ladder.69ded617f9":"graf, načrt, artefakt in rezultat delijo en zapis","res-forge-assurance-ladder.5102f2ad33":"identiteta povezana od konca do konca","res-forge-assurance-ladder.49d89b6ce4":"POVEZANO Z IZVEDBO","res-forge-assurance-ladder.a1cce5c1a6":"Kakršna koli lastnost, ki je pogodba ni kodirala, in kateri koli oddani artefakt.","res-forge-assurance-ladder.a7d0feec4e":"Semantika, ki je bila kodirana, in predpostavke, ki jih je paket pripel.","res-forge-assurance-ladder.fce451ff2c":"predpostavke so pripete in navedene","res-forge-assurance-ladder.c830a6c3be":"dokazana simbolna lastnost","res-forge-assurance-ladder.da528b9287":"FORMALNO PREVERJENO","res-forge-assurance-ladder.d4c1c6915e":"Vedenje onkraj meje, ki ni bilo nikoli iskano.","res-forge-assurance-ladder.99d127dcae":"Da je prijavljena domena tista, znotraj katere bo rezultat uporabljen.","res-forge-assurance-ladder.d8a8ea038d":"domena je prijavljena s trditvijo","res-forge-assurance-ladder.4538c7d77c":"končna domena, pokrita","res-forge-assurance-ladder.dfa6e659c8":"OMEJENO PREVERJENO","res-forge-assurance-ladder.1412ce6f4c":"Vedenje na katerem koli vnosu zunaj zabeleženega nabora.","res-forge-assurance-ladder.a1fde5a17c":"Da prijavljeni primeri predstavljajo vedenje, ki ga raziskovalec obravnava.","res-forge-assurance-ladder.df4854fc18":"primeri so zabeleženi z rezultatom","res-forge-assurance-ladder.36cba7e6ad":"konkretni primeri","res-forge-assurance-ladder.b5516f2280":"PREIZKUŠENO","res-forge-assurance-ladder.c0169d217f":"Nič o vedenju na katerem koli vnosu.","res-forge-assurance-ladder.da65feb01c":"Samo to, da je paket imenoval jezik, iz katerega je bil kandidat zgrajen.","res-forge-assurance-ladder.6903a5abc9":"prijavljeni jezik je zaprt","res-forge-assurance-ladder.676886a349":"strukturna veljavnost","res-forge-assurance-ladder.68d222a4f0":"DOBRO OBLIKOVANO","res-forge-assurance-ladder.85e08ba525":"Da se dokaz, graf, Kera načrt in identiteta rezultata nanašajo drug na drugega.","res-forge-assurance-ladder.5e68702137":"Podprta simbolna lastnost, dokazana nad kodirano semantiko.","res-forge-assurance-ladder.9c8a0471a5":"Vsaka vrednost v končni prijavljeni domeni, brez napake.","res-forge-assurance-ladder.77345a75bc":"Vsak konkretni primer, ki ga je paket prijavil, izveden in primerjan.","res-forge-assurance-ladder.8c4857d4f9":"Vrste, oblike, učinki, lastništvo in prijavljeni vmesnik.","res-forge-badge-opened.9a3d81d562":"Značka pripada enemu natančno določenemu programu","res-forge-badge-opened.3d1307a7ff":"Nazaj na navadno strukturno oznako","res-forge-badge-opened.bac2685fbc":"Spremenjen je bil en korak","res-forge-badge-opened.aed3b8c6a7":"Preverjeno","res-forge-badge-opened.bf2bc5e115":"Ista značka po spremembi enega koraka","res-forge-badge-opened.d62d8e0dde":"Če od teh petih odvzamete katerega koli, dobite drugačno trditev.","res-forge-badge-opened.eb38f1807a":"Značka in pet delov, ki jih potrjuje","res-forge-badge-opened.98987f9e01":"vrni rezultat","res-forge-badge-opened.613ac981db":"zaokroži ga drugače","res-forge-badge-opened.25f1a0d208":"odčitaj vrednost","res-forge-badge-opened.16b22f5e52":"O decimalni aritmetiki ne pove ničesar.","res-forge-badge-opened.349be220c7":"Formalen rezultat in ločeno preverjanje tega rezultata.","res-forge-badge-opened.17b29d4546":"Samo cela števila in nič zunaj programa.","res-forge-badge-opened.7d77d99854":"Velja za vsako celo število v navedenem obsegu.","res-forge-badge-opened.7112a3df4e":"Ta natančni program, korak za korakom.","res-forge-boundary-instrument.e29c5de6a0":"Ena vrstica je deljena. Vsaka druga odgovornost leži natanko na eni strani meje.","res-forge-boundary-instrument.c6dda4f283":"v lasti","res-forge-boundary-instrument.d18aac96b9":"deljeno","res-forge-boundary-instrument.1ac443dbd4":"ni v lasti","res-forge-business-glyph.161d1b9d9a":"Ena specifikacija","res-forge-business-glyph.ab98f5b857":"Fiksno","res-forge-business-glyph.82b6d04b0e":"Zahteva, ki se ne premika","res-forge-business-glyph.b5bf8067cf":"Kandidati","res-forge-business-glyph.7e1d88fa7c":"vektor ciljev","res-forge-business-glyph.45d74a7136":"dominiran","res-forge-business-glyph.239aff5852":"na meji","res-forge-business-glyph.f476109f39":"dvoumen","res-forge-business-glyph.473161067f":"Politika izbire","res-forge-business-glyph.7eff74a5a8":"zabeleženo, ne skrito","res-forge-business-glyph.c3b9a01442":"zakasnitev","res-forge-business-glyph.b727a735e7":"gibanje","res-forge-business-glyph.1a7d89d441":"ujemanje cilja","res-forge-business-glyph.ef64363d23":"dokaz","res-forge-business-glyph.efe124888c":"poimenovano zagotovilo","res-forge-business-glyph.b086634a92":"vidni kompromisi","res-forge-business-glyph.ca2bc19088":"Kera izvaja","res-forge-business-glyph.f735a5ba22":"Raziskovalni program, ne programska ponudba","res-forge-candidate-fan.b6871fa0fc":"Silhuete so strukturne, ne izvorne. Dolžine trakov so relativni položaji na eni\n            meji.","res-forge-candidate-fan.8641796596":"Kandidat E prevladuje kandidat D na aktivnem naboru ciljev","res-forge-candidate-fan.d769ded7e8":"Kandidat","res-forge-candidate-fan.45d74a7136":"prevladuje","res-forge-candidate-fan.100ec4462d":"dokaz","res-forge-candidate-fan.1a7d89d441":"ujemanje cilja","res-forge-candidate-fan.b727a735e7":"premik","res-forge-candidate-fan.714eea0f4c":"čas","res-forge-candidate-fan.73ea3f356f":"Prevladuje","res-forge-candidate-fan.82f8a46f55":"gnezdeno drevo","res-forge-candidate-fan.416bfd329b":"Na meji","res-forge-candidate-fan.00c93cd155":"razcep na dva pasova","res-forge-candidate-fan.a70e321a36":"kompaktni blok","res-forge-candidate-fan.f259a41862":"široka pahljača","res-forge-candidate-fan.8503665914":"Prvi najden","res-forge-candidate-fan.e2a3a58a40":"ena dolga veriga","res-forge-choice-board.2f98d2f5be":"Uravnoteženo je tudi preferenca in je zabeležena kot taka.","res-forge-choice-board.ce025222b1":"Vsaka od teh štirih je pravilna, zato je to preferenca in ne razvrstitev.","res-forge-choice-board.48e09e45c5":"Pravilno","res-forge-choice-board.13f66243ef":"Preferiram","res-forge-choice-board.55559438c9":"B najmanj popusti pri katerem koli posameznem merilu.","res-forge-choice-board.03342dbb85":"Uravnoteženo","res-forge-choice-board.3cd298fe82":"D ima najkrajšo pot preverjanja.","res-forge-choice-board.baf123fc17":"Najbolj jasno","res-forge-choice-board.58adc98abc":"C deluje na najširšem naboru podprtih naprav.","res-forge-choice-board.b2df292ee2":"Najširše","res-forge-choice-board.7987c4ffa8":"B premakne najmanj podatkov, vendar traja dlje, da se konča.","res-forge-choice-board.4e76f5796f":"Najbolj vitko","res-forge-choice-board.cda4a6b217":"A se konča najprej in med delom zadrži največ podatkov.","res-forge-choice-board.4cb3bb0fc4":"Najhitreje","res-forge-choice-board.ed798211fb":"D opusti eno prepisovanje, da ostane preprosto za preverjanje.","res-forge-choice-board.2a318223e9":"Program D","res-forge-choice-board.69a71f0df6":"C premakne več podatkov, da pride tja.","res-forge-choice-board.d7782ce200":"Program C","res-forge-choice-board.018761680d":"B traja dlje, da se konča.","res-forge-choice-board.d2307ff43a":"Program B","res-forge-choice-board.4c06d2baf8":"A med delom zadrži največ podatkov.","res-forge-choice-board.2be70eef66":"Program A","res-forge-choice-board.97876b8380":"Preverjanje","res-forge-choice-board.2940ff1e5f":"Naprave","res-forge-choice-board.89c8a2851d":"Pomnilnik","res-forge-choice-board.6c82e6dd86":"Čas","res-forge-choice-instrument.e786244260":"Strošek, ki ga sprejme","res-forge-choice-instrument.fd9a9f965e":"Relativna modelirana zakasnitev","res-forge-choice-instrument.24d3e4fdd9":"Moč","res-forge-choice-instrument.6853c98a6f":"Član","res-forge-conflict-board.0e565b0b3e":"Na tem platnu se nobena steza ne konča z generirano nadomestno kodo. Vsaka se konča z imenovanim rezultatom in osebo, ki je lastnik naslednjega koraka.","res-forge-conflict-board.bb54db510a":"Sprejmi","res-forge-conflict-board.09c3f0d154":"ni zajet v verifikacijski pogodbi","res-forge-conflict-board.75e6b42fc5":"Zunaj obsega","res-forge-conflict-board.281dd83602":"Razširi","res-forge-conflict-board.8a97b9af81":"teorija in proračunska omejitev","res-forge-conflict-board.bc7819b34f":"Neznano","res-forge-conflict-board.3e0fb17cab":"Po jasni","res-forge-conflict-board.7835f9c578":"zavrne paket","res-forge-conflict-board.9522606498":"vrne nevtralno vsoto","res-forge-conflict-board.e9a46a96e9":"Dvoumno","res-forge-conflict-board.d36f29cacf":"Us kladi","res-forge-conflict-board.9a064eb243":"v jeziku L ne obstaja kandidat","res-forge-conflict-board.5f20d0f3ac":"Neizpolnljivo","res-forge-conflict-board.151864867d":"Šest klavzul ene zahteve","res-forge-conflict-board.426475873e":"rezultat prispe v fiksnem časovnem oknu stenske ure","res-forge-conflict-board.6933c35154":"popravljalni vnos lahko zmanjša vsoto","res-forge-conflict-board.4bf7985a78":"rezultat je natančen do zadnje enote","res-forge-conflict-board.55dca06fb3":"prazen paket je sprejet","res-forge-conflict-board.5b3e0d86e8":"vsota se z dodajanjem vnosov nikoli ne zmanjša","res-forge-conflict-board.33f78f4681":"vsak znesek ostane znotraj deklariranega obsega","res-forge-consumer-glyph.9154742cfc":"Naloga v enem stavku","res-forge-consumer-glyph.b7d5d68aa8":"Vsako branje ohranite v varnem območju","res-forge-consumer-glyph.5a29585e3f":"Poskusi","res-forge-consumer-glyph.6bd1f59b85":"dva ne uspeta pri primeru","res-forge-consumer-glyph.059c3755e1":"dva prispe","res-forge-consumer-glyph.d3f5d23e46":"eden nosi pečat","res-forge-consumer-glyph.6bb9173137":"išče","res-forge-consumer-glyph.50814a267d":"veliko možnih programov","res-forge-consumer-glyph.64c675f85c":"zavrne","res-forge-consumer-glyph.7403925825":"karkoli, kar ne uspe pri enem primeru","res-forge-consumer-glyph.c1a77ef9ed":"pove, kako močno je preveril","res-forge-consumer-glyph.691b10181f":"in kje se preverjanje ustavi","res-forge-consumer-glyph.100ec4462d":"dokazi","res-forge-consumer-glyph.88acf54a65":"včasih noben program","res-forge-consumer-glyph.72dc433046":"Odgovor je lahko noben program","res-forge-cost-vector.140b63310c":"Kandidat C","res-forge-cost-vector.2437a7ecbd":"Dokazi po ciljih","res-forge-cost-vector.25b7302067":"Primerjava, ki se prenese v drug paket poskusa.","res-forge-cost-vector.26d24d71f0":"Promet v pomnilniku","res-forge-cost-vector.3e39972526":"Zakasnitev","res-forge-cost-vector.405bdec664":"Meritev ne obstaja","res-forge-cost-vector.4b1dda27e1":"Kaj vektor ni","res-forge-cost-vector.555486354d":"Velikost kode","res-forge-cost-vector.5d0b1f6647":"Premici se sekata, zato noben kandidat sam po sebi ni odgovor.","res-forge-cost-vector.66374d941d":"Izmerjeno na strojni opremi","res-forge-cost-vector.89a596e251":"Prazna celica je trditev: kompleksnost dokazov je bila modelirana in nikoli izmerjena.","res-forge-cost-vector.8a4da1dcc8":"Mesto, kjer lahko izhod modela nadomesti meritev.","res-forge-cost-vector.ab8dd4df08":"Dražje","res-forge-cost-vector.ac46a8c74c":"Kompleksnost dokazov","res-forge-cost-vector.ad638eff4a":"Štirje cilji, dva kandidata, en poskus","res-forge-cost-vector.b0b01215a0":"Kandidat D","res-forge-cost-vector.bf8197e03c":"Relativni položaji pri enem poskusu, višje pomeni dražje.","res-forge-cost-vector.cd05967fea":"Modelirano pred kakršnim koli zagonom","res-forge-cost-vector.ec8e6defbf":"En sam rezultat, po katerem je mogoče razvrstiti oba kandidata.","res-forge-cost-vector.f4cfc474fa":"Ceneje","res-forge-counterexample-loop.aca21ce064":"ustvari novo identiteto specifikacije","res-forge-counterexample-loop.fb8953469c":"DODAJ PREDPOGOJ","res-forge-counterexample-loop.7e5559029b":"zagon se nadaljuje pod isto identiteto","res-forge-counterexample-loop.89ad46cbd8":"DODAJ PRIMER","res-forge-counterexample-loop.9001aab10f":"DVA LEGITIMNA ODGOVORA NA NAPAKO","res-forge-counterexample-loop.8888c622ac":"kaj je bilo preverjevalniku zastavljeno","res-forge-counterexample-loop.ec6e54733d":"stolpec nikoli ne izgubi vrstice","res-forge-counterexample-loop.2a117d0937":"DOKAZ, KI GA MORA ZADOVOLJITI NASLEDNJI KANDIDAT","res-forge-counterexample-loop.da7195483c":"Izberite ponovitev zanke za izboljševanje","res-forge-counterexample-loop.a0c4d76862":"Tretji kandidat zadovolji vse zabeležene obveznosti. Preverjevalnik ne najde nobenega kršilnega vnosa znotraj podprte domene in vrne dokaz s svojimi predpostavkami, navedenimi ob njem.","res-forge-counterexample-loop.f4800df8d1":"out","res-forge-counterexample-loop.2c3cbd53a7":"mul","res-forge-counterexample-loop.d052634571":"widen","res-forge-counterexample-loop.c7e42d43b0":"guard","res-forge-counterexample-loop.11f6ad8ec5":"x","res-forge-counterexample-loop.fcdd12a167":"FORMALNO PREVERJENO, predpostavke navedene","res-forge-counterexample-loop.02b8a8db00":"za vse x v i32, plus oba zabeležena primera","res-forge-counterexample-loop.30f7f19326":"Drugi kandidat mora zadovoljiti primere in primer prekoračitve skupaj. Razširi vmesno vrednost pred množenjem, preverjevalnik pa vrne drugi primer, ki ga specifikacija ni nikoli določila: prazen vnos.","res-forge-counterexample-loop.02dc309df7":"IZPODBIJANO, najden protiprimer","res-forge-counterexample-loop.9ab3ad07a9":"za vse x v i32, plus zabeleženi primer","res-forge-counterexample-loop.47d7508d9a":"Prvi kandidat zadovolji tri navedene primere. Preverjevalnik preišče celoten i32 in vrne en konkreten vnos, kjer skalirani produkt zapusti deklarirano območje.","res-forge-counterexample-loop.ad5fa3b2c6":"za vse x v i32","res-forge-counterexample-loop.d1c8b37b24":"x = prazen vnos","res-forge-counterexample-loop.b412089d87":"x = 2147483647, prekoračitev","res-forge-counterexample-loop.1bac5f43a1":"f(120) = 100","res-forge-counterexample-loop.49ed87614a":"f(40) = 40","res-forge-counterexample-loop.14d8b8d361":"f(-9) = 0","res-forge-decision-record.623b533bbb":"nič na tem listu ne strne štirih ciljev v eno številko","res-forge-decision-record.d327f7b3ba":"Brez enotne ocene","res-forge-decision-record.6a7eee59c0":"Ni izbran in zakaj","res-forge-decision-record.3e7c118949":"Izbral","res-forge-decision-record.1918daaba9":"Izbrani član","res-forge-decision-record.974ff8bb6e":"Nabor ciljev","res-forge-decision-record.e38c2194b4":"formalno preverjeno","res-forge-decision-record.ea2dfcc9cc":"Prag zagotovila","res-forge-decision-record.1ccf5d25df":"Specifikacija","res-forge-decision-record.5a445661ea":"prevladuje","res-forge-decision-record.f950982dd0":"Enako pri vsaki politiki","res-forge-decision-record.e6f8a915dc":"Meja","res-forge-decision-record.473161067f":"Politika izbire","res-forge-decision-record.1a7d89d441":"ujemanje cilja","res-forge-decision-record.b3c5533e86":"premik pomnilnika","res-forge-decision-record.544852fd7a":"najpreprostejši dokaz","res-forge-decision-record.6bf0b2c0d8":"daljša revizijska pot, ki namesto tega pridobi širše ujemanje cilja","res-forge-decision-record.fdd18306eb":"Član C","res-forge-decision-record.ee96b43256":"daljša revizijska pot, ki namesto tega pridobi manjši premik","res-forge-decision-record.1e19ce513c":"Član B","res-forge-decision-record.7ad441b0c0":"daljša revizijska pot kot izbrani član na aktivnem naboru","res-forge-decision-record.d04e27e317":"Član A","res-forge-decision-record.fec4a6c489":"Reguliran program bere isto mejo vzdolž osi dokazov in izbere člana D.","res-forge-decision-record.32cba0b9da":"najbolj neposredna revizijska pot","res-forge-decision-record.f88efb9bc7":"Član D","res-forge-decision-record.47942077ae":"Najpreprostejši dokaz","res-forge-decision-record.e9647ad29d":"deluje na manj podprtih ciljih, pri čemer menja širino za revizijsko pot","res-forge-decision-record.baede38a31":"deluje na manj podprtih ciljih, pri čemer menja širino za premik","res-forge-decision-record.7b357b2d93":"deluje na manj podprtih ciljih kot izbrani član","res-forge-decision-record.2a6987fbaf":"Posest, razpršena po mešani strojni opremi, bere isto mejo vzdolž osi ciljev in izbere člana C.","res-forge-decision-record.462746df39":"najširše ujemanje cilja","res-forge-decision-record.ad59e3b102":"Najširši","res-forge-decision-record.6235c63244":"premakne več podatkov in namesto tega ohrani krajšo izpeljavo","res-forge-decision-record.709e1b623c":"premakne več podatkov, razpršenih po več podprtih ciljih","res-forge-decision-record.7efb4f14c6":"premakne več podatkov kot izbrani član na aktivnem naboru","res-forge-decision-record.26929cd71c":"Uvedba, omejena s prometom pomnilnika, bere isto mejo vzdolž osi premika in izbere člana B.","res-forge-decision-record.993033f0b5":"najmanjši premik pomnilnika","res-forge-decision-record.4e76f5796f":"Najvitkejši","res-forge-decision-record.344f41f998":"višja modelirana zakasnitev in njegova krajša revizijska pot ni os","res-forge-decision-record.ed3d6e1e77":"višja modelirana zakasnitev in njegova širina tukaj ni plačana","res-forge-decision-record.0be3560065":"višja modelirana zakasnitev kot izbrani član na aktivnem naboru","res-forge-decision-record.b8b9888522":"Inženirska ekipa z enim ciljnim strojem bere mejo vzdolž osi zakasnitve in izbere člana A.","res-forge-decision-record.ffefb7fa98":"najnižja modelirana zakasnitev","res-forge-decision-record.4cb3bb0fc4":"Najhitrejši","res-forge-equivalence-space.638d0226a9":"samo relativni položaji, brez izmerjenih vrednosti","res-forge-equivalence-space.b727a735e7":"premik","res-forge-equivalence-space.e8c39c4d7e":"operacije","res-forge-equivalence-space.4619486033":"izvlečena oblika","res-forge-equivalence-space.f42512d469":"Cilj izvleka","res-forge-equivalence-space.92149cf8ce":"SEED","res-forge-equivalence-space.217cb1c2eb":"En izraz je razširjen v štiri razrede enakovrednih oblik, s potjo do izbranega cilja izvleka, ki je osvetljena, in eno zavrnjeno povezavo, ki je narisana, a nikoli osvetljena","res-forge-equivalence-space.ccce87f620":"Izraz je razširjen v mrežo enakovrednih oblik s pogoji na povezavah","res-forge-equivalence-space.27fa456ce7":"Izvlek za prenosljivost namesto tega upošteva zmanjšanje moči in spremembo postavitve. Izvede več operacij kot algebraična oblika in doseže najširši nabor podprtih ciljev.","res-forge-equivalence-space.27d7e452b1":"(a << 1) + a, zapakirano","res-forge-equivalence-space.feba5b9c56":"Izvlek za premik prenese isti algebraični korak naprej v razred združevanja. Izvede manj operacij kot oblika postavitve in ima najmanjši pomik podatkov od vseh treh.","res-forge-equivalence-space.37226e169c":"fuse(a + a + a)","res-forge-equivalence-space.a2f4cd4d38":"Izvlek za zakasnitev vzame algebraično obliko in se tam ustavi. Izvede najmanj operacij in premakne več podatkov kot združena oblika, ter je upravičen do dokazanega pogoja širine.","res-forge-equivalence-space.4b10d3e274":"3 * a","res-forge-equivalence-space.dfb1d5b6c2":"PRENOSLJIVOST","res-forge-equivalence-space.37f756c7d0":"PREMIK","res-forge-equivalence-space.49d6c10ece":"ZAKASNITEV","res-forge-equivalence-space.8e43c13f74":"f32 ponovno združevanje zavrnjeno","res-forge-equivalence-space.13d2c4a154":"i32 širina dokazana","res-forge-equivalence-space.dcc4e6c574":"RAZRED POSTAVITVE","res-forge-equivalence-space.69688a961b":"RAZRED ZDRUŽEVANJA","res-forge-equivalence-space.16cbdc05fc":"RAZRED MOČI","res-forge-equivalence-space.dbb0f90765":"ALGEBRAIČNI RAZRED","res-forge-equivalence-space.bc109fb076":"prenosljivo","res-forge-equivalence-space.7aca22de0b":"zapakirano","res-forge-equivalence-space.1f08a3216a":"združeno","res-forge-equivalence-space.b0c659fe95":"pretakano","res-forge-equivalence-space.28e1e451f0":"f32 ponovno združevanje","res-forge-equivalence-space.231627027e":"(a << 1) + a","res-forge-equivalence-space.62865e04db":"a + a + a","res-forge-equivalence-space.2f65736593":"(a * 2) + a","res-forge-evidence-cards.4a1c00ad00":"Promocija zahteva dokaze, ne nadzora. Ta možnost ni na voljo v nobenem\n              stanju na tej plošči, kar je pravilo, ki se ga izrisuje.","res-forge-evidence-cards.61c57736e7":"Promoviraj","res-forge-evidence-cards.7d903d3344":"Pravilo promocije","res-forge-evidence-cards.8fc2a131ae":"spremenjeno je eno vozlišče in oznaka se vrne v dobro oblikovano stanje","res-forge-evidence-cards.4acf3ac41d":"Dosjeji kandidatov","res-forge-evidence-cards.65748fb5d3":"plavajoča regija istega grafa, ki je ta zapis ne predstavlja","res-forge-evidence-cards.d274f5b4e3":"Kaj ni ugotovljeno","res-forge-evidence-cards.8f4f743d7f":"natančna semantika celih števil in regija, ki jo paket razglasi za čisto","res-forge-evidence-cards.7d37b7550c":"Pod katerimi predpostavkami","res-forge-evidence-cards.2bae06de12":"vsak vnos, ki ga formalna teorija lahko izrazi","res-forge-evidence-cards.e700afa7f9":"Na kateri domeni","res-forge-evidence-cards.8be740fd8c":"kodirana relacija na celotni podprti domeni","res-forge-evidence-cards.b76e542d96":"Kaj je bilo preverjeno","res-forge-evidence-cards.906c590060":"podprta univerzalna relacija je bila dokazana pod navedenimi predpostavkami","res-forge-evidence-cards.ea66d3cd71":"Formalno preverjeno","res-forge-evidence-cards.b7330133c1":"Kandidat R","res-forge-evidence-cards.8e950fc545":"kateri koli vnos zunaj navedenega nabora, vključno s kvantificiranim pogojem","res-forge-evidence-cards.72d0fc35c6":"referenčno vedenje, priloženo paketu, znotraj njegove lastne domene","res-forge-evidence-cards.2c8e59076b":"navedeni vnosi, enega za drugim","res-forge-evidence-cards.961d36c1e2":"konkretni primeri, zapisani v specifikaciji","res-forge-evidence-cards.593aeb47dc":"navedeni konkretni primeri so uspeli in ni bilo trjeno nič več od tega","res-forge-evidence-cards.919003799d":"Preizkušeno","res-forge-evidence-cards.24f43cdd11":"Kandidat Q","res-forge-evidence-cards.8af32eb207":"vedenje na ciljnem profilu, ki ga izvedbena povezava ne imenuje","res-forge-evidence-cards.d7201bf2e3":"številska družina in učinki, ki jih je paket dovolil, oboje določeno","res-forge-evidence-cards.dfaa1686c4":"navedeno vhodno območje na enem podprtem ciljnem profilu","res-forge-evidence-cards.707e2a56c9":"dokazana relacija, nato načrt in artefakt, ki jo je prenesel v izvedbo","res-forge-evidence-cards.f092d6fe39":"graf, načrt, artefakt in identiteta rezultata ostanejo povezani","res-forge-evidence-cards.32d888fecc":"Izvedba povezana","res-forge-evidence-cards.0483882b1c":"Kandidat P","res-forge-experiment-packet.7a6aad1d4c":"nov poskus, ločen zapis","res-forge-experiment-packet.aad6b5ae20":"IDENTITETA PAKETA","res-forge-experiment-packet.bbcc172a1e":"ČE SE KATERO POLJE SPREMENI","res-forge-experiment-packet.f5ca7850da":"zapečateno na začetku izvajanja","res-forge-experiment-packet.1f7febf95f":"RAZGLAŠENA POLITIKA","res-forge-experiment-packet.39b2c01e18":"ZAPRT JEZIK","res-forge-experiment-packet.c2bb6fa0c5":"NESPREMENLJIVA SPECIFIKACIJA","res-forge-experiment-packet.4484cb6fa9":"prijavi neznano","res-forge-experiment-packet.feaf4dd4e6":"omejitev: velikost <= 6","res-forge-experiment-packet.5aa50aebf7":"formalno, kjer je podprto","res-forge-experiment-packet.31be469709":"POLITIKA","res-forge-experiment-packet.e1e3e98714":"velikost kode","res-forge-experiment-packet.b3c5533e86":"premikanje pomnilnika","res-forge-experiment-packet.e64e22b150":"CILJI","res-forge-experiment-packet.48aef70526":"fiksni skupni vrstni red","res-forge-experiment-packet.294793bfad":"dvojni komplement, 32 bitov","res-forge-experiment-packet.1e9edfb9ee":"SEMANTIKA","res-forge-experiment-packet.9c5c96b457":"brez zunanjih učinkov","res-forge-experiment-packet.d835dab5b4":"točno celo število","res-forge-experiment-packet.2a3ffd9ebb":"JEZIK","res-forge-experiment-packet.486c4f6f95":"1 skica, 2 luknji","res-forge-experiment-packet.9254dc6ec8":"1 univerzalna relacija","res-forge-experiment-packet.dbeac903da":"4 primeri","res-forge-experiment-packet.32082e06e3":"SPECIFIKACIJA","res-forge-forms-instrument.b050566d50":"sploh ne","res-forge-forms-instrument.d680340c0b":"delno","res-forge-forms-instrument.ad22e7e15b":"to odloči","res-forge-forms-instrument.7cb8793606":"tega ne odloči","res-forge-forms-instrument.ed5a4b874a":"to delno odloči","res-forge-four-silences.a2b701e0b3":"Program ni ustvarjen, razlog pa je naveden.","res-forge-four-silences.5faa59d4bc":"Rezultat","res-forge-four-silences.5647cada0f":"Kaj bi to spremenilo","res-forge-four-silences.7661e6591f":"Kaj se je zgodilo","res-forge-four-silences.1189b54fc7":"Kaj je bilo zahtevano","res-forge-four-silences.c648f0b37b":"Štirje razlogi, zakaj odgovor ni program","res-forge-four-silences.2637ce69f5":"PROGRAM","res-forge-four-silences.f61fa98a3b":"MODEL","res-forge-four-silences.cbbef8ce7e":"ZUNANJOST","res-forge-four-silences.ce75fc2aec":"DANA OMEJITEV","res-forge-four-silences.3a339a1749":"PRAVILO 2","res-forge-four-silences.35a7d11e05":"PRAVILO 1","res-forge-four-silences.8cc9c3c016":"Nazaj na to, kaj trditev zajema","res-forge-four-silences.971c87e299":"Vključite storitev v model ali zožite trditev.","res-forge-four-silences.88868a0c58":"Del vedenja je zunaj meja, ki jih preverjanje lahko opiše.","res-forge-four-silences.181032c74d":"vprašaj zunanjo storitev za omejitev","res-forge-four-silences.407dfebcf1":"Nazaj z več prostora","res-forge-four-silences.97cd9b5795":"Daljši zagon ali drugačna metoda.","res-forge-four-silences.33af89d7fc":"Iskanje je doseglo dano omejitev in se ustavilo, preden je razrešilo vprašanje.","res-forge-four-silences.086f7cbb23":"eno pravilo o vsakem podprtem vnosu","res-forge-four-silences.74864a1ff8":"Nazaj za eno odločitev","res-forge-four-silences.7c78667c01":"Navedite še en primer.","res-forge-four-silences.fd58916c0c":"Dve različni vedenji se strinjata pri vseh treh primerih, pri četrtem vnosu pa se razhajata.","res-forge-four-silences.96dee44862":"3 da 9","res-forge-four-silences.9179befc0c":"2 da 4","res-forge-four-silences.3d47eae588":"1 da 1","res-forge-four-silences.35f6e4ab6c":"Nazaj k tistemu, ki je napisal pravila","res-forge-four-silences.5c332290c5":"Popustite eno od obeh pravil.","res-forge-four-silences.ece7f203f5":"Pravili trčita. Negativen vnos ne more hkrati zadostiti obema.","res-forge-four-silences.b25d65ea16":"vrni vnos nespremenjen","res-forge-four-silences.a4d3a2c877":"vedno vrni pozitivno število","res-forge-four-silences.20cb7eef2c":"Zunaj modela","res-forge-four-silences.c439038abe":"Ni zajeto","res-forge-four-silences.04ae6467a0":"Brez zaključka","res-forge-four-silences.280c5e7fc6":"Dva branja","res-forge-four-silences.3fe459f958":"Nič ne ustreza","res-forge-graph-asset.49281c01cf":"zanesljivost se vrne v pravilno obliko","res-forge-graph-asset.670f6bdd9a":"nova identiteta kandidata","res-forge-graph-asset.197e419ad3":"NOVA IDENTITETA GRAFA","res-forge-graph-asset.33dd31d4b3":"SPREMENI OZNAČENO VOZLIŠČE","res-forge-graph-asset.d7b94d76cf":"ENO VOZLIŠČE, OZNAČENO V VSEH TREH PRIKAZIH","res-forge-graph-asset.990742f8b4":"medpomnilniki","res-forge-graph-asset.1bdbf6a26d":"stisni, shrani ven","res-forge-graph-asset.e9e90fc64f":"skaliraj, pomnoži, seštej","res-forge-graph-asset.851967b4a3":"naloži x, k, lo","res-forge-graph-asset.46599c6b1e":"imena operatorjev se ujemajo z imeni vozlišč","res-forge-graph-asset.59cfc3e2d4":"out = clamp(add(m, lo))","res-forge-graph-asset.c73bb57286":"m = mul(s, k)","res-forge-graph-asset.bdc36b0a67":"s = scale(x)","res-forge-graph-asset.2cef65c1d0":"ISTI PREDMET","res-forge-graph-asset.31e8d812fa":"PODATKOVNI TOK","res-forge-graph-asset.891bbd450e":"IZRAZ","res-forge-graph-asset.e7bd56e1ec":"GRAPH","res-forge-graph-asset.30a5d0d91f":"Isti pomenski graf, prikazan kot graf vozlišč, kot izraz in kot podatkovni tok,\n              z enim označenim vozliščem v vseh treh prikazih in povezan z enim pravilom","res-forge-graph-asset.0be82d1c87":"En pomenski graf, narisan na tri načine, kot graf, kot izraz in kot podatkovni tok, z označenim vozliščem clamp v vseh treh","res-forge-graph-asset.da528b9287":"FORMALNO PREVERJENO","res-forge-graph-asset.894f6d1562":"IDENTITETA GRAFA","res-forge-graph-asset.33daecb09d":"out : i32","res-forge-graph-asset.a4ab4f2116":"clamp","res-forge-graph-asset.58d1bbce29":"add","res-forge-graph-asset.2c3cbd53a7":"mul","res-forge-graph-asset.60020d1b19":"scale","res-forge-graph-asset.cf023c3538":"lo : i32","res-forge-graph-asset.643ea229e1":"k : i32","res-forge-graph-asset.d14f7f166c":"x : i32","res-forge-intent-cards.398168fe2d":"Ničesar, s čimer bi ga lahko primerjali","res-forge-intent-cards.f2b3a1f895":"Napisano neposredno iz stavka","res-forge-intent-cards.8af3e09e73":"Na isti stavek je odgovorjeno neposredno","res-forge-intent-cards.ee3c9325a5":"Ti lahko spodletijo, kar je bistvo","res-forge-intent-cards.a014f9c662":"Oblika se ohrani, vrzeli se poiščejo.","res-forge-intent-cards.d40fae93b9":"Dve vrzeli","res-forge-intent-cards.32fd056d3d":"Skica","res-forge-intent-cards.5b6d56b37e":"Preverjeno ob vsakem branju, ki ga pravilo lahko imenuje.","res-forge-intent-cards.43a980aaf8":"branju, odgovor ostane med 0 in 100 in se nikoli ne premakne za več kot en\n                  korak.","res-forge-intent-cards.d8784ae2ea":"Za vsak","res-forge-intent-cards.57f6dcedb1":"Ena vrstica","res-forge-intent-cards.78e1790e29":"Pravilo","res-forge-intent-cards.85ee9e64bf":"Preverjeno na branjih, ki ste jih navedli.","res-forge-intent-cards.ef73fdd1c8":"Štirje primeri","res-forge-intent-cards.eb01bf04c9":"Primeri","res-forge-intent-cards.77d979bc52":"Tri oblike, ki jih stavek lahko zavzame","res-forge-intent-cards.b784f64740":"Razdeli se na tri oblike in vsako je mogoče preveriti.","res-forge-intent-cards.6802fdd79e":"Kar je bilo zahtevano","res-forge-intent-cards.650c85708e":"manjkajoči korak","res-forge-intent-cards.d2fb792999":"omejite, kako daleč lahko skoči z","res-forge-intent-cards.d2fde1a28f":"zadržite ga znotraj območja z","res-forge-intent-cards.25f1a0d208":"vzemite branje","res-forge-intent-cards.94407bb3ee":"»Vsako branje zadržite znotraj varnega območja in nikoli ne dovolite, da skoči.«","res-forge-intent-modes-instrument.fd197e80cc":"Obrazec je izbran, ne združen. Zapis ohrani, kateri je nosil zahtevek.","res-forge-intent-modes-instrument.a6c44a9033":"Zajema","res-forge-intent-modes-instrument.abd6628786":"Trije načini, kako povedati, kaj naj program počne","res-forge-intent-routes.5170330dcc":"Obe veji zahtevata isto. Le ena od njiju je na dnu risbe še vedno odprta.","res-forge-intent-routes.544852fd7a":"najpreprostejši dokaz","res-forge-intent-routes.3e7c118949":"Izbral","res-forge-intent-routes.9a976fc228":"Izbrano","res-forge-intent-routes.239aff5852":"na meji","res-forge-intent-routes.be601df25e":"Raziskava","res-forge-intent-routes.f577430e54":"nov projekt","res-forge-intent-routes.f6ef754e2d":"Točka zaklepa","res-forge-intent-routes.7b2d03931b":"Konvencionalno","res-forge-intent-routes.f18b41890d":"vedenje, omejitve in tveganja, zapisani enkrat","res-forge-intent-routes.e9c366b4f3":"Zahteva","res-forge-intent-routes.eb9ceb1149":"protiprimer","res-forge-intent-routes.462746df39":"najširša ciljna ustreznost","res-forge-intent-routes.120e0af75a":"najmanjši premik","res-forge-intent-routes.cd3e7bf034":"optimizacijski projekt","res-forge-intent-routes.92be6abbc0":"ena kodna baza","res-forge-intent-routes.9732c542fc":"zapisana implementacija","res-forge-intent-routes.27df60a6a2":"izbrana arhitektura","res-forge-kera-boundary.1ccf5d25df":"Specifikacija","res-forge-kera-boundary.29a184b65c":"graf","res-forge-kera-boundary.2fa9505626":"artefakt","res-forge-kera-boundary.37a5301a88":"rezultat","res-forge-kera-boundary.3bd7b119dd":"vsak nedominiran član","res-forge-kera-boundary.4aca16af35":"Rezultat preverjanja","res-forge-kera-boundary.61792020d0":"Ciljna fronta","res-forge-kera-boundary.646e287869":"dokaz in njegove predpostavke","res-forge-kera-boundary.6f8f7df48d":"FORGE","res-forge-kera-boundary.700bb94783":"redukcije","res-forge-kera-boundary.7bc555991d":"določeno","res-forge-kera-boundary.7c1df38fca":"PREVERJEN SEMANTIČNI GRAF","res-forge-kera-boundary.807a40a32f":"kaže nazaj na graf","res-forge-kera-boundary.8b36233e89":"preverjen semantični graf z obveznostmi","res-forge-kera-boundary.8cd3def21e":"na tej strani ni ciljnega oddajnika","res-forge-kera-boundary.970c175475":"ciljni profil","res-forge-kera-boundary.9c31467d05":"Zadržano na tej strani vrat","res-forge-kera-boundary.a30f1285d5":"POVEZAVA IZVEDBE","res-forge-kera-boundary.b727a735e7":"premik","res-forge-kera-boundary.bed97175b0":"načrt","res-forge-kera-boundary.c9ff38c8bb":"pripet raziskovalni problem","res-forge-kera-boundary.cce55e4309":"vrstni red","res-forge-kera-boundary.d4f766efab":"Tri zadržanja, en predmet prečka","res-forge-kera-boundary.efe0c41bcb":"KERA","res-forge-loop-instrument.1e76c7e5b8":"Ena zanka s protiprimerom, štiri stopnje","res-forge-pareto-frontier.e2ee360818":"DODAJ ENERGETSKI CILJ","res-forge-pareto-frontier.b0e56d1efe":"krivulja je fiksna, spreminja se samo politika","res-forge-pareto-frontier.787ca603fd":"fronta pripada množici ciljev","res-forge-pareto-frontier.d0eeccbe8d":"izbral","res-forge-pareto-frontier.173d916846":"energija","res-forge-pareto-frontier.1a7d89d441":"ujemanje cilja","res-forge-pareto-frontier.b727a735e7":"premikanje","res-forge-pareto-frontier.c3b9a01442":"zakasnitev","res-forge-pareto-frontier.3404b13cac":"množica ciljev","res-forge-pareto-frontier.e38c2194b4":"formalno preverjeno","res-forge-pareto-frontier.bf984aca27":"prag zagotovila","res-forge-pareto-frontier.03d6a194f4":"specifikacija","res-forge-pareto-frontier.33ca7f61b6":"DONOSI NA ENERGIJO","res-forge-pareto-frontier.0acbd1c769":"PREMIKANJE POMNILNIKA","res-forge-pareto-frontier.4b93d5e7ea":"ZAKASNITEV, VIŠJE PROTI DESNI","res-forge-pareto-frontier.43bf415954":"Graf kompromisa med zakasnitvijo in premikanjem pomnilnika, z ujemanjem cilja, narisanim kot velikost\n                oznake, štirimi nedominiranimi člani, povezanimi s frontno krivuljo, in sedmimi dominiranimi\n                kandidati, od katerih je vsak povezan s članom, ki ga dominira","res-forge-pareto-frontier.f2b023979d":"xMinYMid meet","res-forge-pareto-frontier.473161067f":"Politika izbire","res-forge-pareto-frontier.7c1e368123":"Politika uravnoteženega kolena izbere tudi kandidata C, z drugačnim argumentom: to je točka, kjer opustitev več zakasnitve preneha prinašati veliko premikanja. Da dve politiki izbereta istega člana, je dejstvo o tej fronti, zapis pa še vedno navaja, katera politika ga je izbrala.","res-forge-pareto-frontier.b7aedb3b70":"Politika najpreprostejšega dokaza izbere kandidata D. Opusti en agresiven prepis, zato je njena obveznost preverjanja najmanjša od štirih.","res-forge-pareto-frontier.5614e2e73d":"Politika najmanjšega premikanja izbere kandidata B. Ima najdaljšo kritično pot od štirih, kar je cena za premikanje najmanj podatkov.","res-forge-pareto-frontier.14826696ec":"Politika najhitrejšega izbere kandidata A. Ima največji delovni niz na fronti, zapis pa to ohranja ob izbiri, namesto da bi to skril v oceno.","res-forge-pareto-frontier.c65681bb2d":"ujemanje cilja: najširše","res-forge-pareto-frontier.b097d0ac54":"premikanje: srednje","res-forge-pareto-frontier.05da02c2f2":"zakasnitev: srednja","res-forge-pareto-frontier.d0b64e1eec":"ujemanje cilja: srednje","res-forge-pareto-frontier.144e5e5e83":"premikanje: nižje","res-forge-pareto-frontier.aa828b0585":"zakasnitev: višja","res-forge-pareto-frontier.e3a088e260":"ujemanje cilja: ozko","res-forge-pareto-frontier.6fc0d51b39":"premikanje: najnižje","res-forge-pareto-frontier.1b565dbd5d":"zakasnitev: najvišja","res-forge-pareto-frontier.79c0f24c30":"premikanje: najvišje","res-forge-pareto-frontier.83504b708a":"zakasnitev: najnižja","res-forge-pareto-frontier.37671e6ba6":"Uravnoteženo koleno","res-forge-pareto-frontier.47942077ae":"Najpreprostejši dokaz","res-forge-pareto-frontier.8703111807":"Najširši cilj","res-forge-pareto-frontier.0b2147fd0a":"Najmanjše premikanje","res-forge-pareto-frontier.4cb3bb0fc4":"Najhitrejši","res-forge-pareto-frontier.7e6396c2ce":"Politika najširšega cilja izbere kandidata C. Deluje na najširšem naboru podprtih ciljev in je na obeh oseh med obema skrajnostma.","res-forge-programme-boundary.97af50dd3d":"Vrata prečkajo tri objavljene obroče in se ustavijo na meji jedra. Zunanje tri\n          je mogoče preučiti brez odpiranja najbolj notranjega.","res-forge-programme-boundary.9ba1f67469":"Raziskovalni program, ne programska ponudba","res-forge-programme-boundary.f72e361ba7":"Nadzor objav","res-forge-programme-boundary.108e9b7f90":"kot raziskovalna metoda","res-forge-programme-boundary.88306943fe":"Metoda","res-forge-programme-boundary.68836c550e":"Jedro","res-forge-programme-boundary.175267da12":"usmerjanje teorije","res-forge-programme-boundary.15e58bec8d":"razporeditev proračuna","res-forge-programme-boundary.b32f31d61d":"položaj na meji","res-forge-programme-boundary.6f3c47977c":"omejena meritev","res-forge-programme-boundary.ff7fc62f3f":"stanje zagotovila","res-forge-programme-boundary.500aadccf6":"izbrani kandidat","res-forge-programme-boundary.5faa59d4bc":"Rezultat","res-forge-programme-boundary.6840659e94":"obravnava neznanega","res-forge-programme-boundary.3404b13cac":"ciljni niz","res-forge-programme-boundary.78a3386c55":"omejitev virov","res-forge-programme-boundary.90f54b8f1b":"dovoljeni jezik","res-forge-programme-boundary.c445f7aab5":"korpus specifikacij","res-forge-programme-boundary.1ed77c3f7f":"Protokol","res-forge-programme-boundary.aba4559466":"navedeno predhodno stanje tehnike","res-forge-programme-boundary.0c447c79ec":"raziskovalno vprašanje","res-forge-programme-boundary.002ff59811":"Vprašanje","res-forge-programme-instrument.a725020675":"Stanje","res-forge-programme-instrument.dc4e08a408":"Zahtevek","res-forge-proof-parts-instrument.ba3fef96ae":"Dokaz v petih delih","res-forge-provenance-chain.040c236a24":"štirje od devetih vozlišč in med njimi noben zapečaten korak","res-forge-provenance-chain.0ca6a997b6":"KAJ MORA REPLAY POUSTVARITI","res-forge-provenance-chain.7c0a292070":"PISAVA ZNAMKE OZNAČUJE VOZLIŠČE, KI SE GA MORA DOTAKNITI REPLAY PAS","res-forge-provenance-chain.763ad25abd":"pečat r:1c62e08","res-forge-provenance-chain.da528b9287":"FORMALNO PREVERJENO","res-forge-provenance-chain.9106ca2738":"IZBRANO","res-forge-provenance-chain.416eb4fbb0":"meja","res-forge-provenance-chain.8e016346a6":"EKIVALENČNI RAZRED","res-forge-provenance-chain.97d9eb838e":"cx 2","res-forge-provenance-chain.21fedfd21e":"kandidat 2","res-forge-provenance-chain.2ce3ff82d2":"izhod: kandidat 2","res-forge-provenance-chain.656b15a358":"vhod: kandidat 1 plus cx 1","res-forge-provenance-chain.a65edb573d":"RAZISKOVALNI KORAK","res-forge-provenance-chain.b0b7ba4666":"ZASEBNO","res-forge-provenance-chain.6495ecf841":"cx 1","res-forge-provenance-chain.7312546346":"kandidat 1","res-forge-provenance-chain.32082e06e3":"SPECIFIKACIJA","res-forge-provenance-chain.4ee56d08c0":"Graf izpeljave od leve proti desni: specifikacija, dva kandidata, dva protiprimera,\n              en zapečaten notranji korak, ekvivalenčni razred, meja in izbrani preverjeni\n              rezultat","res-forge-provenance-chain.e259f512bc":"Graf izpeljave od specifikacije do izbranega preverjenega kandidata, z enim zapečatenim notranjim korakom, a povezanim","res-forge-provenance-chain.191f8b1087":"POVEZAVA IZVEDBE","res-forge-provenance-chain.88be68d35d":"REZULTAT PREVERJANJA","res-forge-provenance-chain.bdd7fdaa13":"KANDIDAT 2","res-forge-provenance-chain.608c5b40ac":"SPECIFIKACIJA v1","res-forge-record-timeline.0794c4ea35":"Sprejeta odločitev","res-forge-record-timeline.0f9c9e32f9":"Različica, nikoli ime veje","res-forge-record-timeline.314d8e79c0":"Zakaj kandidat B ni bil izbran?","res-forge-record-timeline.39ab49c337":"Točno neuspešen vnos, shranjen za pozneje","res-forge-record-timeline.4868056615":"Nič v tej vrstici ni bilo obnovljeno iz sporočil potrditev.","res-forge-record-timeline.4bd9342a8a":"Trije vnosi odgovarjajo na to in nobenega od njih ni treba rekonstruirati.","res-forge-record-timeline.59d432b5cb":"Primerjane alternative","res-forge-record-timeline.6546ec1158":"Pozneje pride pregledovalec","res-forge-record-timeline.6833948a23":"Zapisano takrat","res-forge-record-timeline.7d1e2e97e8":"Navedena zahteva","res-forge-record-timeline.90726e413a":"Odgovarja na vprašanje","res-forge-record-timeline.aaddcdd4a5":"Raziskovalna metoda, zapečatena","res-forge-record-timeline.ccf3d548fe":"Prebrano nazaj","res-forge-record-timeline.de805f67e3":"Pet kandidatov, ena relacija prevlade","res-forge-record-timeline.e4a8371aea":"Zapis, bran od leve proti desni","res-forge-record-timeline.e8412cdd3e":"Politika in oblast za njo","res-forge-record-timeline.eeb026e98f":"Zabeležen protiprimer","res-forge-record-timeline.f4452aa131":"Stopnja in obseg, ki ga ta stopnja pokriva","res-forge-record-timeline.f65fb0cd45":"Doseženo zagotovilo","res-forge-search-field.f6d08e6875":"Relativne dolžine, ne števila","res-forge-search-field.e9fd9a1eaa":"Kaj je v polju","res-forge-search-field.fbd8250bed":"UNCHANGED FOR THE WHOLE RUN","res-forge-search-field.6a38722b12":"THE REQUIREMENT","res-forge-search-field.dbd3e24a6c":"Polje kandidatnih oblik programa v treh stanjih okoli enega fiksnega okvira zahteve v središču","res-forge-search-field.0c596f1034":"xMidYMid slice","res-forge-search-field.7be0fdc4e0":"Zgrajeno, nato ujeto","res-forge-search-field.9545c5f30a":"Ni prestalo primera","res-forge-search-field.e247bbc42c":"Sploh ni bilo zgrajeno","res-forge-search-field.3d7da15c51":"Zavrnjeno zaradi tipa","res-forge-search-field.70c98ed3c6":"Dovoljeno za preverjanje","res-forge-search-field.35633f30dd":"Ustreza pravilom","res-forge-search-field.50c026300b":"Sprejeto","res-forge-silence-instrument.3bc40f4b2a":"Štirje rezultati, ki se vrnejo brez programa","res-forge-size-lattice.a82ce62110":"ŠIRŠI JEZIK, NOV POSKUS","res-forge-size-lattice.74ed41aa02":"MINIMALNO ZNOTRAJ JEZIKA L, PRI VELIKOSTI 5 ALI MANJ","res-forge-size-lattice.4ca63f9c2e":"NI ISKANO, NI ZAHTEVANO","res-forge-size-lattice.b79d0fac18":"RAZGLASENA MEJA","res-forge-size-lattice.5e265fa4aa":"PRVIČ PREVERJENO","res-forge-size-lattice.92664d7dff":"opazovanje, ne dokaz","res-forge-size-lattice.950b23b925":"opuščeno kot opažena dvojnica","res-forge-size-lattice.a615e7ad1a":"zavrnjeno po vrsti, pred vrednotenjem","res-forge-size-lattice.6f389bc568":"sprejeto","res-forge-specification-desk.65d9989d71":"DOKAZNE OBLIKE NISO MEDSEBOJNO ZAMENLJIVE","res-forge-specification-desk.166b5a63b2":"prestane vse štiri primere","res-forge-specification-desk.26a9ba5602":"x = -9","res-forge-specification-desk.5099050f90":"PRIMER, KI JU LOČUJE","res-forge-specification-desk.561f36ce2f":"izvedljiv odgovor z lastnimi omejitvami","res-forge-specification-desk.ca24d384c1":"domena oraklja: samo od 0 do 100","res-forge-specification-desk.3cee30a3ad":"REFERENCA","res-forge-specification-desk.0d99250013":"struktura fiksna, dve tipizirani luknji odprti","res-forge-specification-desk.c1dc5611bb":"vrni clamp(t,","res-forge-specification-desk.2e5baed7cb":"naj bo t =","res-forge-specification-desk.b3274ca07a":"naj bo s = scale(x)","res-forge-specification-desk.ebdeb573df":"OSNUTEK","res-forge-specification-desk.c597bbdbc1":"vsak vhod, ki ga teorija lahko izrazi","res-forge-specification-desk.15ac2f23db":"za vse x v podprti domeni:","res-forge-specification-desk.61ed10966f":"OMEJITVE","res-forge-specification-desk.0ec3e255af":"štirje primeri, natančno preverjeni","res-forge-specification-desk.9659699670":"PRIMERI","res-forge-specification-desk.191f4bd034":"stisni skalirano vrednost v deklarirano območje","res-forge-specification-desk.4ad49a4ec4":"ENA TRANSFORMACIJA","res-forge-specification-desk.d9b48caf78":"krši monotonost zunaj domene oraklja","res-forge-stack-path.4d5fa1b006":"Vsak sistem bere isti objekt in ne njegove kopije, kar ohranja specifikacijo, dokaz, načrt in rezultat na eni identiteti.","res-forge-stack-path.86506efb99":"identiteta rezultata se vrne na identiteto grafa, s katere je začela","res-forge-stack-path.c83a5945cb":"kjer program hrani preverjeno stanje","res-forge-stack-path.55561848ab":"Aion","res-forge-stack-path.17ed2b5e88":"kjer je model fizičnega sistema del specifikacije","res-forge-stack-path.1699ca16fb":"FMI in Twin","res-forge-stack-path.d5f412e831":"Kera","res-forge-stack-path.3ab11b75ca":"Forge","res-forge-stack-path.11e7686a81":"Identiteta grafa","res-forge-stack-path.8e246a1e8d":"Na plošči Forge ni nobenega ciljnega oddajnika.","res-forge-technical-glyph.be601df25e":"Raziskava","res-forge-technical-glyph.91a9d5d08f":"Specifikacija nespremenljiva","res-forge-technical-glyph.c2237a2d15":"Paket poskusa","res-forge-technical-glyph.03d6a194f4":"specifikacija","res-forge-technical-glyph.e11523c5ff":"jezik","res-forge-technical-glyph.7b7f9366a3":"cilji","res-forge-technical-glyph.f3753f1b6b":"zagotovilo","res-forge-technical-glyph.9d78bc179c":"tipizirano grafovsko območje","res-forge-technical-glyph.2b90fe2fea":"čas, gibanje, velikost","res-forge-technical-glyph.a8a172a738":"izzvano","res-forge-technical-glyph.e1d96de67b":"Bazen kandidatov","res-forge-technical-glyph.6f389bc568":"sprejeto","res-forge-technical-glyph.a503bc1da2":"zavrnjeno","res-forge-technical-glyph.880949479a":"preizkušeno","res-forge-technical-glyph.ec734b6515":"preverjeno","res-forge-technical-glyph.61792020d0":"Ciljna meja","res-forge-technical-glyph.096280facb":"en izbran","res-forge-technical-glyph.9985d73a38":"Lestvica zagotovil","res-forge-technical-glyph.83ced341c8":"dobro oblikovano","res-forge-technical-glyph.e38c2194b4":"formalno preverjeno","res-forge-technical-glyph.275ed0c2c7":"povezano z izvajanjem","res-forge-technical-glyph.49794a5e29":"Izbrani kandidat","res-forge-technical-glyph.9e955c5620":"ohranjeni protiprimeri","res-forge-technical-glyph.74ef6c0061":"Predaja Kera","res-forge-technical-glyph.bed97175b0":"načrt","res-forge-technical-glyph.37a5301a88":"rezultat","res-forge-technical-glyph.96a6bf1d97":"preverjen graf","res-forge-technical-glyph.b8d8aaff0a":"priloženi dokazi","res-forge-technical-glyph.100ec4462d":"dokazi","res-forge-technical-glyph.416eb4fbb0":"meja","res-forge-technical-glyph.dd4fb84f32":"neznano je rezultat","res-forge-technical-glyph.3137db7c8b":"Neznano, nezadovoljivo in dvoumno so rezultati","res-forge-technical-glyph.d5f412e831":"Kera","res-forge-technical-glyph.00f6d27f5f":"DWEVE FORGE","res-forge-three-tries.ca6f569d32":"S seznama na levi se nikoli nič ne odstrani","res-forge-three-tries.48fce8a80b":"Trije poskusi istega problema","res-forge-three-tries.8805376577":"Tretji krog vključuje vse, kar sta našla prva dva kroga, in še en primer več.","res-forge-three-tries.da17ea9bb5":"Seznam primerov, krog za krogom","res-forge-three-tries.8cc87a2190":"nič za dodati","res-forge-three-tries.36d5623704":"in nato dokazano","res-forge-three-tries.0f0b41cfe8":"Opravil vse primere","res-forge-three-tries.1e35a52de1":"Poskus 3","res-forge-three-tries.3b26ea5e3d":"prazen seznam","res-forge-three-tries.b8575badd2":"na praznem seznamu","res-forge-three-tries.09fef5d8d9":"Ni uspelo","res-forge-three-tries.969a17cecc":"Poskus 2","res-forge-three-tries.15d3c90fb9":"največje možno število","res-forge-three-tries.f88b9a4765":"na največjem možnem številu","res-forge-three-tries.ff31d219ef":"Poskus 1","res-forge-three-tries.f65e38d46b":"seznam z enim elementom","res-forge-three-tries.e8741ca2e3":"že urejen seznam","res-forge-three-tries.9450ac4e17":"kratek seznam","res-forge-three-tries.4d944a9d7e":"Tretji krog","res-forge-three-tries.fa2b87ffe2":"Drugi krog","res-forge-three-tries.f7648d3834":"Prvi krog","res-forge-type-sockets.13fff86afe":"Dve operaciji, en spoj","res-forge-type-sockets.2251b5f821":"Neomejena cela števila","res-forge-type-sockets.338ce27565":"Tri kompozicije, ponujene enemu tipiziranemu jeziku","res-forge-type-sockets.3d7da15c51":"Zavrnjeno s strani tipa","res-forge-type-sockets.50c026300b":"Sprejeto","res-forge-type-sockets.5e5da2cd3c":"Dostop do omrežja","res-forge-type-sockets.681bcaf5e4":"Zavrnitev na tej plošči ne stane ničesar, ker na njej še ni bilo nič ovrednoteno.","res-forge-type-sockets.7303a0d112":"Zavrnjeno s strani zmožnosti","res-forge-type-sockets.73841deb9d":"Zaprto za ta zagon","res-forge-type-sockets.76123e0c4c":"Druga operacija potrebuje zmožnost, ki je paket ni podelil, zato je zunaj prostora iskanja.","res-forge-type-sockets.93c6a1f183":"Vtičnica","res-forge-type-sockets.a1369155ac":"Dostop do datotek","res-forge-type-sockets.b4ae90c7f4":"Vtičnici se ne srečata, zato iz tega para ni nikoli sestavljen kandidat.","res-forge-type-sockets.b957ab83e5":"Izhodni tip ustreza vhodnemu tipu, zato je kandidat sestavljen in ga je mogoče ovrednotiti.","res-forge-type-sockets.c7303935a3":"Nepreverjeno prekrivanje","res-forge-type-sockets.d3f0610632":"Izid","res-forge-type-sockets.dbe18d2e48":"Jezik je izbran s paketom in se med izvajanjem iskanja ne širi.","res-forge-type-sockets.eb8606da6a":"Ponujena kompozicija","research-forge.00274e0e63":"zavrnjeno, pogodba o napaki","research-forge.002ff59811":"Vprašanje","research-forge.005a8c4891":"Prinesite namensko intenco, formalne metode, merjenje strojne opreme ali neodvisen pregled. Forge zagotavlja skupni raziskovalni objekt za primerjavo odkrivanja programov, dokazovanja in izvajanja.","research-forge.008fef2a92":"Išči znotraj operacij, ki so bile dovoljene.","research-forge.01038388dc":"Neodgovori ostanejo vidni","research-forge.0109e7127b":"NEMOGOČE","research-forge.0143790011":"načrtovanje in izvajanje","research-forge.019d4e8e82":"Kar ostane resnično","research-forge.01f66c63e3":"Dva od parov ni mogoče sestaviti in jezik je tisti, ki to pove.","research-forge.01fc285874":"Odgovornosti do Forge in Kera","research-forge.02ff5bf386":"Pregled pravilnika","research-forge.0303c4bacd":"pet polj določenih pred prvim kandidatom","research-forge.030afc5361":"Forge lahko ohrani različico zahteve, kandidate, ki so bili pomembni, protiprimere, prehode zagotovil, ciljno mejo in politiko, ki je izbrala enega člana. Dve leti pozneje zapis še vedno odgovori na vprašanje, ki ga pregledovalec dejansko postavi, in to ni, kaj je bilo zgrajeno, ampak zakaj so bile alternative zavrnjene. Sled teče v eno smer in vsak korak na njej je mogoče prehoditi nazaj: zahteva, ki je opredelila uspeh, preverjeni in zavrnjeni kandidati, ki so bili pomembni, protiprimeri in prehodi zagotovil, vrednosti ciljev, ki so vsakega kandidata postavile na mejo, ter pooblastilo, ki je izbralo enega od njih. Nič od tega ne živi ob odločitvi. Potuje z njo.","research-forge.03102018f1":"Kandidat je strukturno veljaven.","research-forge.03128bed90":"Preverjanje","research-forge.0393c06f67":"KANDIDAT","research-forge.0397a076c3":"Dodajanje predpogoja je legitimna poteza in ustvari novo identiteto specifikacije, namesto da bi urejalo staro. Prejšnji poskus ostane v zapisu s svojo napako. Raziskovalna skupnost splošni vzorec predlagaj, izzovi, izboljšaj imenuje CEGIS.","research-forge.03bec6ab74":"Tri oblike","research-forge.04126cee0d":"Štirje se srečajo na sredini, zato premik proti enemu običajno stane nekaj pri drugem.","research-forge.0428abce3e":"Omejeno preverjeno","research-forge.0432a371aa":"Politika zagotovil","research-forge.04731f0ef3":"Samo ena os, relativna modelirana zakasnitev. Dolžina palice ni splošna uvrstitev.","research-forge.04ae6467a0":"Brez zaključka","research-forge.04bf9ee3c6":"ni izpuščeno iz zapisa","research-forge.04e9b5cd14":"tu sobiva veliko izpeljav","research-forge.04fa443e7b":"Najdaljša kritična pot","research-forge.05005f366c":"Raziskava Forge","research-forge.05625954d2":"kakor koli gre iskanje","research-forge.05d1c23f1f":"neuspeh zoži iskanje","research-forge.05db5a7f8a":"Različica specifikacije, ki jo je moral izpolniti vsak kandidat","research-forge.065d4a5b25":"Vsi proizvedejo isto vrsto tipiziranega kandidata in vstopijo v isto primerjavo. Organizacija zato primerja programe in ne metode iskanja, metoda, ki je našla kandidata, pa mu pri odločitvi ne daje nobene prednosti.","research-forge.07a688568e":"Ciljni artefakt","research-forge.0820b32b20":"Testiranje","research-forge.08b22e1ba0":"Ena pogodba","research-forge.08cfb3e0f2":"Pregled specifikacije","research-forge.09496b01f9":"Predaja","research-forge.09a3354e63":"Stranski pogoji","research-forge.09d053226c":"Sledi enemu iskanju","research-forge.0a3eb3abd3":"Notranja kalibracija","research-forge.0a5e7a0583":"Meja","research-forge.0a799711ad":"Normalizacija prihrani iskanje","research-forge.0ab39d71e2":"Enakovrednost","research-forge.0ade2ace0d":"Vsak protiprimer","research-forge.0ae18773cb":"Raziskovalni asistent","research-forge.0b101a23a3":"Asociativno preoblikovanje","research-forge.0b81fbebb5":"Optimizacija pozneje","research-forge.0ba4e46484":"En graf","research-forge.0bc357c912":"NI ZAJETO","research-forge.0c19b6603f":"Prihodnji pregledovalec ponovno pregleda odločitev iz zapisa, namesto da bi jo rekonstruiral iz sporočil o spremembah.","research-forge.0c6c9b91c5":"Poznate tisti občutek, ko bi lahko imela naloga preprostejšo izvedbo? Forge to vprašanje spremeni v raziskovalni potek dela: dajte mu omejeno specifikacijo, poiščite kandidatne programe ter zabeležite preverjanja in meritve. Poročilo iz leta 2025 dokumentira poskus, ne rezultata, pripravljenega za produkcijo, ali objavljenega merila.","research-forge.0d358c9749":"Dva testa, dve prednosti","research-forge.0db809cc66":"Zagotovilo","research-forge.0e26aaf414":"Pregled modela","research-forge.0e3c434842":"Preizkušeno, omejeno, dokazano","research-forge.0ef3858209":"Zabeležena omejena preverjanja","research-forge.0f1e49f0bf":"Primeri omejujejo vedenje na vhodih, ki jih navedete. Logični pogoji omejujejo vsak vhod, ki ga lahko izrazi formalna teorija. Skica ohrani arhitekturo, ki je raziskovalec ni pripravljen prepustiti iskanju, in pusti tipizirane luknje v njej. Referenčno vedenje zagotovi izvedljiv oracle in s seboj nosi lastno domeno oracla. Forge zabeleži, katera oblika je podprla kateri sklep, namesto da bi vsak vhod obravnaval kot specifikacijo enake moči.","research-forge.109bff6e75":"Specifikacija, ne zbirka kode","research-forge.1178a4ffb4":"Išči znova","research-forge.1181c3f399":"Paket navaja tudi, kdaj se ustaviti: omejitev virov, prag zagotovila, ki ga mora kandidat doseči, da vstopi na mejo, in kaj poročilo sporoči, ko ga nič ne doseže. Iskanje, ki se konča brez programa, se še vedno konča z rezultatom.","research-forge.11c14ce16a":"Organizacija nato poseduje namen in ne le enega njegovega izraza ter lahko pove, zakaj je bila izbrana določena izvedba. Zahteva postane trajna dobrina, izvedba pa rezultat, ki ga lahko znova izračuna, ko se prednosti spremenijo.","research-forge.11dd823248":"Za ta vnos ustvari ta izhod.","research-forge.12c8d914cc":"Česa rezultat ne dokazuje.","research-forge.13792d7c2a":"DOKAZ IMA MEJO","research-forge.140b63310c":"Kandidat C","research-forge.1462811ad5":"kandidat, ki je videti prepričljiv","research-forge.151978bff3":"zapis vsakič navede specifikacijo, prag in politiko","research-forge.15c2d33108":"Raziskovalna integracija v vrednotenju","research-forge.15f1b08e56":"dokaz, meja ali navedena omejitev","research-forge.16181ed76f":"Dovoljene operacije, tipi, učinki in numerična semantika","research-forge.161fa759f7":"V končnem deklariranem jeziku lahko iskanje gradi kandidate z naraščajočo velikostjo in zavrne neveljavne sestave, preden se kateri od njih izvede. Kandidate, ki se na trenutnih dokazih obnašajo enako, je mogoče združiti, da prihranimo delo, medtem ko trditev o enakovrednosti čaka na preverjanje. Ko metoda zajame vsakega dobro oblikovanega kandidata do navedene meje, prvi preverjeni program vzpostavi minimalnost velikosti znotraj tega jezika in te meje. Razširitev nabora operacij ustvari drugačen poskus s svojim odgovorom.","research-forge.169f619e4f":"Poštena značka nosi svojo mejo, meja pa je njen najbolj uporaben del.","research-forge.16a3fa00e3":"Podprta simbolična lastnost je bila dokazana ob navedenih predpostavkah.","research-forge.16ec74fc0a":"CLEAR","research-forge.171ca0385a":"Obnašanje","research-forge.173315f506":"nobena steza na tej plošči se ne konča z generirano nadomestno kodo","research-forge.17405ade0e":"Zagotovilo z obsegom","research-forge.17a86caa5b":"Obveznost","research-forge.17b8b28e9e":"nikoli obravnavano kot zamenljivo","research-forge.17ecf461a5":"Problem je izpolnljiv","research-forge.1822a38ec8":"štirje razlogi za nadaljevanje iskanja","research-forge.189ee02d36":"Poštena nedobava","research-forge.18d60fce22":"Imenovana stopnja zagotovila in njen obseg","research-forge.18dd2ccb59":"Pet delov","research-forge.18e9128279":"Poimenovanje izida ohranja problem tam, kamor sodi. Nasprotujoče zahteve gredo nazaj k tistemu, ki jih je napisal. Nejasen primer gre nazaj na odločitev. Nerešeno iskanje gre nazaj z večjim proračunom ali drugačno metodo.","research-forge.18f906f6da":"Ohranjeno za vedno","research-forge.192ad837e6":"Zapisana politika, ne skrita ocena","research-forge.19626a1e65":"Vse, kar ne uspe pri enem primeru","research-forge.1a23a7cddc":"Forge najde","research-forge.1a66b5eeb6":"Dostop za partnerje","research-forge.1bb360f468":"Omejeno","research-forge.1bb90c04d2":"Neuspeh, ki proizvede konkreten vnos, je za iskanje vreden več kot neuspeh, ki proizvede oceno.","research-forge.1bf39cee63":"Hitrejši, manjši, vitkejši","research-forge.1bff62bf9b":"Metodi je zmanjkalo prostora. Drugačna metoda ali daljši zagon jo lahko razreši.","research-forge.1c013851a3":"Kaj vsebuje zapis","research-forge.1c56ea452a":"Štiri specifikacijske kartice, ki opisujejo isto majhno transformacijo, z enim samim primerom, kjer se dve od njiju ne strinjata","research-forge.1c56fd19d7":"En odprt primer","research-forge.1c82340479":"trditev je mogoče preučiti","research-forge.1c875de71f":"To je lastnost upravljanja prav tako kot tehnična lastnost. Trenutek, ko se dve branji zahteve razideta, je natanko tam, kjer spada odločitev deležnika, in je veliko cenejši, preden je bila implementacija zgrajena okoli ene od njiju.","research-forge.1c9bbc4b77":"Ohranite alternative, dokler politika ni zapisana.","research-forge.1cb61a389f":"spremenjeno polje je nov poskus, ne popravljen","research-forge.1ccf5d25df":"Specifikacija","research-forge.1cdd46cd0e":"Preberi raziskavo","research-forge.1d17812687":"Štirje vnosi, štiri različna zagotovila","research-forge.1d2c6fe888":"vseh pet ali noben","research-forge.1d444e826a":"Kera teče","research-forge.1d9b3bd5d3":"Najnižja zakasnitev","research-forge.1d9d3e69fa":"Rust, C, Verilog","research-forge.1e269ebac7":"Ena transformacija","research-forge.1e748c3e4b":"spremeniš vozlišče in imaš novega kandidata, pri čemer dokazna vezava sledi vozlišču","research-forge.1ecdc691a8":"osivljena pot proizvede nekaj berljivega in ničesar, s čimer bi to preverili","research-forge.1ed77c3f7f":"Protokol","research-forge.1fd9da00a7":"Politika in organ, ki je izbral enega kandidata.","research-forge.2030fae2a7":"Trije načini, kako to povedati","research-forge.2040757c11":"Cranelift, domače merjenje zmogljivosti","research-forge.2041447f84":"samo iskanje","research-forge.206009c4a7":"Pet politik","research-forge.20cb7eef2c":"Zunaj modela","research-forge.2154ca1eb7":"Vsak od teh je rezultat z drugačnim naslednjim korakom. Forge zabeleži najmočnejše stanje, ki ga lahko utemelji, in poimenuje, kaj bi se moralo spremeniti, da bi ga presegli.","research-forge.21a0ffd68c":"odprta vprašanja so na strani","research-forge.21efbc283d":"Hitrost, pomnilnik, doseg in dokazi","research-forge.220b9c622c":"Sintetiziraj","research-forge.2354ab0ba0":"pred predlaganjem programa","research-forge.235bfff3a2":"Raziskovalni program","research-forge.236656bf91":"Pooblastila","research-forge.23d4ef785c":"velikost 5","research-forge.243dcbef8c":"načrtovanje in prevajanje navzdol","research-forge.24a264b83c":"Dva kandidata, štirje cilji","research-forge.24c0bda2ba":"Najbolj neposredna revizijska pot","research-forge.24cb5be0b0":"odločitev ohrani svoje razloge","research-forge.24d50592b7":"Cilji","research-forge.2550b1dcad":"Odgovornost","research-forge.25754f1c93":"raziskovalni program, ne programska ponudba","research-forge.258195bb3d":"Ena identiteta","research-forge.25c843b80e":"To naredi jezik dve stvari hkrati. Je mehanizem učinkovitosti, ker večine prostora sploh ni treba ovrednotiti. Je tudi meja namere, ker vnaprej določi, česa sme stroj poseči.","research-forge.25fa97aa1a":"Ne pove vam, ali je ta pot najhitrejša, najbolj vitka, najbolj prenosljiva, najlažja za revizijo ali tista, ki jo organizacija lahko upravlja. To so ločena vprašanja z ločenimi dokazi.","research-forge.261c22b85c":"Inženirska organizacija se običajno zaveže eni implementaciji veliko prej, preden lahko pove, ali je ta zasnova najhitrejša ali najlažja za preverjanje. Forge preučuje zaporedje, kjer je specifikacija trajna dobrina, implementacija pa rezultat iskanja, med katerim izbira izrecna politika.","research-forge.26369471c9":"Natančna enakovrednost, omejena numerična relacija ali učinkovita enakovrednost, vsaka ugotovljena s preverjanjem.","research-forge.267f81bab8":"Česa se program lahko dotakne","research-forge.277b67c1e8":"in kaj bi potreboval","research-forge.27f11f9fe1":"zapečateno vozlišče še vedno objavi svoje vhode, svoje izhode in svojo identiteto","research-forge.27fab35201":"Poimenovan ne-odgovor je bolj uporaben kot verjeten program.","research-forge.280c5e7fc6":"Dva branja","research-forge.281dd83602":"Razširi","research-forge.282bd862f4":"Kandidat B","research-forge.2877a09f30":"več odgovorov je lahko razumnih","research-forge.287b80caae":"pravilnost ne izbira","research-forge.294b4c06ac":"Prostor kandidatov","research-forge.296e71a0fb":"Kandidati po velikosti v omejenem jeziku, ki prikazujejo sprejeta, zavrnjena in zrušena stanja, prvega preverjenega kandidata in razglašeno mejo, ki jo nosi trditev","research-forge.297f419e18":"Česar ne sme storiti, je oslabiti vedenje, dodati učinek, ki ga paket ni razglasil, ali spremeniti nerešenega stanja dokaza v uspeh. Optimizacija je svoboda znotraj meje.","research-forge.29c69b4a35":"ali lažje za preverjanje","research-forge.29fea3a06d":"Kaj ugotovi","research-forge.2a03a4b73a":"Nedoločeno","research-forge.2a729227ad":"En izraz, razširjen v mrežo enakovrednih oblik s pogoji na robovih, in trije cilji ekstrakcije, izbrani po tem, ko prostor obstaja","research-forge.2a965a37b7":"To je odločitev politike in mora biti izrecna, ne izpeljana.","research-forge.2a965accf1":"Najmanjši program, ki ga jezik dovoljuje","research-forge.2ad40f7952":"Kompromisi kot objekt upravljanja","research-forge.2b27b7aec8":"Voden z dokazi","research-forge.2b3a5e307c":"Pomenski","research-forge.2b7d95b8c6":"Kateri kompromis želite","research-forge.2b9c801e9e":"izbira ostaja izrecna politika","research-forge.2bdb5e4d73":"Forge se konča z izbranim pomenskim grafom in njegovimi dokazi. Dweve Kera prejme ta graf, načrtuje podprto izvajanje in izda ciljni artefakt, pri čemer so pomen operacije, učinki, lastništvo, numerična pogodba in dokazne obveznosti priloženi ob predaji. Ista disciplina povezuje Forge s preostalim skladom Dweve: Aion, kjer program ohranja preverjeno stanje, Reed in Selvedge za delo na okoliških sistemih, FMI in Twin, kjer je model fizičnega sistema del specifikacije.","research-forge.2c8c94c95f":"ne le tisto, kar je bilo zgrajeno","research-forge.2c9ebecf8b":"Orkestracija iskanja","research-forge.2cb597863b":"Hiter program, ki je napačen, je še vedno napačen.","research-forge.2cd3174fc9":"rezultat določi naslednje vprašanje","research-forge.2cff331976":"Odkrivanje in dokazovanje zgoraj","research-forge.2d24e0a549":"In včasih","research-forge.2d3231ce48":"Dvoumnost","research-forge.2da600bf94":"Različica","research-forge.2daa013c1b":"Tipiziran pomenski graf, ne izvorno besedilo","research-forge.2dd3547872":"popoln v meji","research-forge.2dfcf898a3":"Primerjava","research-forge.2e140f6f42":"Izbira politike","research-forge.2ea3bb9377":"Pridružite se raziskovalnim partnerjem","research-forge.2f24ebaee0":"Obreži","research-forge.2f65736593":"(a * 2) + a","research-forge.2f81a22de0":"Dostop","research-forge.2f89346f05":"Plavajoča reasociacija","research-forge.2f906454d9":"Vsaka oblika odgovori na drugo vprašanje in raziskovalni zapis pove, katera je nosila trditev.","research-forge.30833f759b":"Načrtovanje in prevajanje navzdol","research-forge.3107902192":"Pet kandidatov","research-forge.310e8151df":"od opisa do dokazov","research-forge.31139f400a":"najmanj <= 5","research-forge.3146c89579":"katera odgovornost je na kateri strani","research-forge.3179a54130":"Primeri, pravila in delni program, ne koraki","research-forge.31c2157a1c":"En sam pomenski graf, prikazan kot graf, kot izraz in kot podatkovni tok, z nespremenjeno identiteto v vseh treh oblikah, ter učinek spremembe enega vozlišča","research-forge.320ce22925":"Močno, za trditve","research-forge.3218fcc602":"Sestavljanje dokazov","research-forge.32438a2b70":"Uporabite avtomatizirano odkrivanje","research-forge.32d888fecc":"Povezana izvedba","research-forge.32ec2eb506":"Usmerjeno s tipi","research-forge.32fd056d3d":"Skica","research-forge.32fe9f5bda":"Začetno stanje","research-forge.331a390a95":"Zabeležite, da jamstva ni mogoče utemeljiti, kot je navedeno.","research-forge.332fafafd4":"Več programov je optimalnih","research-forge.337cd4ef85":"in zaščitite pozneje","research-forge.3407af8c74":"Oblike se medsebojno krepijo. Primeri naredijo logično pogodbo berljivo za bralca. Omejitve preprečijo, da bi kandidat pretirano prilagodil prikazane primere. Skica ohranja varnostno strukturo nespremenjeno, medtem ko aritmetika ali podatkovni tok znotraj enega področja ostaja odprta za odkrivanje.","research-forge.3554ae9f37":"Dokaz grafa ni samodejno dokaz poljubne izhode prevajalnika, zato povezava izvedbe skupaj zabeleži graf, načrt, izdelek in rezultat. Forge lahko nato preučuje odkrivanje, ne da bi trdil, da je lastnik oddajnika.","research-forge.356258d8cf":"Pravilnost omogoči vstop v razpravo o kompromisih.","research-forge.357a580465":"razširitev s pogoji","research-forge.3631815377":"ki ohranja","research-forge.3647998e09":"relativna modelirana zakasnitev na eni meji","research-forge.3662b6cd93":"Optimizacija je svoboda znotraj meje, ki je bila najprej zapisana.","research-forge.3678b75177":"Sidro dokaza","research-forge.3697e2badd":"Ista meja, štirje obrambni odgovori","research-forge.3750b1e26e":"Ena zahteva","research-forge.378b19c94c":"in univerzalne lastnosti","research-forge.37a1d3ddee":"Obseg iskanja","research-forge.37b658da82":"kaj je ugotovljeno in kaj ostaja odprto","research-forge.37d9b94afa":"Pregledovalec lahko sledi verigi od konca do konca, ne da bi odprl eno samo zaprto vozlišče.","research-forge.37e5ec20ed":"Tišina šteje","research-forge.37e8f995e7":"Poimenovan neodgovor instituciji da tudi konkreten temelj za ukrepanje. Pove, katera klavzula je v nasprotju, katero vedenje je bilo nedoločeno, katera teorija ni bila na voljo ali kateri proračun je bil presežen, in torej, kaj bi se moralo spremeniti.","research-forge.3856f4eb7c":"Metoda ni prišla do zaključka znotraj svojih teoretičnih in virskih omejitev.","research-forge.387b54720d":"Stopnja, ki jo mora rezultat doseči, preden se šteje","research-forge.38b07c05cf":"Ena lestvica zagotovil z dvema kandidatoma na različnih stopnjah in predalom, ki prikazuje, kaj je vsaka stopnja preverila, predpostavila in česa ne dokazuje","research-forge.391bc6cb44":"Dokaz ohranja svojo mejo","research-forge.396c19de10":"Štirje načini, kako zahteva nasprotuje programu","research-forge.39727bd48f":"nazaj za sintezo","research-forge.3977816414":"dokazi odločajo","research-forge.39d6a0ddc5":"Katere odločitve lahko iskanje sprejme v vašem imenu?","research-forge.39fdec1194":"Testi","research-forge.3a06f841f3":"Preizkušen je več kot le na danih primerih.","research-forge.3a4be7155b":"Alternative","research-forge.3ab11b75ca":"Forge","research-forge.3b08754530":"Forge začne z opisom vedenja, ne z zahtevo za kodo. Lahko mu daste delovne primere, pravila, ki morajo veljati na splošno, ali delno napisan program z odprtimi zapletenimi deli. Vsako od tega stroju da nekaj, s čimer se lahko meri, in nekaj, pri čemer lahko vidno spodleti.","research-forge.3b0896e4b0":"Pri podprtih pogodbah Kera se čista izvedba ponovi bitno enako brez začetnega stanja, vključno s pokritimi potmi družine plavajoče aritmetike. Kjer program namerno porablja naključno stanje, je to stanje deklariran vhod, njegova ponovna uporaba pa reproducira celotno izvedbo.","research-forge.3b8be5e1a9":"dokazana širina","research-forge.3bb1fa9d93":"je ena točka v prostoru","research-forge.3bb59d3903":"Ugotovljeno","research-forge.3bcf82f6df":"Zakasnitev je dimenzija","research-forge.3bdab018c4":"Preverjeno ima vedno drugi del: pod temi pravili, za te vhode.","research-forge.3bf08a84f1":"MOVE","research-forge.3bf4aa62c6":"En graf, dva načrta, ena identiteta","research-forge.3c37add762":"Dobro oblikovan","research-forge.3d3349e560":"kaj se institucija odloči pred iskanjem","research-forge.3d85b7b35e":"Štirje majhni primeri, vsak se konča brez programa iz drugega razloga, ki prikazujejo, kaj je bilo zahtevano, kaj se je zgodilo in kaj bi to spremenilo","research-forge.3d8dc8dd37":"Nosil preprostejšo pot preverjanja","research-forge.3d9d45c6fc":"in dokažite napačen model","research-forge.3dbbac272c":"Protiprimeri in stanje dokaza","research-forge.3e0fb17cab":"Pojasnite","research-forge.3e39972526":"Zakasnitev","research-forge.3e9492ab1e":"Graf, načrt, izdelek in rezultat ostanejo povezani.","research-forge.3f1ea4240e":"Predpostavke so del rezultata, ne drobni tisk pod njim. Dokaz o točnih celih številih ne pove ničesar o decimalkah. Dokaz o samostojnem izračunu ne pove ničesar o storitvi, za katero ni nikoli vedel, da obstaja.","research-forge.3f2151a870":"Velikosti od ena do šest","research-forge.3fd8fb2e1a":"Operacije, tipi, oblike, učinki in zmožnosti, ki jih kandidat lahko uporablja.","research-forge.3fe459f958":"Nič ne ustreza","research-forge.40100e1934":"Nedominirani kandidati","research-forge.4025ca409c":"Prevzemi odgovornost za svojo uspešnost","research-forge.408f0af557":"Graf izpeljave od specifikacije do izbranega dokaza, z notranjimi koraki metode zapečatenimi, a povezanimi, in krajšo potjo, ki jo mora predvajanje dejansko reproducirati","research-forge.40d33b38ad":"Nobena od teh ni naknadno dodana opomba. To je vsebina rezultata, zato zapis postavi stopnjo in njen obseg na isto mesto in zato noben nadzor ne more ene povišati.","research-forge.40f800b699":"Fronta pripada naboru ciljev, ki jo je ustvaril. Dodajanje energije paketu lahko vrne kandidata, ki je bil prej dominiran, kar je lastnost vprašanja in ne sprememba v katerem koli programu.","research-forge.4141bac3ca":"in pusti programu, da se spremeni","research-forge.418cdd48b7":"Opazovani primeri","research-forge.41978064b8":"Razpravljaj o sodelovanju","research-forge.41a3ff09e5":"Navedi obnašanje","research-forge.4288fa85e0":"Kaj je dorečeno in kaj odprto","research-forge.42c7f4ea4d":"Okvir se ne premika","research-forge.42e742546a":"in preizkušeno ni dokazano","research-forge.43093ca0db":"Obseg dokaza, strukturna preprostost, strošek dokazov","research-forge.435e8ecece":"en program le redko zmaga v vseh štirih","research-forge.436fb3032c":"Sklep","research-forge.437b348524":"Vrstni red, v katerem se zgodijo","research-forge.437bcb1511":"Energija","research-forge.439f7b365e":"Raziskovalni dokumenti","research-forge.43d54e530d":"Ali kodirana zahteva ustreza temu, kar organizacija dejansko želi?","research-forge.43d8879a8c":"izvedbena povezava je tista, ki veže dokaz na to, kar se je dejansko izvajalo","research-forge.4412dd5d66":"Nemogoče in nerazrešeno se poroča, ne pretvarja v kodo.","research-forge.4475dded01":"Ena implementacija","research-forge.44ab85a252":"Izvor","research-forge.450d52d3ef":"Iskanja","research-forge.4585404748":"kandidat, ki se ustavi pri preizkušenem, se poroča kot preizkušen","research-forge.45aaefd6f4":"Štirje pregledi","research-forge.4646f9193d":"Dobro oblikovano ni preizkušeno","research-forge.4651a34e4d":"Obseg","research-forge.466fc49274":"Ohrani","research-forge.46ed5f573e":"Glej raziskavo","research-forge.4719d38f14":"Več obnašanj ustreza danim dokazom in se drugje razhajajo.","research-forge.472643c4ca":"En kandidat dominira drugega le, kadar ni slabši v nobenem aktivnem cilju in je boljši v vsaj enem. Dominirani kandidati zapustijo aktivno fronto. Tisti, ki ostanejo, so vsi obrambni odgovori na isto specifikacijo, izbira med njimi pa je odločitev o politiki, ki jo zapis ohrani, ne izračun, ki ga iskanje tiho opravi.","research-forge.472bff45c9":"Ena oblika znotraj večjega prostora enakega obnašanja.","research-forge.473161067f":"Politika izbire","research-forge.47942077ae":"Najpreprostejši dokaz","research-forge.47b74866d6":"Preveri pravilnost","research-forge.47bcc2a36a":"Včasih dve stvari, ki sta bili zahtevani, ne moreta biti obe resnični. Včasih primeri dopuščajo dve različni obnašanji in ni načina, da bi ugotovili, katero je bilo mišljeno. Včasih je problem preprosto težji, kot ga metoda lahko razreši v danem času. Forge vsakega od teh poroča kot to, kar je, in pove, kaj bi se moralo spremeniti. Nejasan primer običajno potrebuje še en primer, ne večjega proračuna.","research-forge.47cda15a5a":"Kera: kako","research-forge.47da6f0838":"Sestavi","research-forge.48298eb992":"Iskanje lahko zamenja operacije, prestrukturira podatkovni tok, zlije regije, odstrani premikanje in pride do implementacije, ki je noben raziskovalec ni imel v mislih. Vse to je dovoljeno in večinoma je to bistvo.","research-forge.483bf2075c":"Objavljeno","research-forge.4901e146cd":"Primerjaj stroške","research-forge.490d255908":"zahteva ostaja stabilen objekt","research-forge.49df3ec7de":"Deluje na več podprtih napravah","research-forge.4a828b8ab7":"Raziskave, Forge","research-forge.4ab1a4f190":"Kandidat, ki je prispel prvi, nima nobene teže pri odločitvi poleg lastnih dokazov.","research-forge.4aebc33326":"Štirje pregledi pred trditvijo","research-forge.4b01608cdc":"Iskanje nikoli ne ureja paketa, da bi rešilo kandidata.","research-forge.4b1960c2fb":"Sistem pod pritiskom, da proizvede kodo, bo proizvedel kodo. To spremeni neodgovorjeno vprašanje v program, ki ga mora zdaj nekdo vzdrževati, negotovost pa ne izgine, premakne se na mesto, ki ga je težje videti.","research-forge.4bca6a7cdb":"Kje se program začne","research-forge.4c175158a6":"Povezan rezultat","research-forge.4c1e9313aa":"En bazen","research-forge.4c39a99d3d":"Pet stopenj","research-forge.4c6bdedadc":"vir ostaja projekcija","research-forge.4cb3bb0fc4":"Najhitrejši","research-forge.4d0ff72eb2":"Kakšne ravni testiranja ali dokaza mora rezultat doseči?","research-forge.4d6864f9a3":"Štiri mejne izbire","research-forge.4d7f210eef":"Trije kandidati, preverjeni proti seznamu primerov, ki z vsakim krogom naraste za en neuspešen vnos, pri čemer se s seznama nikoli nič ne odstrani","research-forge.4db6c46b80":"vsak sistem bere isti objekt namesto njegove kopije","research-forge.4e4bed5372":"Nikoli vklopljeno","research-forge.4e76f5796f":"Najbolj vitko","research-forge.4e90808185":"Štirje načini, kako se lahko zagon konča","research-forge.4e9a44aeb4":"Povejte, kaj naj se zgodi","research-forge.4ec9cc4f2f":"Preverjeno odkrivanje programov","research-forge.4f9c4e1fdb":"Prvi pravilni kandidat dokazuje, da je problem izpolnljiv. Lahko je tudi velik, počasen, pomnilniško zahteven, težko preverljiv ali vezan na eno izvajalno okolje. Forge ga obravnava kot dokaz in ne kot odgovor ter nadaljuje iskanje družin, do katerih bi drugačno iskalno vedenje prišlo prvo.","research-forge.4faae9b4e9":"so različne izjave","research-forge.4fe6240efb":"Ali se izvajalna tarča ujema s semantiko, ki je bila dokazana?","research-forge.500d19ed3e":"Naslednji kandidat mora zadostiti močnejšemu naboru.","research-forge.505ddba0dc":"stroj pove, kaj ve","research-forge.506f370762":"značka pogoja na robu odloča, ali ga ekstrakcija lahko uporabi","research-forge.50e944749f":"WIDE","research-forge.50f771745f":"Ali gre za dobro implementacijo","research-forge.512f83ac42":"Trije kandidati, preverjeni proti rastočemu naboru obveznosti, s protiprimerom, ki je končal vsakega, in dvema legitimnima odzivoma na neuspeh","research-forge.516f075235":"Štirje pravilni programi, štirje načini, kako dati prednost enemu","research-forge.5183317474":"Svoboda","research-forge.52550c8d07":"Zapis odgovarja, zakaj","research-forge.528d188e2a":"Zahtevana raven dokaza","research-forge.52e68a873a":"Omejitve","research-forge.531e01782f":"Razrešite nasprotujoče zahteve, ki jih je dokaz prepoznal.","research-forge.536a08d31b":"FAST","research-forge.541a19b522":"Meja je tisto, kar zahtevo naredi natančno. Dokaz grafa je dokaz tega grafa, zato izvajalna povezava zapiše graf, načrt Kera, artefakt in identiteto rezultata skupaj, namesto da bi predpostavljala, da je dokaz potoval z izhodom.","research-forge.546130711a":"Raziskovalni program Dweve","research-forge.54a351154f":"Minimalnost je omejena izjava. Velja za operacije, tipe in strukture, ki jih je paket dovolil, do velikosti, ki jo je zagon dosegel. Ne pove ničesar o jeziku, ki ga eksperiment ni razglasil, in razširitev nabora operacij ustvari nov eksperiment s svojim odgovorom.","research-forge.550d4ccba7":"Številčna družina, vrstni red, model stanja in zunanji pogoji, ki jih zagon predpostavlja.","research-forge.551fea67e6":"Opis pride prvi, implementacija pa ostaja odprto vprašanje čim dlje.","research-forge.5521ea4314":"dodajanje cilja lahko vrne prevladani kandidat, kar je dejstvo o vprašanju","research-forge.5549dc87d0":"Ni vsaka specifikacija","research-forge.5601f89af7":"kandidat, ki preprosto izgleda prav","research-forge.563591cebc":"Kako hitro se program zaključi","research-forge.56abd17a41":"Ko se nič ne vrne","research-forge.577d56824d":"TRIJE PREMIKI","research-forge.58357eb5f1":"močnejše zahteve potrebujejo močnejše dokaze","research-forge.584e0ea86c":"vektor opisuje kompromis","research-forge.58c379fdea":"Minimalen po velikosti","research-forge.59df8e27c4":"Ohrani zahtevo","research-forge.5a0ba3bb83":"Pogodba","research-forge.5a2827f530":"Štirje obroči","research-forge.5a314063cc":"kako šibek kandidat izostri vprašanje","research-forge.5ab1aaea94":"NEJASNO","research-forge.5b1142d090":"Razporeditev proračuna","research-forge.5b141d8cb7":"Preverjeno pod temi pravili","research-forge.5b2a7fb11c":"Razkrij","research-forge.5b3facb840":"Štiri družine enake teže, paket pa odloča, katere so aktivne.","research-forge.5b5d8a5af8":"Zapišite konkretni primer in lastnost, ki jo je prekršil.","research-forge.5b6a58fb9f":"Cenovno ugodno za iskanje","research-forge.5b78187e47":"ni prav v vsakem svetu","research-forge.5b8955c7bc":"Iskanje programa","research-forge.5b92885b2d":"Inženirska ekipa lahko izbere člana z najnižjo zakasnitvijo. Reguliran program lahko izbere najčistejšo pot zagotavljanja. Razporeditev po mešani strojni opremi lahko izbere najširšo ciljno ustreznost. Vsi trije izbirajo iz istega preverjenega nabora.","research-forge.5c1be9b227":"Zahteva je ponovljiva","research-forge.5c262f33db":"Konča se","research-forge.5c46a60955":"Kako je delo razdeljeno","research-forge.5c9d4874c3":"Katere vnose in katero okolje zahteva pokriva.","research-forge.5ce01f3b67":"Program objavi, kar njegovi dokazi podpirajo, in ohrani svojo raziskovalno metodo kot raziskavo.","research-forge.5dfcf1dcc0":"Ena identiteta, tri upodobitve","research-forge.5dfe750940":"Pregledljivo","research-forge.5e0d7f4f07":"Forge je raziskovalni projekt Dweve. Njegov notranji iskalni portfelj, implementacija formalnega sklepanja, znanje o transformacijah, kalibracija ciljev in orkestracija so del te raziskave. Program objavi vprašanje, protokol, rezultat in njegovo stanje zagotavljanja na ravni razkritja, ki ga dokazi podpirajo. Sodelovanje se začne z omejenim sinteznim vprašanjem. Sledi se pet zahtev z njihovim stanjem, tri so rešene in dve še odprti, odprti pa so na strani in niso izpuščeni iz poročila.","research-forge.5e22dbb195":"Trije pari","research-forge.5e3db9c4c0":"Refiniranje z usmerjanjem protiprimerov","research-forge.5eb51a7a2a":"Sledi dokazom, ne le programu, ki je nastal.","research-forge.5eede4abda":"Najširša ustreznost cilju","research-forge.5f174de1cc":"Dokaz","research-forge.5f20d0f3ac":"Nezadovoljivo","research-forge.5f94916c54":"Oglejte si institucionalni primer","research-forge.5faa59d4bc":"Rezultat","research-forge.5ff1729499":"preden poveš, kako","research-forge.603a007e8b":"in možnosti se zaprejo","research-forge.60508aeb3d":"Kam zastaviti vprašanje","research-forge.60539e2c57":"Kje je tveganje","research-forge.6066a49124":"Ta vhod se pridruži množici, ki jo mora izpolnjevati vsak kandidat.","research-forge.60e5c23b14":"Tipizirano","research-forge.616d1d1b2a":"Pet preferenc","research-forge.61792020d0":"Objektivna meja","research-forge.61988aaea3":"Paket poskusa","research-forge.61a0ae3b84":"Omejitve","research-forge.61ad50a9b9":"Cilj","research-forge.61c2d00a1e":"Oblike specifikacij","research-forge.61d0fdeb05":"Deklarirano vmesnik, njegove tipe in oblike.","research-forge.61e2187199":"Po prvem veljavnem programu","research-forge.625ba6f153":"FIT","research-forge.62c4bc1315":"Dve smeri iz iste zahteve","research-forge.6320f96544":"pusti stroju, da najde, kako","research-forge.636f4e740e":"redko celoten odgovor","research-forge.63ed4981dc":"Pareto","research-forge.63f0dfcfef":"Zahteva, razčlenjena na klavzule, s štirimi stebri, ki prikazujejo, katere klavzule so povzročile nezadovoljiv, dvoumen, neznan ali izven obsega rezultat, in ukrep, ki ga vsaka zahteva","research-forge.64269f9bd2":"TIME","research-forge.647c656679":"Dva kandidata se lahko ujemata kot besedilo, ujemata se, ko sta njuna grafa normalizirana, ali pa izpolnjujeta isto opazovano vedenje pod deklarirano pogodbo. To so tri različne izjave in samo zadnja pove kaj o tem, kaj program počne.","research-forge.649ed30fda":"Obseg potuje z izjavo. Dokaz nad natančno celoštevilsko semantiko ne potrjuje vedenja s plavajočo vejico. Dokaz čiste funkcije ne zajema zunanje storitve, ki ni bila nikoli deklarirana. Preverjen graf, spremenjen po dokazu, je nov kandidat, na katerega še ni vezan noben dokaz.","research-forge.64bcb871de":"Protiprimer lahko razkrije več kot le napako v implementaciji. Lahko razkrije izpuščen predpogoj, robni primer, o katerem se ni nihče odločil, ali dva različna branja zahteve, ki sta bili oba skladna s primeri. Zapis pove, katero od teh je raziskovalec nato spremenil.","research-forge.64c0978f0e":"Odprto, in razlog, zakaj program obstaja: kako velika lahko koristno postane preverjena regija grafa, katere oblike specifikacij so natančne za stroj in uporabne za človeka, kako se delni dokazi sestavljajo skozi optimizacijo in načrtovanje ter kateri cilji potrebujejo izmerjeno povratno informacijo strojne opreme.","research-forge.64d22c2e4e":"Forge popravi raziskovalni problem, preden obstaja kateri koli kandidat. En paket poimenuje specifikacijo, dovoljene operacije in tipe, učinke in numerično semantiko, dimenzije ciljev, meje iskanja in politiko zagotovil, ki jo mora rezultat doseči. Kandidata je mogoče oceniti le glede na problem, ki je bil že zastavljen, zaradi česar je paket del pravilnosti in ne konfiguracija okoli nje. Paket pove tudi, kdaj se ustavi: mejo virov, prag zagotovil, ki ga mora kandidat doseči, in kaj poroča zagon, ko tega ne doseže nihče.","research-forge.64f4056c85":"Politika vidna","research-forge.657c02a2ae":"Zahteva ostane nespremenjena","research-forge.664243d1c2":"Oblike specifikacij glede na to, kaj vsaka razreši","research-forge.66b4132999":"Razpravljajte o vprašanju sinteze","research-forge.66c7af05f3":"Forge naredi predpostavke pregledne in ljudje jih še vedno lastnijo.","research-forge.66c95e7fc7":"Zapečateno","research-forge.66cd84bcef":"oblike prihajajo in odhajajo, okvir na sredini pa je ves čas isti","research-forge.6703a68b0c":"politika poimenuje člana","research-forge.6767e55d00":"Prvi veljavni","research-forge.681b5b5ae1":"Razpoložljivost","research-forge.6848ce552e":"Izidi","research-forge.68ad9d9693":"Kaj ostane nespremenjeno","research-forge.693f74e1e9":"Meja med Forge in Kera","research-forge.6978e0d16d":"Noben program sploh je lahko pošten rezultat","research-forge.6989b87ddb":"Zato zanka postaja le strožja. Vsak krog se začne z vsem, kar so prejšnji krogi vzpostavili, plus novim primerom, tako da kandidat nikoli ne more zmagati s pozabo na prejšnji neuspeh.","research-forge.699425d26b":"Preberite metodo","research-forge.69da6fa492":"Primeri pojasnjujejo","research-forge.6a33efdc4e":"Paket poskusa, sestavljen polje za poljem, z identiteto, ki ga poimenuje, in posledico spreminjanja katerega koli polja","research-forge.6a455d1ff6":"Za vsak podprt vhod ohranite to resnično.","research-forge.6a54f54941":"Iskanje odgovarja","research-forge.6aa0b7e952":"različne institucije izberejo različno","research-forge.6ab0b8903c":"Numerični pomen","research-forge.6b1716c3e5":"nikoli bolj prizanesljivo","research-forge.6b2284f302":"Točka kolena","research-forge.6b6ae4c323":"množica obveznosti le raste","research-forge.6b6f62925d":"Včasih protiprimer pove nekaj o zahtevi in ne o programu. Dve pravili se lahko izkažeta za nasprotujoči si ali pa se robni primer izkaže za takega, o katerem se nihče dejansko ni odločil. To je vredno vedeti zgodaj.","research-forge.6b7b6dcbaa":"En graf, štiri vloge","research-forge.6bc457b374":"Poiščite kandidata, ki izpolnjuje vsak znani primer.","research-forge.6bcf5a7776":"Meja, ne enotna ocena","research-forge.6c4b5393b9":"in omejitve odločajo","research-forge.6c61bbcebe":"Dokazano","research-forge.6c82e6dd86":"Čas","research-forge.6c8dd48ed8":"Načrt meritev","research-forge.6c9b8325ab":"noben prečnik ni nikoli sklepan","research-forge.6c9c88fe2f":"Opis vedenja spremeni ta odnos. Iskanju da cilj, ki ga mora zadeti, način, kako ga ujeti, ko zgreši, in zapis, na katerih primerih je bil rezultat sploh kdaj preverjen.","research-forge.6cc1fdfb05":"Preizkušeno, omejeno in dokazano so različne izjave o istem programu.","research-forge.6cd40b6ae3":"Zahteve se začnejo kot želeno vedenje, omejitve in tveganja. Razvoj jih spremeni v eno arhitekturo in eno implementacijo, od tega trenutka pa je vsaka alternativa projekt prepisovanja, selitve ali optimizacije. Odločitev je bila verjetno razumna, ko je bila sprejeta, in sprejeta je bila, preden jo je kdo lahko primerjal z možnostmi, ki jih je izključila.","research-forge.6d058a6f22":"ne splošna obljuba","research-forge.6d3a0e2f30":"Tipi najprej obrezujejo","research-forge.6d525b7156":"Izvedba","research-forge.6d5ef04ce2":"dokaz, meja ali napovedana omejitev","research-forge.6d84ceaf60":"Izlušči","research-forge.6db87cb08f":"Najhitreje modelirano","research-forge.6dfe9d2cfa":"Forge, preprost pogled","research-forge.6e3f1d3672":"Štirje načini izražanja namere","research-forge.6ef75c79a0":"Ponovitev ni treba reproducirati vsake raziskovalne veje. Reproducirati mora dokaze, na katerih temelji trditev: specifikacijo, izbranega kandidata, rezultat preverjanja in izvedbeno vezavo. Vse ostalo je zgodovina iskanja, ne dokaz.","research-forge.70bcce6545":"Več poti","research-forge.70cbd1d6b1":"Predlagano","research-forge.7173d0cb0f":"neznano, neizpolnljivo in dvoumno so rezultati","research-forge.718eb2ad28":"Zmanjšanje jakosti na premik","research-forge.71e541f178":"Test zažene program na vhodih, ki jih nekdo izbere. Dokaz sklepa o vsakem vhodu, ki ga pokriva zapisana specifikacija. Oboje je uporabno in odgovarjata na različna vprašanja. Ko Forge reče, da je kandidat preverjen, ima stavek drugo polovico: preverjen glede na to lastnost, za te vhode, pod temi predpostavkami. Pet delov mora potovati skupaj, da ta stavek kaj pomeni: točen program, ki je bil preverjen, lastnost, ki se trdi o njem, predpostavke, dokazi in meje, ki jih rezultat ne vzpostavlja.","research-forge.722e234a05":"Poišči kandidate","research-forge.72637278c6":"kaj Forge preda","research-forge.729c82e196":"En objekt prečka celoten življenjski cikel, zato ni treba ničesar znova izpeljevati iz besedila na vsaki stopnji.","research-forge.72aeb780b2":"Kam gre iskanje naprej","research-forge.72e6f70d7c":"rezultat kaže nazaj na graf","research-forge.7305b76252":"močnejši dokaz zasluži močnejšo oznako","research-forge.73128a8f5b":"zahteva pride prva","research-forge.734e643f73":"Štiri osi","research-forge.734ee26abf":"Veliko družin","research-forge.736500a024":"odkrivanje in dokaz","research-forge.73710d0053":"Štiri stvari se ne spremenijo z izidom in so razlog, da lahko rezultat prebere nekdo, ki iskanja ni izvajal.","research-forge.73e5abe068":"in metoda ostane zasebna","research-forge.740141dd76":"Omejena preverjanja in testi lastnosti","research-forge.746a18b508":"Oblikovanje, vrstni red operandov in normaliziran graf. Dovolj, da iskanje ne opravi istega dela dvakrat.","research-forge.757b8815d3":"En okvir","research-forge.75be5b7552":"Kaj zapis objavi","research-forge.75c9be68d0":"Zavrnitve","research-forge.75e6b42fc5":"Zunaj obsega","research-forge.762b81621f":"Prečnik, ki ga mora kandidat doseči, da vstopi v mejo.","research-forge.7701124587":"Dokazati, da znotraj napovedanega jezika ne obstaja noben manjši pravilen program, je vprašanje, ki ga preučuje raziskovalna tradicija superoptimizacije. To omejeno iskanje je primer tega vprašanja, ki ga Forge lahko izvede in preveri.","research-forge.7777053d27":"Namenoma biti napačen","research-forge.77809a4225":"x86-64, RISC-V, WASM, Vulkan GPU","research-forge.779df62acf":"Štiri stalne zaveze","research-forge.77e466696d":"Noben program v dovoljenem prostoru tega ne more narediti. Spremenite dovoljenje ali zahtevo.","research-forge.77ed933da8":"Ciljni vektor in položaj na meji","research-forge.7800ae62d5":"Ne samo napačno","research-forge.78546ce4c3":"Zahtevani učinek ni predstavljen v pogodbi o preverjanju.","research-forge.79919ce9fd":"Učinki in zmožnosti","research-forge.79b38792f6":"Štiri družine ciljev","research-forge.79b3e4bb6e":"Veliko kandidatov","research-forge.7a36809fc6":"Forge preučuje drugačno zaporedje. Zahtevo ohranite eksplicitno dlje. Pustite, da tekmuje več implementacij znotraj napovedanega jezika. Vzpostavite podprte vedenjske trditve, preden izbirate med kompromisi glede zmogljivosti in uvajanja.","research-forge.7a67d7aba8":"Ali so okolje, učinki in numerična pravila predstavljeni?","research-forge.7b2d03931b":"Običajno","research-forge.7ba8740951":"Katera politika je izbrala enega člana in kdo je stal za njo","research-forge.7bec3a8510":"Ustavi se pri","research-forge.7c04a5cf0e":"Vektor stroškov ustvari mejo, kar je drugačen objekt od razvrstitve.","research-forge.7c1e14bb08":"ne odstrani človeške presoje","research-forge.7c3f4fda21":"velikost 1","research-forge.7d448f8882":"En bazen kandidatov","research-forge.7d58a74832":"Kandidat lahko prestane vse primere, ki so mu bili pokazani, in je še vedno napačen nekje, kjer nihče ni pogledal. Forge išče določen vnos, ki razkrije razliko. Ta vnos je protiprimer in ko enkrat obstaja, se pridruži stalnemu naboru primerov, ki jih mora izpolniti vsak poznejši kandidat. Cikel za tem je kratek. Kandidat je predlagan, izzvan prek primerov, ki so mu bili dani, en vnos razkrije napačno vedenje in ta vnos se ohrani. Nato se iskanje začne znova proti večjemu naboru. Konča se z dokazom, mejo ali navedeno omejitvijo in nikoli s kandidatom, ki preprosto izgleda pravilno. Iz tega nabora se nič nikoli ne odstrani, zato tretji poskus pomeni več kot prvi.","research-forge.7d5f9141fc":"Meritev je treba še vzpostaviti","research-forge.7db1bb6632":"Izpeljava kot dokaz","research-forge.7df7e32344":"značka poimenuje samo stopnjo","research-forge.7e2e54dae8":"Uravnoteženo kolensko točko je mogoče predlagati. Predlog se zabeleži z normalizacijo, ki ga je ustvarila, tako da lahko pregledovalec vidi, da gre za politiko in ne za aritmetično neizogibnost.","research-forge.7e309ec303":"Hipoteza o zmogljivosti, ne primerjana z merili","research-forge.7e5a975b6a":"Identiteta","research-forge.7e826f7af3":"TRUST","research-forge.7ea014de7b":"Dokazi","research-forge.7ea35b3515":"Isti objekt ima štiri vloge, ne da bi spremenil kategorijo. Med iskanjem je kandidat, med raziskovanjem član ekvivalenčnega razreda, subjekt, ki ga dokaz poimenuje, in vhod, glede na katerega Kera načrtuje. Ena identiteta nosi vse štiri.","research-forge.7f2b6cf0fd":"Kandidat mora izpolniti doslej zbrane dokaze. Preverjevalnik nato poišče v podprti domeni vnos ali stanje, kjer kandidat krši popolno specifikacijo. Vsak protiprimer, ki ga najde, se pridruži naboru dokazov kot trajna obveznost, zato mora naslednji kandidat izpolniti vse, kar so prejšnji, in tudi novi primer. Zanka postaja samo strožja. Ustavi se z dokazom, mejo ali razglašeno omejitvijo in nikoli se ne ustavi pri kandidatu, ki zgolj izgleda prepričljivo. Dodajanje predpogoja je dovoljeno, vendar odpre novo identiteto specifikacije, namesto da bi uredilo staro.","research-forge.7f59a1f1d5":"Odločitev","research-forge.7f5e7b5182":"Štiri institucionalna dejanja","research-forge.7f87260e69":"Zapisano naprej, prebrano nazaj","research-forge.7fc3a8b99e":"Raziskovalna zasnova združuje DSL nad tipiziranimi izrazi z enumerativnim iskanjem, CEGIS, genetskim programiranjem in iskanjem MCTS, e-graf izenačevalno nasičenostjo, merjenjem na osnovi Cranelift ter preverjanji Z3/CVC5 za omejene obveznosti. Večciljno iskanje upošteva zakasnitev, število operacij, pomnilnik in pritisk registrov; ciljno generiranje kode vključuje x86-64, RISC-V, WASM, Vulkan GPU in Verilog. Število nalog in testov, pospeški med gostitelji in proizvodna zmogljivost ostajajo delo na področju validacije.","research-forge.7fda8c3a33":"Trije kandidati, tri poštene oznake","research-forge.7fdf663e3a":"Hipoteza o zmogljivosti, ne primerjana z merili","research-forge.7fef09721e":"Dweve Forge, preverjeno odkrivanje programov","research-forge.80302bf5ea":"Omejena preverjanja in iskanje","research-forge.80446347ed":"Oblika","research-forge.80d70e543d":"Fronta in izbira","research-forge.814de3b8b2":"Štirje člani fronte","research-forge.8179013356":"Promet, delovni nabor, prenosi in lokalnost","research-forge.81eccd6085":"Štirje razlogi za molk","research-forge.81f08b5724":"dolgo potem, ko ljudje odidejo","research-forge.8208f3f27b":"Vrstni red","research-forge.82319c5d9e":"Uporaba transformacij v zaporedju pomeni zgodnjo izbiro, ki lahko izključi poznejšo izboljšavo. Forge preučuje kompaktne predstavitve, ki hkrati vsebujejo veliko enakovrednih oblik, tako da več poti transformacij sobiva do ekstrakcije. Predstavljanje številnih prepisov skupaj, namesto da bi se zavezali enemu vrstnemu redu, je pristop, ki ga raziskovalna literatura imenuje izenačevalna nasičenost.","research-forge.8252f95ddf":"sprememba enega vozlišča v preverjenem grafu vrne kandidata v dobro oblikovano stanje","research-forge.825d89212b":"Znanje o transformacijah","research-forge.8283b9d96c":"Ni faznega vrstnega reda","research-forge.82c24c3687":"Program lahko prosto spreminja obliko, stvar, ki jo mora izpolniti, pa se ne spreminja.","research-forge.8301a503f4":"Nesoglasje med dvema veljavnima razlagama je prikazano kot vprašanje, ne pa razrešeno z iskanjem.","research-forge.8368699cf6":"Veliko možnih programov","research-forge.8375a2c337":"Trije poskusi, en rastoči seznam primerov","research-forge.837b910e11":"dokler politika ne izbere enega","research-forge.83908aa381":"Tip, oblika, predstavitev in numerična pogodba, ki jih ureja.","research-forge.83ea53e5ec":"Veliko enakih oblik, tri vredne ekstrakcije","research-forge.8597c90c68":"Raziskovalni testi (obseg)","research-forge.864c38bd34":"Kjer meritev ne obstaja, celica ostane prazna. Prazna celica je izjava o dokazih in njeno zapolnjevanje z izhodom modela bi tiho spremenilo oceno v rezultat.","research-forge.8682d73e62":"Program","research-forge.869cb36316":"En predlagani izvedba pripete specifikacije.","research-forge.8703ca90ce":"Lastništvo, pomnilniški prostor in ciljne omejitve, ki veljajo.","research-forge.870d4e66fc":"zapis poimenuje obseg","research-forge.87805aff07":"Sploh noben program","research-forge.879bb91dae":"nobena stran ne prevzame trditve druge","research-forge.87d0c490e0":"Dimenzije stroškov, ki jih ta eksperiment primerja, izbrane pred merjenjem katerega koli kandidata.","research-forge.88306943fe":"Metoda","research-forge.8831be6339":"Ko se ne pojavi noben program","research-forge.887b3d18f0":"Forge je lastnik specifikacije, iskanja kandidatov, raziskovanja ekvivalenc, ciljne fronte in preverjanja. Kera je Dwevejev grafično naravnan sistemski jezik in temelj Direct Computation ter je lastnik načrtovanja, spuščanja, ciljno specifične emisije in izvajanja. Kar prehaja med njima, je preverjen semantični graf s svojimi obveznostmi, profilom ciljev in dokazi. Graf je poimenovan namesto izvora, rezultat, ki se vrne, pa kaže na isto identiteto.","research-forge.887cf267e6":"Unsat","research-forge.888797190c":"eno vedenje, več izvedb","research-forge.888e561892":"Štirje načini zahtevanja boljšega","research-forge.892257a43b":"Dokaz je lahko veljaven","research-forge.89404ea15f":"Formalna poizvedba","research-forge.894f8a793c":"Uporabite močnejšo teorijo, širši jezik ali večji proračun.","research-forge.897b3ac98d":"Codegen","research-forge.89b86ab0e6":"Jezik","research-forge.89c7caf6b5":"Kateri koraki opravijo delo","research-forge.89c8a2851d":"Pomnilnik","research-forge.89f5343231":"Trajna sled odločitev","research-forge.8a102fcb06":"Omejeno popolno iskanje","research-forge.8a9523ae04":"Kaj nosi kandidatni vozel","research-forge.8ab2c84ed7":"Ena arhitektura","research-forge.8b2d50590f":"Formalni dokazi zajemajo specifikacijo in semantiko, ki je bila kodirana. Če je bil okoljski pogoj izpuščen ali numerični model ne ustreza stroju, je rezultat veljaven in odgovarja na nekoliko drugačno vprašanje.","research-forge.8b593995c8":"Predpostavke","research-forge.8b7acd8daf":"Nič ne vstopi v mejo z oznako zagotovila, ki je močnejša, kot podpirajo dokazi.","research-forge.8bafd39dbd":"Namerna meja izdelka","research-forge.8c0dc9aa18":"Predpogoji, popogoji in zagotovilo, ki ga mora rezultat doseči.","research-forge.8c1cf9e158":"Primeri, logični pogoji, skice in referenčno vedenje, vsak zabeležen z močjo, ki jo nosi.","research-forge.8cb71202e7":"Več vedenj ustreza primerom. Še en primer odloči.","research-forge.8d9c9bb663":"Dva zapisa, en graf","research-forge.8daee0af31":"Običajna pot, ki se zoži na eno bazo kode in se znova odpre kot projekti prepisovanja, ob raziskovalni poti, ki ohranja nabor preverjenih kandidatov, dokler politika ne izbere enega","research-forge.8db9aab917":"kako močno je bilo preverjeno","research-forge.8dce170de2":"Vrednost","research-forge.8dd2a359fe":"LEAN","research-forge.8df2bb4b75":"Raven zagotovila, ki jo mora kandidat doseči, meja iskanja in kaj poročati, ko ničesar ne doseže.","research-forge.8e2717f3c6":"Kandidat, ki ne bi mogel biti zakonit, se nikoli ne zgradi, zato meja vedno vsebuje le dobro oblikovane programe.","research-forge.8e34678d0d":"nezakoniti kandidati nikoli ne vstopijo v nabor","research-forge.8e3934fad2":"Štirje zavihki politik, ki izberejo različne člane ene meje, vsak ustvari popoln zapis odločitve z razlogi za prevlado za člane, ki jih ni izbral","research-forge.8e50172772":"Neodvisno preverjanje je ločena stopnja, ker postavlja drugačno vprašanje. Ne, ali je bil dokaz izdelan, ampak ali se preverjevalnik, ki ga ni izdelal, strinja, pri čemer uporablja le dokaze, priložene kandidatu.","research-forge.8e84017c75":"Povezava je do določenega programa. Spremenite en korak v njem in dokaz ne opisuje več tega, kar držite, zato se oznaka vrne na navadno strukturno, dokler preverjanje ni ponovljeno.","research-forge.9032517861":"Pet trditev, pet stanj","research-forge.908b29b50b":"vsaka stopnja potrebuje drugačno vrsto dokazov","research-forge.90e40d5043":"Začnite","research-forge.919003799d":"Preizkušeno","research-forge.91ad20c2db":"Dva načrta","research-forge.91c0ae2087":"natančen namen zmanjša tveganje pri izvedbi","research-forge.91cf399266":"je lahko pravi odgovor","research-forge.9225f51a2a":"Proti primer","research-forge.9233f41df0":"Trije cilji","research-forge.9297ab4ca3":"Preberite zgodbo","research-forge.929818c51d":"Največji pomnilniški odtis","research-forge.929a9f0f25":"Prvi, ki deluje","research-forge.92a7058e4e":"Razpravljajte o institucionalnem sodelovanju","research-forge.92f5fe6952":"Štirje izidi","research-forge.936c25084e":"Referenčno vedenje","research-forge.9388f4158d":"uravnotežena možnost je izbira kot druge in to tudi pove","research-forge.93c09204c0":"Zmerno pri obeh stroških","research-forge.93c2975761":"Sledite iskanju","research-forge.93f79d808f":"Ali izbrani član meje odraža navedeno prednost?","research-forge.942587e61e":"Projektni list","research-forge.9477d7acdd":"Zaprosite za partnerski dostop","research-forge.94822e9dc6":"Kovačnica, institucionalni pogled","research-forge.94827e8438":"Preberite prispevke","research-forge.94859cf20a":"Zapečateno in odprto","research-forge.948c81b996":"Več preverjenih poti naprej","research-forge.94cc86c489":"en spremenjen korak in značka poimenuje program, ki ga ne držite več","research-forge.94ed3b0134":"od namena do izbranega programa","research-forge.950dfeeb8b":"Namen postane koda","research-forge.9550373e8b":"Izmerjeno","research-forge.95eaeda430":"Kako velika lahko koristno postane preverjena regija grafa.","research-forge.9678c4f1e3":"ena identiteta prečka mejo","research-forge.96aff7c058":"Ena zanka proti primerov","research-forge.96b9633285":"Kaj lahko iskanje spremeni","research-forge.973c3f46d7":"V obsegu","research-forge.978aa6569a":"Konča prej","research-forge.97c89a4d66":"Dejanje","research-forge.97ee6e5610":"Predlagaj","research-forge.992bc34385":"Čista specifikacija ne more pridobiti dostopa do datotek ali omrežja na poti. Pogodba s fiksno širino celega števila se ne more tiho spremeniti v neomejeno matematično celo število. Reprezentacija z lestvico ohrani svojo lestvico in varna skica pomnilnika ne more biti dokončana z nepreverjenim vzdevkom.","research-forge.99508624d6":"Noben program ne more biti","research-forge.996c4a8976":"ima program v sebi","research-forge.99dc6bab08":"Dva kandidata, ki izpolnjujeta isti nabor primerov in se razhajata pri vhodu, ki ga nihče ni zagotovil, s tremi načini, kako lahko deležnik to razreši","research-forge.9a24005705":"En popoln iskalnik, po velikosti","research-forge.9a469ce88c":"Beton","research-forge.9a4ce5f246":"izbira mora biti navedena","research-forge.9ae33a7d0e":"Lastnost","research-forge.9b7bd11153":"Preverjen graf, ki prečka trdo mejo v Kera, načrtovan na dva različna načina, z obema rezultatoma povezanima nazaj na isto identiteto grafa","research-forge.9c25db95cc":"Kandidat A","research-forge.9c86ef6b28":"Raziskuje kandidatne implementacije pod deklarirano pogodbo","research-forge.9cbe42aaff":"Načrtovano","research-forge.9cfcf5930d":"Zakasnitev, gibanje, ustreznost namestitve in dokazno breme ostanejo nedotaknjeni s prvim rezultatom.","research-forge.9d68007b07":"Program","research-forge.9dba232302":"Vedenje, ki je bilo zahtevano","research-forge.9dc6ec542b":"ni isto kot zagon","research-forge.9dd59ab994":"Primerja","research-forge.9df0f32743":"Registri, vzporednost, omejitve naprav, prenosljivost","research-forge.9e811eeaf8":"Po pravilnosti","research-forge.9ee018232e":"Nič ne vstopi v kandidata, česar paket ni dovolil.","research-forge.9f36fa8055":"Ohrani to obliko in poišči manjkajoči del.","research-forge.9f78c690af":"iz različnih razlogov","research-forge.9fea6de725":"Formalno","research-forge.9ff7951f81":"Preverjena značka, razširjena na svojih pet delov, prikazana znova ob istem programu po tem, ko se je en korak spremenil in se je povezava med njima prekinila","research-forge.a0a9a568c3":"Kandidati, ki so ostali veljavni, in tisti, ki jih je končal protiprimer","research-forge.a0c9c40551":"program spremeni obliko","research-forge.a10a7ad63a":"Kaj paket popravi","research-forge.a266f0a07d":"Razišči kandidatna jedra","research-forge.a2e1cc1b2f":"Lahko se spremeni","research-forge.a2f4a96337":"Kompromis","research-forge.a32a41c9d1":"brez programa, z razlogom","research-forge.a336e6650d":"Dva kandidata, dve pošteni točki ustavitve","research-forge.a3c143732a":"problem je odpravljen pred iskanjem","research-forge.a3c686e711":"Kategorija","research-forge.a4508fc8ef":"Pomenska relacija","research-forge.a48f8c0cf7":"Pet programov, ena specifikacija","research-forge.a4c745386f":"Štiri politike","research-forge.a57b5d2330":"Iskanje se lahko spremeni","research-forge.a6067adc3c":"zakasnitev, operacije, pomnilnik, registri","research-forge.a618b4be8d":"Poizvedba","research-forge.a61c938f35":"Iskanje predlaga","research-forge.a723285355":"Modelirano","research-forge.a79764b5e5":"Več pravilnih programov, vsak s svojim dokazom","research-forge.a7987d27ae":"Opusti eno prepisovanje","research-forge.a898f4eb0d":"To je ista izbira, ki jo vsak naredi glede poti čez mesto. Najhitrejša, najcenejša in tista z manj spremembami so vse razumne. Nerazumno pa je trditi, da obstaja samo ena rešitev, ne da bi povedali, kaj optimizirate.","research-forge.a8b262d32b":"Vprašati model za kodo in dobiti nekaj, kar je videti pravilno, je druga vaja. Ničesar ni, kar bi moral odgovor zadovoljiti, zato ni ničesar, čemur bi lahko spodletel, in bralec mora zagotoviti vso presojo.","research-forge.a8e5c0ccf3":"Graf, ki ga rezultat preverjanja dejansko imenuje.","research-forge.a91bcce893":"Vedno","research-forge.a94848cbdb":"Do tega koraka pridejo samo kandidati, ki so prestali vrata.","research-forge.a9d6afeda0":"nazaj na predlog","research-forge.a9f1693ebe":"Vsak član izpolnjuje deklarirano pogodbo, zato je edino preostalo vprašanje, katere stroške sprejmete.","research-forge.aa1a2e191d":"NAVEDENO NAJPREJ","research-forge.aa2b80d828":"Frontier","research-forge.aa62568659":"Povedati, kaj ni znano, je bolj uporabno kot zapolniti vrzel z nečim, kar se dobro bere.","research-forge.aa6708d51a":"Podprta univerzalna relacija je bila dokazana.","research-forge.aa88ef980e":"Katera podprta okolja ga lahko zaženejo","research-forge.aa9002c223":"Značka, odprta","research-forge.aab9ca1bc6":"V razredu","research-forge.ab89d05c4b":"Postavitev","research-forge.ab98f5b857":"Fiksno","research-forge.ab9a4aae0b":"Najmanj gibanja","research-forge.aba86cd010":"Politika izbere","research-forge.abc0c09f1f":"Stroj lahko spremeni, kateri koraki opravijo delo, vrstni red, v katerem se zgodijo, in kateri vmesni vrednosti sploh obstajajo. Dva programa, ki si ne delita nobene od teh stvari, lahko še vedno opravljata isto delo, iskanje pa lahko raje izbere katerega koli od njiju.","research-forge.ac30f0abf3":"Če spremeni, kaj program proizvede, to ni izboljšava tega programa. Pravilnost je tisto, kar kandidatu prinese mesto v pogovoru o stroških.","research-forge.acc3156c5b":"Zaženi povezavo","research-forge.ad2cecac38":"Besedilo in struktura","research-forge.ad44adccc4":"dokaz krepi natančno trditev","research-forge.ad59e3b102":"Najširše","research-forge.adfc01e921":"Kandidata je mogoče oceniti le glede na problem, ki je bil že opredeljen.","research-forge.adfccdc8de":"Forge: kaj","research-forge.ae2fee1a70":"Sestavi le večje izraze, ki so tipsko pravilni.","research-forge.aeb1c76446":"Štirje obroči, eno pravilo objave","research-forge.aebc2854f4":"Številčno","research-forge.aeedafb2fe":"neuspeh postane trajna obveznost","research-forge.af3cc2e010":"program, ne cilj","research-forge.af68d81f17":"Vedenje in omejitve, ki so opredelile uspeh.","research-forge.af78a00855":"Kako neposredno je mogoče preveriti njegovo vedenje","research-forge.afbab5dc80":"prvi odkriti kandidat obdrži svoje mesto v zgodovini in zapusti mejo","research-forge.aff55d9c0e":"Poročaj o najmanjšem preverjenem kandidatu in njegovi meji.","research-forge.b0339e3e63":"Synthesis, Cranelift in","research-forge.b048046ec8":"Kandidat z najnižjo zakasnitvijo ima lahko večji delovni nabor. Najbolj prenosljivi je lahko počasnejši na napravi pred vami. Tisti z najpreprostejšim dokazom se lahko odpove agresivnemu prepisu. Predlagamo lahko uravnoteženo točko kolena, predlog pa se zabeleži kot politika z njeno normalizacijo.","research-forge.b06be2ecea":"Zato Forge objavi predpostavke poleg trditve in zato ima pregled imenovane lastnike. Specifikacija, model in izvedbeni cilj so trije ločeni podpisi.","research-forge.b0811e470d":"Kompromis","research-forge.b0a205ebad":"Začnite z dovoljenimi vhodi in konstantami.","research-forge.b0b01215a0":"Kandidat D","research-forge.b116105199":"Štiri vprašanja za razrešitev","research-forge.b1d348384e":"Več kot ena vrsta boljšega","research-forge.b23977841c":"Protiprimeri","research-forge.b26aa65383":"Kaj zajema beseda preverjeno","research-forge.b2bc0c005f":"Preverjeno","research-forge.b30077250b":"potrdi zgodaj ali ohrani alternative","research-forge.b307b88c84":"Prenosljivost","research-forge.b3776d63ad":"Zaledja","research-forge.b39a168c1e":"Paket je zapisan enkrat in vsak rezultat na tej strani kaže nazaj na različico, ki ga je ustvarila.","research-forge.b3c0c45a3e":"Forge ločuje strukturno veljavnost, konkretno testiranje, omejeno izčrpno preverjanje, formalno preverjanje, neodvisno preverjanje in povezavo z izvedbo. Kandidat se premakne navzgor le, ko obstajajo dokazi za naslednjo stopnjo, stopnja, ki jo je dosegel, pa je del rezultata in ne okras na njem. Hiter iskalnik lahko zadrži testirane kandidate, medtem ko se dokaz še pridobiva. Neodvisno preverjanje je na svoji stopnji, saj sprašuje, ali se preverjevalnik, ki ni ustvaril dokaza, z njim strinja.","research-forge.b45b598d0c":"Ena identiteta grafa povezuje specifikacijo, dokaz, načrt in rezultat, ki se je vrnil.","research-forge.b462217ad5":"En vhod pokaže, da je vedenje napačno.","research-forge.b4dad06170":"Tehnične specifikacije","research-forge.b51ba796f2":"Začne se z","research-forge.b5338782b3":"Dimenzije, po katerih se kandidat razvršča, modelira ali meri","research-forge.b568d47f2e":"Vhod","research-forge.b5b0a8f813":"Koncentrične plasti od javnega raziskovalnega vprašanja prek ponovljivega protokola in objavljenega rezultata do zaščitene notranje metode","research-forge.b6272cdaf7":"Forge beleži identiteto specifikacije, pomembno poreklo kandidata, protiprimere, uporabljene ekvivalenčne relacije, ciljne vrednosti, prehode zagotovil in politiko izbire. Ta veriga pojasnjuje, zakaj izbrani program obstaja in katere alternative je izpodrinil, in je dovolj, da lahko nekdo drug rekonstruira trditev. Ponovitev ni treba ponoviti vsake raziskovalne veje, le dokaze, na katerih trditev temelji.","research-forge.b638127a16":"Omejeno popolno","research-forge.b66b54c1d8":"Kandidat kot objekt","research-forge.b6d2f4c9e8":"iskanje ne more razširiti tipskega sistema","research-forge.b70446abdf":"Zahteve so lahko v nasprotju. Niz primerov lahko dopušča nezdružljiva vedenja. Zahtevano jamstvo lahko leži zunaj semantike, ki jo predstavlja pogodba o preverjanju. Iskanje lahko doseže svojo napovedano mejo brez zaključka. Forge o vsakem od teh poroča ločeno, ker zahtevajo štiri različne odzive in štiri različne stroške za ukrepanje. Nasprotujoče klavzule se uskladijo, tekmovalna vedenja se ločijo z več dokazi, nerešeno iskanje se podaljša, jamstvo zunaj pogodbe pa se zabeleži kot tisto, ki ga ni mogoče utemeljiti, kot je navedeno.","research-forge.b71f6e67ce":"Preuči eno odločitev o izvedbi","research-forge.b74c664479":"Stanja zagotovil","research-forge.b78c6b0e99":"izpolnjevanje primerov in izpolnjevanje pogoja nista ista trditev","research-forge.b82b9b1043":"oblike so združene namerno","research-forge.b895ceb6b1":"neodgovor preprečuje lažno zaupanje","research-forge.b8f5629ab6":"stolpec obveznosti se med iteracijami nikoli ne skrči","research-forge.b97a1099a3":"Strojno preverljivo","research-forge.b9b15e5f94":"Trije dosjeji","research-forge.ba25b214d8":"vsak zahteva nekaj drugega","research-forge.ba3fef96ae":"Dokaz v petih delih","research-forge.babfc32160":"Vsaj eno vedenje hkrati izpolnjuje vsako klavzulo.","research-forge.bac127c5b7":"Nedominirano","research-forge.bb11a8e3f8":"Pravila","research-forge.bb2fe63e5a":"INPUT","research-forge.bb54db510a":"Sprejmi","research-forge.bb9cf14180":"Politika","research-forge.bb9d653f4e":"Izziv","research-forge.bbddd6ecdf":"Katere vmesne vrednosti obstajajo","research-forge.bc0b16aa7f":"Štirje preverjeni programi, prerazporejeni glede na lastnost, ki jo zahtevate, z uravnoteženo možnostjo, prikazano kot prednost tako kot druge","research-forge.bc6b9b38a3":"Koraki, ki pripadajo Dwevejevi raziskovalni metodi, so prikazani kot zaprti vozli z objavljenimi vhodi, izhodi in identiteto. Institucionalna transparentnost in raziskovalna zaupnost sta obravnavani kot dve lastnosti ene verige, ne kot nasprotji.","research-forge.bc7819b34f":"Neznano","research-forge.bcd3b8580e":"predmet nikoli ne spremeni kategorije","research-forge.bce0641417":"Iskanje","research-forge.bd163f2c2d":"Vsaka relacija nosi svoje stranske pogoje. Algebraično preoblikovanje, zmanjšanje moči, vektorizacija, fuzija, sprememba razporeditve in odstranitev premikov so dovoljeni le, kadar v tem poskusu veljajo pogoji aritmetike, širine, zaokroževanja, učinka in vrstnega reda.","research-forge.bd5d4d39fa":"Pravi","research-forge.bda89bbff3":"Sprememba primera, razširitev tipa, dovoljen učinek ali sprostitev numerične tolerance ustvari drugačen raziskovalni problem z drugačno identiteto. Prejšnji zagon ostane v zapisu pod svojim paketom, zato se dva rezultata nikoli ne bereta kot odgovora na isto vprašanje.","research-forge.bdfebc22bf":"Ciljni vektor","research-forge.be601df25e":"Raziskava","research-forge.beb1ed4753":"javni dokazi ob zaščiteni metodi","research-forge.bef833878c":"seznam primerov se med krogi nikoli ne skrajša","research-forge.bf55421b4a":"Zahtevano vedenje ni nekaj, kar preverjanje zajema.","research-forge.bff5c4dd05":"Zahtevaj","research-forge.business.actionCase":"Oglejte si institucionalni primer","research-forge.business.actionCooperate":"Razpravljajte o raziskovalnem sodelovanju","research-forge.business.banner.body1":"Dokazuje, da ena pot obstaja.","research-forge.business.banner.body2":"Ne dokazuje, da je pot najhitrejša, najmanjša, najbolj prenosljiva, najlažja za revizijo ali najbolj primerna za institucijo, ki jo mora upravljati.","research-forge.business.banner.eyebrow":"Problem prostora načrtovanja","research-forge.business.banner.firstDetail":"Iskanje je ugotovilo, da dovoljen kandidat obstaja.","research-forge.business.banner.firstLabel":"Ena zadovoljiva pot","research-forge.business.banner.firstStatus":"Veljavno v obsegu","research-forge.business.banner.footer":"Dweve Forge, odkrivanje preverjenih programov","research-forge.business.banner.frontierDetail":"Več pravilnih programov ostaja za različne ciljne profile.","research-forge.business.banner.frontierLabel":"Nedominirane alternative","research-forge.business.banner.frontierStatus":"Vidno","research-forge.business.banner.headline":"Pravilnost je začetek","research-forge.business.banner.headlineAccent":"ne končni odgovor","research-forge.business.banner.instrument":"Po pravilnosti","research-forge.business.banner.leftLabel":"Prvi veljavni kandidat","research-forge.business.banner.limitDetail":"Prvi rezultat ne pove ničesar o bližnjih kompromisih.","research-forge.business.banner.limitLabel":"Ni univerzalnega optimuma","research-forge.business.banner.limitStatus":"Nadaljujte z iskanjem","research-forge.business.banner.policyDetail":"Institucija navede, kateri kompromis je oblikoval izbiro.","research-forge.business.banner.policyLabel":"Zabeležena politika izbire","research-forge.business.banner.policyStatus":"Pregledno","research-forge.business.banner.rightLabel":"Meja odločanja","research-forge.business.banner.tag":"Primerjaj","research-forge.business.banner.verdict":"Ohranite alternative, dokler politika ni izrecna.","research-forge.business.banner.verdictLabel":"Pravilo odločanja","research-forge.business.close.body":"Prinesite domensko namero, formalne metode, merjenje strojne opreme ali neodvisen pregled. Forge zagotavlja skupni raziskovalni objekt za primerjavo odkrivanja programov, dokazovanja in izvajanja.","research-forge.business.close.label":"Dweve Forge, raziskovalno sodelovanje","research-forge.business.close.primary":"Razpravljajte o institucionalnem sodelovanju","research-forge.business.close.secondary":"Preglejte pogodbo o dokazih","research-forge.business.close.title":"Izpodbijajte eno odločitev.","research-forge.business.eyebrow":"Dweve Forge, odkrivanje preverjenih programov","research-forge.business.lede":"Dweve Forge je raziskovalni projekt, ki primere, omejitve in delne specifikacije spremeni v nadzorovano iskanje veljavnih programov, primerja nedominirane alternative in ohranja dokaze, ki podpirajo izbrani rezultat. Specifikacija ostaja trajna dobrina, medtem ko so možnosti implementacije dlje časa odprte.","research-forge.business.titleAccent":"dokler ne odloči dokaz","research-forge.business.titleLead":"Ohranite namero odprto","research-forge.businessGlyph.ambiguous":"Vedenje je še vedno dvoumno","research-forge.businessGlyph.assurance":"Zagotovilo imenovano","research-forge.businessGlyph.boundary":"Raziskovalni program, ne programska ponudba","research-forge.businessGlyph.candidateA":"Kandidat A","research-forge.businessGlyph.candidateB":"Kandidat B","research-forge.businessGlyph.candidateC":"Kandidat C","research-forge.businessGlyph.candidateD":"Kandidat D","research-forge.businessGlyph.counterexample":"Najden protiprimer","research-forge.businessGlyph.execution":"Načrt in rezultat povezana","research-forge.businessGlyph.fixed":"Določeno","research-forge.businessGlyph.kera":"Izvajanje Kera","research-forge.businessGlyph.lowLatency":"Najnižja zakasnitev","research-forge.businessGlyph.lowMovement":"Najmanj premikanja","research-forge.businessGlyph.policy":"Politika izbire","research-forge.businessGlyph.portability":"Najširša prenosljivost","research-forge.businessGlyph.research":"Raziskava","research-forge.businessGlyph.selected":"Izbrani graf","research-forge.businessGlyph.simpleProof":"Najpreprostejši dokaz","research-forge.businessGlyph.spec":"Obnašanje, meje in politika zagotavljanja","research-forge.businessGlyph.specFixed":"Specifikacija fiksirana","research-forge.businessGlyph.specLabel":"Nespremenljiva specifikacija","research-forge.businessGlyph.subtitle":"Preverjene alternative pred izvedbo","research-forge.businessGlyph.title":"Odlok o specifikaciji","research-forge.businessGlyph.tradeoffs":"Kompromisi vidni","research-forge.businessGlyph.visible":"Vidno","research-forge.businessHero.titleMiddle":"bolje","research-forge.businessHero.titleSuffix":"programska oprema","research-forge.c00cde6a62":"Končna deklarirana domena je bila pokrita brez napak.","research-forge.c023fe51a2":"Forge je na voljo prek Dwevejevega raziskovalnega partnerskega programa. Preizkusite omejena vprašanja o sintetiziranju programov in se dogovorite o pogojih vrednotenja pred dostopom. Rezultati ostajajo raziskovalni dokazi, ne obljuba izdelka.","research-forge.c040f6e04f":"meja je navedena z rezultatom","research-forge.c0caf528d8":"Večkriterijski strošek","research-forge.c10a6d0899":"Nasprotujoče si zahteve, odkrite med implementacijo, postanejo zamuda in predelava. Dvoumnost, odkrita po uvedbi, postane nedosledno obnašanje, ki ga mora nekdo uskladiti. Odkriti katero koli od njih, preden implementacija obstaja, je najcenejše mesto za odkritje.","research-forge.c12f928235":"Predaja grafa","research-forge.c144b00ba8":"Zakasnitev, prepustnost in kritična pot","research-forge.c174fa3158":"Meja se ne premakne, ko se politika spremeni","research-forge.c1929c45f3":"Iskanje lahko dokaže, da nič v deklariranem jeziku ne izpolnjuje zahteve, ne uspe odločiti vprašanja znotraj svojih teoretičnih in virskih omejitev, ali ugotovi, da dovoljuje več nezdružljivih obnašanj.","research-forge.c1fcd5ecff":"Morda je hitrejše. Morda je manjše. Morda je najbolj elegantna stvar, ki si jo je kdo zamislil za ta problem.","research-forge.c20d749a05":"KOMPROMISI VIDNI","research-forge.c2184a31d3":"Zahteva je stvar, ki jo je vredno ohraniti, implementacija pa je rezultat, ki ga je proizvedla.","research-forge.c297908b88":"Kandidata ne more promovirati kontrola, ampak le dokaz, da naslednja stopnja obstaja.","research-forge.c29cf0b245":"Kompromisi","research-forge.c2bb6fa0c5":"SPECIFIKACIJA NESPRENEMLJIVA","research-forge.c2ea17d5fe":"TRI POLJA","research-forge.c33ef52668":"zahteva ne","research-forge.c3451e6677":"Primeri prikazujejo pričakovano obnašanje na primerih, ki jih ljudje lahko preverijo. Logični pogoji opredeljujejo, kaj mora veljati onkraj teh primerov. Delna skica ohranja varnostno arhitekturo, vmesnik ali predpisani potek nadzora, medtem ko eno področje ostaja odprto za odkritja. Skupaj naredijo zahtevo dovolj natančno, da lahko stroj proti njej spodleti, kar je namen specifikacije. Vse, kar sme iskanje odločiti v vašem imenu, sodi v isti dokument.","research-forge.c36594e8f5":"minimalno znotraj deklariranega jezika","research-forge.c3be8bb127":"Kako hitro","research-forge.c3e4b59bd1":"Koliko podatkov program premakne","research-forge.c439038abe":"Ni pokrito","research-forge.c440d9bf36":"Iskanje ne more rešiti kandidata s spreminjanjem cilja.","research-forge.c4cc9c34bd":"En povratni cikel","research-forge.c533db2294":"preden vidite možnosti","research-forge.c554cb5d95":"Dweve Research, Nizozemska","research-forge.c60a3a3cff":"Preiščite podprto domeno za kršilni vnos.","research-forge.c648f0b37b":"Štirje razlogi, zakaj je odgovor ni programa","research-forge.c69925079f":"napačno na tem točno določenem primeru","research-forge.c6c9f7cd5c":"Pametna bližnjica","research-forge.c6d954c113":"Nič v deklariranem jeziku in predpostavkah ne izpolnjuje zahteve.","research-forge.c74dddd8a0":"Vnosi, ki odgovorijo na poznejše vprašanje, so bili zapisani, ko je bila odločitev sprejeta.","research-forge.c76a21c28e":"Zato je lahko znana identiteta sprejeta v natančnem celoštevilskem območju in zavrnjena v plavajočem območju znotraj istega grafa. Pogoj ostane pritrjen na relacijo, tako da ekstrakcija nikoli ne podeduje prepisa, do katerega ni bila upravičena.","research-forge.c7e00eda62":"trditev je minimalna znotraj tega jezika, pri tej meji","research-forge.c7f2c2e7d4":"Trije krogi","research-forge.c8050fa93f":"Dokazuje, da ena pot obstaja. To je resničen rezultat in ga je vredno imeti zgodaj, ker vam pove, da je zahtevo sploh mogoče izpolniti znotraj jezika, ki ste ga deklarirali.","research-forge.c82f0b5250":"križajoči par je kompromis, ne razvrstitev","research-forge.c855f0a33c":"Nepodprta teorija ustavi kandidata pri preizkušeno ali pri zunaj obsega, zapis pa pove, katero. Formalni rezultat lahko poimenuje semantični graf, medtem ko izdani artefakt še vedno čaka na svojo izvedbeno povezavo. Nobeno od teh stanj ni stisnjeno v eno značko.","research-forge.c932a404bb":"Preizkusite, izzovite in dokažite, kar dokazi podpirajo.","research-forge.c93e1581c7":"Tudi majhen problem lahko vsebuje milijone možnih programov. Forge pogleda v operacije in meje, ki jih eksperiment dovoljuje, različna iskalna obnašanja pa raziskujejo različne dele tega prostora. Kar nobeno od njih ne sme storiti, je olajšati problem: zahteva je zunaj iskanja in se ne premika.","research-forge.c940737ecf":"Forge, raziskovalni pogled","research-forge.c968557f4b":"Preverjen graf in dokazi za Kera","research-forge.c9bf3b001c":"najbolj dragocen rezultat","research-forge.c9d8f0eef6":"obrezati pred vrednotenjem","research-forge.ca032b5844":"Kaj počne","research-forge.ca046ad257":"Preberi raziskavo","research-forge.ca08ca46bd":"Lestvica zagotovil","research-forge.ca09c54bff":"Zmožnosti","research-forge.ca6d0e3aaa":"Stopnja","research-forge.ca7b181648":"Fiksni vrstni red","research-forge.cb3242398c":"Več programov ostane veljavnih","research-forge.cb3888722e":"Nobena stran ne prevzame trditve druge, identiteta grafa pa ohranja povezavo natančno.","research-forge.cb48a44ca9":"Tri ponovitve","research-forge.cb4ae000d8":"program ostane odprt","research-forge.cb5c0156c2":"Nosilec lastnih omejitev","research-forge.cbb9f1b292":"vsak pove nekaj drugega","research-forge.cbbe214a22":"Prinesi specifikacijo","research-forge.cc68ebf0f3":"Fronta zadrži kandidate, ki jih noben drug kandidat ne premaga na vseh aktivnih ciljih. Odstranitev člana zahteva razmerje dominance, ki ga je mogoče pokazati, ne preference, skrite v iskanju. To tehnično primerjavo spremeni v nekaj, kar lahko prebere revizijski odbor: vsak član izpolnjuje isto pogodbo in se razlikuje le po ceni.","research-forge.ccfd13401b":"Pripni problem","research-forge.cd27068c9e":"Trajno sredstvo","research-forge.cd3d5a59f1":"Deterministično izvajanje","research-forge.cdaa0de1dc":"Delitev skupnih podizrazov","research-forge.cdbed7e540":"Iskalni jezik","research-forge.cde215073a":"vsi štirje izpolnjujejo isto pogodbo","research-forge.cdf33799d9":"Zapis povezave izvajanja","research-forge.ce3b4e045e":"preden postane trajno","research-forge.ce9e850988":"iskanje poroča o razhajanju, namesto da bi izbralo enega od njih","research-forge.cec4b662d3":"Delni program","research-forge.cecae09ffe":"Stroj najde kandidata.","research-forge.cf5ed047cf":"Vrednosti ciljev in položaj na fronti.","research-forge.cf61965045":"dejstva, znana pred kakršno koli oceno","research-forge.cf88038e56":"Ni dokončno","research-forge.cf9b77061f":"Odprto","research-forge.consumer.banner.bodyOne":"Kandidat je lahko hitrejši, manjši ali lažje izvedljiv.","research-forge.consumer.banner.bodyTwo":"Če krši specifikacijo, to ni optimizacija tega programa.","research-forge.consumer.banner.checkDetail":"Zahtevaj raven dokazov, ki jo določa poskus.","research-forge.consumer.banner.checkLabel":"Preveri pravilnost","research-forge.consumer.banner.checkStatus":"Vrata","research-forge.consumer.banner.compareDetail":"V razpravo o kompromisih vstopijo le sprejemljivi kandidati.","research-forge.consumer.banner.compareLabel":"Primerjaj stroške","research-forge.consumer.banner.compareStatus":"Nato primerjaj","research-forge.consumer.banner.eyebrow":"Nepremostljiva meja","research-forge.consumer.banner.findDetail":"Razišči različne dovoljene strukture programov.","research-forge.consumer.banner.findLabel":"Najdi kandidate","research-forge.consumer.banner.findStatus":"Iskanje","research-forge.consumer.banner.footer":"Dweve Forge, preverjeno odkrivanje programov","research-forge.consumer.banner.instrumentTag":"Fiksno","research-forge.consumer.banner.instrumentTitle":"Vrstni red","research-forge.consumer.banner.stateDetail":"Zapiši rezultat in njegove meje pred iskanjem.","research-forge.consumer.banner.stateLabel":"Določi obnašanje","research-forge.consumer.banner.stateStatus":"Fiksno","research-forge.consumer.banner.titleAccent":"če spremeni odgovor","research-forge.consumer.banner.titleLead":"Pametna bližnjica je neuporabna","research-forge.consumer.banner.verdictLabel":"Pravilo","research-forge.consumer.banner.verdictValue":"Pravilnost prinese vstop v razpravo o kompromisih.","research-forge.consumer.close.body":"Javno gradivo Forge pojasnjuje specifikacijo, odkrite alternative, protiprimere in kaj lahko raziskava dejansko dokaže. Forge je aktivna notranja raziskava, brez preskusne programske opreme, javnega paketa ali odprtokodnega prenosa.","research-forge.consumer.close.eyebrow":"Dweve Forge, preverjeno odkrivanje programov","research-forge.consumer.close.primary":"Razišči raziskave Dweve","research-forge.consumer.close.secondary":"Vrni se k poskusu","research-forge.consumer.close.title":"Sledi iskanju od namere do dokazov.","research-forge.consumer.counterexample.body":"Kandidat lahko deluje na vseh danih primerih in vseeno odpove drugje. Forge ga lahko izzove s konkretnim vhodom, ki razkrije razliko. Ta vhod postane protiprimer.","research-forge.consumer.counterexample.eyebrow":"Neuspeh kot koristen dokaz","research-forge.consumer.counterexample.footer":"Prehod mnogih primerov še ne pomeni, da je bil program dokazano pravilen.","research-forge.consumer.counterexample.pillFailure":"Konkreten neuspeh","research-forge.consumer.counterexample.pillPermanent":"Stalni primer","research-forge.consumer.counterexample.pillRetry":"Poišči znova","research-forge.consumer.counterexample.secondaryLeft":"Neuspešni primer se pridruži stalnim dokazom. Naslednji kandidat mora izpolnjevati tako prejšnje primere kot novo mejo.","research-forge.consumer.counterexample.secondaryLeftLabel":"Kandidat se spremeni","research-forge.consumer.counterexample.secondaryRight":"Napaka lahko razkrije tudi dvoumnost ali protislovje v zahtevi. Pojasnitev namena ustvari novo specifikacijo in ohrani prejšnji rezultat viden.","research-forge.consumer.counterexample.secondaryRightLabel":"Namen se lahko spremeni","research-forge.consumer.counterexample.sideChallengeDetail":"Poglej dlje od prijaznih primerov.","research-forge.consumer.counterexample.sideChallengeLabel":"Izziv","research-forge.consumer.counterexample.sideFooter":"Napaka zoži iskanje in pojasni človeško zahtevo.","research-forge.consumer.counterexample.sideMetaLabel":"Smer","research-forge.consumer.counterexample.sideMetaValue":"Vsak krog strožje","research-forge.consumer.counterexample.sideProposeDetail":"Poišči kandidata, ki ustreza znanim primerom.","research-forge.consumer.counterexample.sideProposeLabel":"Predlagaj","research-forge.consumer.counterexample.sideRememberDetail":"Dodaj konkretno napako k dokazom.","research-forge.consumer.counterexample.sideRememberLabel":"Zapomni si","research-forge.consumer.counterexample.sideRetryDetail":"Poišči kandidata, ki preživi močnejši nabor.","research-forge.consumer.counterexample.sideRetryLabel":"Poskusi znova","research-forge.consumer.counterexample.sideStatus":"Zanka","research-forge.consumer.counterexample.sideSubtitle":"Kako šibek kandidat izostri vprašanje","research-forge.consumer.counterexample.sideTitle":"Ena zanka s protiprimerom","research-forge.consumer.counterexample.titleAccent":"narobe na tem točnem primeru","research-forge.consumer.counterexample.titleLead":"Ni preprosto narobe","research-forge.consumer.counterexample.visualFooter":"Naslednji kandidat mora biti boljši, ne da bi oslabil zahtevo.","research-forge.consumer.counterexample.visualMeta":"Ilustrativni primer","research-forge.consumer.counterexample.visualStatus":"Protiprimer najden","research-forge.consumer.counterexample.visualSubtitle":"Trije kandidati izpolnjujejo vedno strožjo mejo","research-forge.consumer.counterexample.visualTitle":"Neuspešni primer postane trajna obveznost","research-forge.consumer.glyph.evidence.counterexample":"Napaka zabeležena","research-forge.consumer.glyph.evidence.examples":"Primeri prestani","research-forge.consumer.glyph.evidence.execution":"Izvajanje povezano","research-forge.consumer.glyph.evidence.proof":"Relacija dokazana","research-forge.consumer.glyph.footer":"Stroj morda ne vrne nobenega programa.","research-forge.consumer.glyph.header.detail":"Zahteva ostane nespremenjena, poti se spreminjajo.","research-forge.consumer.glyph.header.state":"Raziskava aktivna","research-forge.consumer.glyph.header.title":"Eksperiment odkrivanja programov","research-forge.consumer.glyph.path.a.label":"Ne uspe na robnem primeru","research-forge.consumer.glyph.path.a.state":"Zavrnjeno","research-forge.consumer.glyph.path.b.label":"Pravilno, višji strošek","research-forge.consumer.glyph.path.b.state":"Ohrani","research-forge.consumer.glyph.path.c.label":"Pravilno, drugačen kompromis","research-forge.consumer.glyph.path.c.state":"Dokazano","research-forge.consumer.glyph.request.detail":"Primeri, pravila in delni program določajo mejo iskanja.","research-forge.consumer.glyph.request.label":"Pretvori vsak podprti vnos in ohrani navedeno omejitev.","research-forge.consumer.hero.eyebrow":"Dweve Forge, preverjeno odkrivanje programov","research-forge.consumer.hero.lede":"Dweve Forge je raziskovalni projekt, ki išče programe, ki izpolnjujejo primere, omejitve ali delne specifikacije, izboljšuje veljavne kandidate glede na izrecne cilje in beleži dokaze, ki podpirajo vsak rezultat.","research-forge.consumer.hero.ledgerLabel":"Raziskovalna opomba","research-forge.consumer.hero.ledgerPill":"Aktivno","research-forge.consumer.hero.ledgerPurpose":"Namen","research-forge.consumer.hero.ledgerPurposeValue":"Odkrij, primerjaj in preveri programe","research-forge.consumer.hero.ledgerStatus":"Status","research-forge.consumer.hero.ledgerStatusValue":"Aktivna notranja raziskava","research-forge.consumer.hero.primary":"Spremljaj en odkrit program","research-forge.consumer.hero.secondary":"Poglej, kaj pomeni preverjeno","research-forge.consumer.hero.titleAccent":"Pusti stroju, da išče kako.","research-forge.consumer.hero.titleLead":"Opiši, kaj naj se zgodi.","research-forge.consumer.intent.body":"Raziskava Forge se začne s primeri, pravili ali delno napisanim programom. Primeri prikazujejo posebne primere. Pravila določajo, kaj mora ostati resnično na splošno. Delni program ohranja odločitve, ki jih ne bi smeli prepustiti iskanju.","research-forge.consumer.intent.eyebrow":"Izhodišče","research-forge.consumer.intent.footer":"Ko je vedenje jasno, lahko stroj išče številne možne načine, kako ga ustvariti.","research-forge.consumer.intent.pillExamples":"Primeri","research-forge.consumer.intent.pillRules":"Pravila","research-forge.consumer.intent.pillSketch":"Delni program","research-forge.consumer.intent.secondaryLeft":"Navodilo lahko zahteva kodo in prejme nekaj verjetnega. Samo po sebi ne opredeljuje popolnega standarda, glede na katerega bi koda lahko ne uspela.","research-forge.consumer.intent.secondaryLeftLabel":"Navodilo","research-forge.consumer.intent.secondaryRight":"Specifikacija določa obnašanje, meje in dovoljene izbire. Sprememba ustvari drugačen raziskovalni problem, namesto da bi rešila šibkega kandidata.","research-forge.consumer.intent.secondaryRightLabel":"Specifikacija","research-forge.consumer.intent.sideExamplesDetail":"Za ta vhod ustvari ta izhod.","research-forge.consumer.intent.sideExamplesLabel":"Primeri","research-forge.consumer.intent.sideFooter":"Zahteva je na prvem mestu; izvedba ostaja odprta.","research-forge.consumer.intent.sideMetaLabel":"Fiksirano med iskanjem","research-forge.consumer.intent.sideMetaValue":"Obnašanje in obseg","research-forge.consumer.intent.sideRulesDetail":"Za vsak podprti vhod ohrani to lastnost.","research-forge.consumer.intent.sideRulesLabel":"Pravila","research-forge.consumer.intent.sideSketchDetail":"Ohrani to strukturo in odkrij manjkajoči del.","research-forge.consumer.intent.sideSketchLabel":"Skica","research-forge.consumer.intent.sideStatus":"Začetek","research-forge.consumer.intent.sideSubtitle":"Vsaka zagotavlja drugačno vrsto meje","research-forge.consumer.intent.sideTitle":"Trije načini izražanja namere","research-forge.consumer.intent.titleAccent":"pred izbiro izvedbe","research-forge.consumer.intent.titleLead":"Opiši obnašanje","research-forge.consumer.intent.visualFooter":"Program spreminja obliko. Zahteva se ne.","research-forge.consumer.intent.visualMeta":"Ilustrativna pot","research-forge.consumer.intent.visualStatus":"Raziskava aktivna","research-forge.consumer.intent.visualSubtitle":"Ilustrativni javni pogled na eksperiment odkrivanja programov","research-forge.consumer.intent.visualTitle":"Ena zahteva, več kandidatnih poti","research-forge.consumer.proof.body":"Formalen rezultat lahko dokaže, da program izpolnjuje navedeno lastnost za podprte vhode in semantiko. Ne dokaže, da je bila zahteva modra, popolna ali primerna za vsako resnično okolje.","research-forge.consumer.proof.eyebrow":"Kaj naj značka sporoča","research-forge.consumer.proof.footer":"Včasih je najmočnejši iskren rezultat ta, da stroj ne more ustvariti programa.","research-forge.consumer.proof.pillAssumptions":"Predpostavke vidne","research-forge.consumer.proof.pillLimits":"Meje vidne","research-forge.consumer.proof.pillScoped":"Omejeno","research-forge.consumer.proof.secondaryLeft":"Program, lastnost, predpostavke in dokazi ostanejo skupaj. Če se program spremeni, se spremeni tudi vezava dokaza.","research-forge.consumer.proof.secondaryLeftLabel":"Trditev","research-forge.consumer.proof.secondaryRight":"Forge je aktivna, nedokončana interna raziskava. Ni izdelek, javna storitev sinteze ali prenos odprtokodne programske opreme.","research-forge.consumer.proof.secondaryRightLabel":"Raziskovalna meja","research-forge.consumer.proof.sideAssumptionsDetail":"Vhodi in okolje, ki jih zajema trditev.","research-forge.consumer.proof.sideAssumptionsLabel":"Predpostavke","research-forge.consumer.proof.sideFooter":"Dokaz krepi natančno trditev, ne nejasne obljube.","research-forge.consumer.proof.sideLimitsDetail":"Česa rezultat ne ugotavlja.","research-forge.consumer.proof.sideLimitsLabel":"Meje","research-forge.consumer.proof.sideMetaLabel":"Najmočnejše iskreno stanje","research-forge.consumer.proof.sideMetaValue":"Poimenovano, nikoli namigovano","research-forge.consumer.proof.sideProgramDetail":"Natančen kandidat, ki se preverja.","research-forge.consumer.proof.sideProgramLabel":"Program","research-forge.consumer.proof.sidePropertyDetail":"Obnašanje, ki se trdi.","research-forge.consumer.proof.sidePropertyLabel":"Lastnost","research-forge.consumer.proof.sideStatus":"Dokaz","research-forge.consumer.proof.sideSubtitle":"Štirje deli, ki morajo ostati skupaj","research-forge.consumer.proof.sideTitle":"Izjava o dokazu","research-forge.consumer.proof.titleAccent":"ni pravilen v vsakem možnem svetu","research-forge.consumer.proof.titleLead":"Preverjeno pod temi pravili","research-forge.consumer.proof.visualFooter":"Neznano, nemogoče, dvoumno in izven obsega ostajajo veljavni raziskovalni izidi.","research-forge.consumer.proof.visualMeta":"Ilustrativni dokazi","research-forge.consumer.proof.visualStatus":"Obseg viden","research-forge.consumer.proof.visualSubtitle":"Testiranje, omejena preverjanja, formalni dokaz in povezava z izvajanjem so različni rezultati","research-forge.consumer.proof.visualTitle":"Lestvica zagotovil ohranja stopnje ločene","research-forge.consumerHero.titleSuffix":"iskanje boljših poti","research-forge.d02603176f":"Univerzalno","research-forge.d092bf9ea1":"Razišči raziskavo","research-forge.d0f4e7e15e":"graf jih ohranja natančne","research-forge.d105692d52":"Graf izbranih kandidatov","research-forge.d1a475961a":"Omejeno popolno iskanje lahko najde najmanjši izraz v ozkem jeziku. Vodenje s protiprimeri ponavadi najde robustne strukturirane programe. Iskanje z omejitvami rešuje težavna bitna področja. Raziskovalno iskanje doseže nenavadne implementacije.","research-forge.d1b06384eb":"Primeri, pravila ali delno napisan program.","research-forge.d1ed30ebcf":"Fiksna meja","research-forge.d1f8a8cdec":"Združitev je le tako močna kot test, ki jo je upravičil.","research-forge.d1f8e5ea93":"Izbor","research-forge.d2089fb287":"Usmerjanje teorije","research-forge.d2316c0df0":"Šest vnosov","research-forge.d23276442b":"Problem prostora oblikovanja","research-forge.d23c4c8d4e":"En stavek, tri uporabne oblike","research-forge.d255672f1b":"in izostri zahtevo","research-forge.d286c609a6":"Različica specifikacije","research-forge.d2b02aa6ad":"zapis zavezuje obe strani","research-forge.d2bad80400":"Preprosta zahteva, ki se razdeli na primere, pravilo in osnutek, poleg odgovora, napisanega neposredno iz stavka, ki nima ničesar, kar bi ga preverjalo","research-forge.d2d0b16b22":"Odstrani strukturne podvojitve in opažene podvojitve.","research-forge.d2d43bec88":"Ciljni zaledni sistemi (obseg vrednotenja)","research-forge.d35260a00f":"Cilji","research-forge.d362822809":"Kam prinesti problem","research-forge.d36f29cacf":"Uskladi","research-forge.d3d6314184":"Vsak kandidat je črta čez vsako os, ne točka na eni.","research-forge.d3dee74f70":"Formalni rezultat in ločeno preverjanje, kjer je na voljo.","research-forge.d3ec6e1bad":"Semantični objekt, ki ga Kera prejme, z njegovimi obveznostmi.","research-forge.d4621d18f0":"z določeno mejo","research-forge.d4a74b503a":"Preberi dokumentacijo","research-forge.d4ccefcb5e":"nobeden od štirih ne konča tako, da proizvede nekaj verjetnega","research-forge.d50b109f99":"Več izpeljav ostane živih hkrati, končna izbira pa počaka na objektivne dokaze.","research-forge.d51fb63a04":"vsak rezultat kaže nazaj nanj","research-forge.d5383ea7af":"Zabeleženo","research-forge.d5dc89d194":"Za podprte pogodbe Kera čisto izvajanje brez semena ponovi bite identično, vključno s pokritimi družinami plavajoče vejice. Ko program namerno porablja naključno stanje, je to stanje deklariran vhod in njegova ponovna uporaba reproducira celotno izvajanje.","research-forge.d5ec4f1c39":"Zakaj ta program obstaja","research-forge.d5f412e831":"Kera","research-forge.d659989a95":"Forge išče jezik tipiziranih računskih operacij. Vhodi, izhodi, oblike, številske družine, učinki, zmogljivosti, lastništvo in ciljne omejitve določajo, katere kompozicije so zakonite, zato so neveljavni programi izključeni strukturno in ne generirani ter popravljeni po vrednotenju. Jezik je izbran s paketom in zaprt za izvajanje.","research-forge.d66c44dfdf":"Nemogoče","research-forge.d6a6f2deb1":"Kaj zanka naredi","research-forge.d71df112ac":"Kaj iskanje sme narediti","research-forge.d769ded7e8":"Kandidat","research-forge.d79c0b71d1":"čigar prvi pravilen program ni dovolj","research-forge.d7e5b39755":"Dvoumnost postane vidna, preden postane koda. Dva kandidata lahko zadovoljita vse navedene primere in se še vedno ne strinjata glede vhoda, ki ga nihče ni zapisal. Forge poroča o tem nesoglasju in zahteva dodatno zahtevo, namesto da bi tiho izbral eno vedenje.","research-forge.d7e94eb0fb":"Vsaka organizacija se zanaša na majhne, kritične dele kode. Forge sprašuje, ali lahko iskanje po sintezi programov predlaga kandidatne implementacije pod deklarirano specifikacijo in načrtom merjenja. Poročilo za leto 2025 dokumentira eksperiment, ne pripravljenosti za produkcijo; nobena objavljena primerjalna analiza ne vzpostavlja optimalne ali najhitrejše različice.","research-forge.d835dab5b4":"točen celoštevilski","research-forge.d90c9bd5a7":"velikost od 2 do 4","research-forge.d9f6acb036":"ekstrakcija se zgodi nazadnje","research-forge.da09c06014":"Forge začne z vedenjsko pogodbo, ki se ne premika. Iskanje lahko predlaga na tisoče implementacij, primeri, protiprimeri in formalna vprašanja pa odločijo, katere ostanejo. Rezultat je tipiziran programski kandidat z izpeljavo, objektivnim vektorjem in navedeno stopnjo zagotovila.","research-forge.da7a712c59":"Kaj mora program narediti","research-forge.daec3d5393":"Protiprimeri, dokazi in prehodi zagotovil.","research-forge.db1c784524":"Referenca","research-forge.dc131e9db4":"Kaj paket določa","research-forge.dc16ac61b4":"ena os ne more razvrstiti fronte","research-forge.dc5b5aba63":"zaostri zahtevo","research-forge.dcd69b02b3":"Specifikacija je skladna","research-forge.dd00b8f82f":"Poimenovano zagotovilo","research-forge.dd3c9b9d09":"Ne popravljaj vrstnega reda prepisovanja","research-forge.dd3e8f4841":"Testi določajo vedenje na primerih, ki so bili izvedeni. Izčrpno omejeno preverjanje pokriva deklarirano končno domeno. Formalno preverjanje dokazuje kodirano relacijo pod navedenimi predpostavkami. Povezava izvajanja veže rezultat na graf in načrt, ki sta dejansko tekla. Forge poroča, katerega od teh je kandidat dosegel, ker je odločitev na napačnem temelju odločitev na napačnih dokazih. Na tej lestvici je pet stopenj in kandidat ima hkrati natanko eno od njih.","research-forge.de135d6b61":"čisto območje","research-forge.de56d45fd4":"in česar se ne sme dotikati","research-forge.de9e9925af":"deli, ki morajo ostati skupaj","research-forge.dfda3a3599":"Pregledno","research-forge.e0078f1adb":"Ne sme dodati dostopa do datotek ali omrežja, ki ni bil nikoli dovoljen. Ne sme spremeniti vrste števila, ki ga uporablja odgovor. Ne sme omiliti zahteve, ker jo je obetaven kandidat skoraj izpolnil.","research-forge.e03608577a":"Pregled meja","research-forge.e048b8a355":"Kako se zagotovila sestavljajo skozi optimizacijo in načrtovanje.","research-forge.e15760689d":"Izboljšaj","research-forge.e192f8980b":"Statični modeli razvrstijo kandidate, preden se karkoli izvede. Kalibrirani ciljni profili izostrijo te ocene. Izmerjene izvedbe jih potrdijo ali popravijo. Vsaka ostane označena, tako da se predvidena zakasnitev nikoli ne prikaže na mestu, kjer bi bila izmerjena.","research-forge.e24f8562eb":"izvedba postane rezultat","research-forge.e29a79fe0c":"Pregled","research-forge.e2f9cea1dd":"kaj vsaka oblika določa in česa ne","research-forge.e31ae17fe2":"Kaj pusti odprtega","research-forge.e340683de2":"Navedeni konkretni primeri so uspeli.","research-forge.e341bf4b5e":"Popolnost pripada navedenemu prostoru in poročilo navaja, kateri prostor je to bil.","research-forge.e380a981e1":"Dve inženirski zaporedji","research-forge.e3a3474f57":"Enakovredne izvorne nize lahko opisujejo isti izračun, podobno videti izvorna koda pa lahko skriva različne učinke. Delo na grafu naredi strukturno deljenje, primerjavo kandidatov, vezavo dokazov in izvor natančne, namesto da bi se to sklepalo iz besedila po vsaki transformaciji.","research-forge.e3aa756f4f":"Trije pogledi","research-forge.e3f3e0b2d5":"Neodgovor z razlogom je odločitev, na katero lahko organizacija ukrepa že danes.","research-forge.e3f4660921":"Ko iskanje obdrži več pravilnih programov, mora nekdo povedati, kateri kompromis je pomemben. To je odločitev in Forge jo zabeleži kot tako, skupaj s programi, ki jih ni izbral, in razlogom, zakaj je vsakega preskočil.","research-forge.e40786cd04":"graf je poimenovan, ne izvorna koda","research-forge.e43a425d4c":"En neuspešen primer","research-forge.e4709d4a03":"Nekaj v navedenem jeziku izpolnjuje zahtevo.","research-forge.e4ec169f06":"Tri iteracije, ena zahteva, ki postaja ostrejša","research-forge.e5a5debd01":"in usmerja naslednjo naložbo","research-forge.e5e6eefa7c":"vsak lahko imenuje drugega najboljšega kandidata","research-forge.e5fa3a8592":"Dodajte dokaze, ki ločijo konkurenčna vedenja.","research-forge.e6737991ff":"Iskanje kandidatov","research-forge.e6c167fd27":"ČLAN","research-forge.e6f72dbc9e":"Dobro oblikovano skozi izvedbo povezano se nikoli ne zlije.","research-forge.e70fb2879c":"ki spremeni odgovor","research-forge.e713d42aa6":"PREDMET","research-forge.e73791d2ee":"Zapis je zasnovan tako, da ga prebere nekdo, ki ni bil prisoten. Navaja različico specifikacije namesto veje, graf kandidatov namesto datoteke in relacijo dominance namesto preference, tako da lahko pregledovalec vpraša, zakaj ne kandidat B, in dobi odgovor.","research-forge.e78c82b9d8":"Prostor enakovrednih programov","research-forge.e792eed957":"Naštej po vrsti in velikosti","research-forge.e79545edad":"Forge lahko najde program, najde več programov, najde protiprimer, ki enega konča, ali ugotovi, da v dovoljenem prostoru nič ne deluje. Karkoli od tega se lahko zgodi v enem samem zagonu.","research-forge.e7c6bfda5f":"Primeri, omejitve in skice","research-forge.e7eaf3097f":"NERAZSODENO","research-forge.e83744eb1b":"En graf skozi sklad Dweve","research-forge.e89c5a1fe5":"Zahtevajte predstavitev","research-forge.e8c9206319":"Navedete vedenje","research-forge.e93a01e74c":"Vhodi in izhodi","research-forge.e9a46a96e9":"Dvoumen","research-forge.e9c366b4f3":"Zahteva","research-forge.e9e1bb076f":"Dokaz, graf, načrt in identiteta rezultata so povezani.","research-forge.ea2f183ae8":"Neuspeh, ki imenuje točen vhod, nauči iskanje več kot neuspeh, ki imenuje oceno.","research-forge.ea66222972":"Določite vedenje, jezik kandidatov, vektor ciljev in dokaze, ki jih potrebujete. Forge lahko to spremeni v nadzorovan poskus iskanja, primerjave in preverjanja.","research-forge.ea66d3cd71":"Formalno preverjeno","research-forge.eae192773b":"Ustvaril","research-forge.eb01bf04c9":"Primeri","research-forge.eb5d2f4a58":"JIT","research-forge.eb65476556":"zavrnitev pred vrednotenjem ne stane nič","research-forge.eb86bd10d0":"Preizkusite in formalno poizvedujte po preživelih.","research-forge.ebc93602b0":"Program raziskovalnega partnerstva","research-forge.ebd1b8a0ed":"Pravilnost in stroški ostajata ločena","research-forge.ebf002ed26":"Kaj mora vsak dovoljeni vhod proizvesti ali ohraniti?","research-forge.ec00edb305":"Status meritve","research-forge.ec80d62108":"Tridimenzionalni graf kompromisov s pobledelimi dominiranimi kandidati, izbirnik politik, ki izbere enega nedominiranega člana, in kontrola, ki doda cilj in ponovno nariše mejo","research-forge.ec8c6779f3":"Izpeljava","research-forge.eca98aa4dd":"Stalna invarianta","research-forge.ecc4622e4a":"Namen kot sredstvo","research-forge.eccd8c22c7":"Primeri","research-forge.ed03c68d9c":"Delno","research-forge.ed625e27bc":"odgovor se prebere iz zapisa, ne zgradi iz njega","research-forge.ed834ee730":"Dva programa, vsak primer, eno nestrinjanje","research-forge.ed868fa2d4":"Kaj en odgovor določa","research-forge.edd8fb596d":"Kaj organizacija želi","research-forge.ee531c138e":"ena identiteta skozi življenjski cikel","research-forge.ee6e0d9004":"kaj vrne Kera","research-forge.eebc8ec4db":"Največji delovni nabor","research-forge.eebfc58277":"Običajno obstaja več kot en dober odgovor in povedati, katerega ste izbrali, je del odgovora.","research-forge.ef4e3a4971":"Kaj se še lahko razlikuje","research-forge.ef73fdd1c8":"Štirje primeri","research-forge.f04208c0f4":"zunanje tri obroče je mogoče preučiti brez odpiranja najbolj notranjega","research-forge.f061352d1c":"Družina, širina, zaokrožitev in veljavna napaka.","research-forge.f0aa98e438":"Problem je najprej zapisan","research-forge.f128a0033d":"Forge primerja veljavne kandidate glede na število operacij, kritično pot, pomnilniški promet, delovni nabor, pritisk na registre, velikost kode, ocenjeno energijo, prenosljivost, zahtevnost dokaza in ustreznost cilju. Kateri od teh so aktivni, pripada paketu poskusa in je izbrano pred merjenjem katerega koli kandidata, zato primerjave ni mogoče prilagajati po tem, ko so rezultati znani.","research-forge.f1513553a0":"Pet kandidatov, ki izvajajo isto specifikacijo, vsak z drugačno strukturno silhueto in ciljnim trakom, pri čemer je prvi odkriti kandidat označen kot prevladan","research-forge.f19a088441":"Polje oblik kandidatnih programov v treh stanjih okoli fiksnega okvira zahteve v središču, ki nikoli ne spremeni velikosti","research-forge.f1e6269a35":"Kandidat Forge je tipiziran semantični graf. Njegova vozlišča ohranjajo operacije, odvisnosti, vrednosti, učinke, lastništvo in numerične obveznosti, iskanje pa dodaja, odstranjuje in ponovno povezuje regije, medtem ko vmesnik ostaja dobro oblikovan. Sintaksa izvorne kode je en pogled na ta objekt in ne njegova identiteta, zato se lahko dokaz nanjo veže in preživi spremembo zapisa.","research-forge.f21eba9d4c":"Obnašanje, ki se o njem trdi.","research-forge.f2b83c0462":"Preglej izhod kandidata","research-forge.f3263fc33a":"Kateri vhodi, učinki in okolja so v obsegu?","research-forge.f33b37791c":"ena fiksna zahteva","research-forge.f34faaf18c":"Kaj ostane fiksno za zagon","research-forge.f3717fe94b":"Trije združitve, en tipiziran jezik","research-forge.f3b8596ff9":"Skice","research-forge.f3e0a2c003":"Operacija, prehod stanja in vsak učinek, ki ga sme imeti.","research-forge.f44f712120":"metoda ostaja raziskovalna","research-forge.f4b90ff6c9":"enumerativno, CEGIS, GP, MCTS","research-forge.f4c0773264":"Tipi, učinki, lastništvo in vmesniki so veljavni.","research-forge.f5330c10d4":"Dva sistema, en objekt","research-forge.f539273fc2":"Opravil je navedene konkretne primere.","research-forge.f53a569905":"Institucionalni problem","research-forge.f591672335":"od konca do konca","research-forge.f5def394f5":"Natančen kandidat, ki je bil preverjen.","research-forge.f61f151c35":"Opiši, kaj se zgodi","research-forge.f6c1c2d45c":"izbrani kandidat ohrani politiko, ki ga je izbrala","research-forge.f6fbfa37a0":"Omejen učinek","research-forge.f7313a2c50":"Večina sistemov, ki pišejo kodo, mora na verjeten način nadaljevati besedilo. Forge mora zadovoljiti opis tega, kaj mora program narediti. Išče implementacije, zavrne tiste, ki ne uspejo na določenem vhodu, primerja tiste, ki preživijo, in natančno navede, kako močno je bil rezultat preverjen.","research-forge.f740162265":"Primerljivo","research-forge.f793bcd5e3":"Izbrano s trenutno politiko","research-forge.f7bce3aeb0":"Tri vrste enakosti","research-forge.f7fcfa132e":"Preverjeno vedno pomeni preverjeno glede na nekaj navedenega.","research-forge.f85d540ea4":"Prav tako ne uspejo drugače. Kandidat lahko opravi vse navedene primere in še vedno krši kvantificirani pogoj, ki naj bi ga primeri ponazarjali. Zapis imenuje to razliko, zato opravljen testni niz kasneje ni nikoli prebran kot dokaz.","research-forge.f8ad81d4ed":"Dva programa lahko opravljata popolnoma isto delo in je z njima še vedno drugače živeti. Eden konča prej. Eden premakne manj podatkov. Eden deluje na več vrstah strojev. Eden je preprosto lažje preveriti. Izboljšanje katerega koli od teh običajno nekaj stane pri drugem, zato Forge ohrani dobre, namesto da bi razglasil enega samega zmagovalca.","research-forge.f915e592e0":"Dovolj določeno, da se jasno navede: nespremenljiva specifikacija, en tipiziran nabor kandidatov, ki ga hrani več vedenj iskanja, protiprimeri kot trajne obveznosti, meja namesto skrite ocene, imenovane stopnje zagotovila in identiteta grafa, ki preživi predajo Kera.","research-forge.f91cf3695e":"kaj zapusti Forge in kaj Kera vrne","research-forge.f942052ae1":"Prvi pravilen program","research-forge.f95d9699ab":"ne definicija najboljšega","research-forge.f9743247fa":"Preberi dokumentacijo","research-forge.f97f6d5c34":"Vrsta števila v odgovoru","research-forge.f9917655d9":"Preverjeni in zavrnjeni kandidati, ki so bili pomembni.","research-forge.f9d589b5e4":"Oznaka imenuje stopnjo, zapis ob njej pa imenuje obseg, ki ga stopnja pokriva.","research-forge.fa6b511877":"Se ne sme spremeniti","research-forge.fa7f633b0c":"Trije dosjeji kandidatov, ustavljeni na različnih stopnjah zagotovila, vsak odpira dokaze za svojo oznako, pri čemer je napredovanje prikazano kot nedostopno brez dokazov","research-forge.fa8d0afff2":"in upodobi izvorno kodo na robu","research-forge.fb588797f2":" programska oprema, ki piše","research-forge.fba63933d7":"dokazovanje vzpostavlja obnašanje","research-forge.fbe8d4180f":"Eno seme, veliko oblik","research-forge.fc5fed48be":"Poišči graf","research-forge.fc7583ec76":"Nespremenljiva specifikacija","research-forge.fca77b7e3a":"Na prvi pogled","research-forge.fca8a06b17":"Forge zabeleži, katera vrsta enakosti je upravičila vsako združitev, zato poceni deduplikacija med iskanjem kasneje ni nikoli prebrana kot semantični rezultat.","research-forge.fd2145e1f8":"Vrstni red, ki se nikoli ne spremeni","research-forge.fd9cfb5232":"Več vedenj iskanja proizvede eno vrsto tipiziranega kandidata.","research-forge.fdd0dfedc0":"Štiri stvari držijo","research-forge.fe03c35158":"Semantika","research-forge.fe0863e1b3":"Pet stopenj zagotovila","research-forge.fe08eef5c7":"Koraki, ki pripadajo Dweveovi notranji metodi, se v verigi pojavijo kot zaprti vozli. Vsak od njih objavi svoje vhode, izhode in svojo identiteto, tako da veriga ostane povezana, medtem ko strategija v njej ostane del raziskave.","research-forge.fe17f86199":"Prostor oblikovanja","research-forge.fe8b95b52a":"Izbrani graf, ki se premika iz Forge v Kera po enem pasu, s sosednjimi Dweve sistemi, ki berejo isti objekt, in identiteta rezultata, ki se vrača k njemu","research-forge.fec325ce2f":"Premakne manj podatkov","research-forge.fef04acdce":"kaj preživi pri vsaki kandidatni velikosti","research-forge.ff52cebd1d":"Končna deklarirana domena je bila izčrpana.","research-forge.ff63942f4e":"Veriga, ki jo lahko pregledovalec prehodi","research-forge.ff75e0dce3":"Nejasno","research-forge.ffa7344f37":"Javno gradivo Forge pojasnjuje specifikacijo, odkrite alternative, protiprimere, ki so nekatere od njih končali, in kaj lahko raziskava dejansko dokaže.","research-forge.technicalHero.titleSuffix":"Z3","section_st_a2_split-spec-sheet.7c9a7c0610":"Podrobnosti","section_st_a6_split-scenario-triad.f75fd3a884":"Brez izvajalnih odvisnosti","section_st_a6_split-scenario-triad.143ac4ef35":"En sam binarni paket","section_st_a6_split-scenario-triad.c61f134d87":"Tri površine","section_st_a6_split-scenario-triad.215475056e":"KJE DELUJE","section_st_a6_split-scenario-triad.a794a586f0":"Pripravljeno za zaprte prostore","section_st_a6_split-scenario-triad.42d52c32ea":"Lokalni model","section_st_a6_split-scenario-triad.fe6168e59f":"Brez omrežja","section_st_a6_split-scenario-triad.7d93f83c3e":"Koda, priklopljena prek nosilca","section_st_a6_split-scenario-triad.bee0cb05f8":"Kubernetes","section_st_a6_split-scenario-triad.9f1141549f":"Docker","section_st_a6_split-scenario-triad.5315129cfe":"macOS, Linux, Windows","section_st_a6_split-scenario-triad.a89193f674":"Brez namestitve","section_st_a6_split-scenario-triad.f600b9e709":"En binarni paket","section_st_a7_split-connector-grid.4e6822a6d4":"Hitro nalaganje","section_st_a7_split-connector-grid.19e35f0609":"Nastavljeno v TOML","section_st_a7_split-connector-grid.d9de50b343":"Inventar, ki ga vodi klicatelj","section_st_a7_split-connector-grid.8be1bb51b7":"POVEZOVALNIKI","section_st_a8_split-scaling-profile.7e0861e04c":"Nastavljivo v TOML","section_st_a8_split-scaling-profile.56d6732417":"Zgornja meja na projekt","section_st_a8_split-scaling-profile.27a454915b":"Aktivne pike odražajo sočasne agente po stopnji.","section_st_a8_split-scaling-profile.0ea215ea0d":"OZADJE","section_st_a8_split-scaling-profile.9fc6fb7e03":"TEAMS","section_st_a8_split-scaling-profile.018d2cd1a5":"VZPOREDNO","section_st_a8_split-scaling-profile.16623c5d4a":"VERIGE","section_st_a8_split-scaling-profile.0fb79c96ed":"Posameznik → Ekipa → Omrežje","section_st_a8_split-scaling-profile.068f6b3ecc":"OBSEG EKIPE","section_st_a8_split-scaling-profile.53ebc572b4":"Omrežje","section_st_a8_split-scaling-profile.218887269a":"Ekipa","section_st_a8_split-scaling-profile.9fc93acaa4":"Posameznik","section_st_a9_split-time-lost-donut.7c9a7c0610":"Podrobnosti","section_st_b5_request-lifecycle.47e364232a":"revizija #4521","section_st_b5_request-lifecycle.4d3535f846":"popravek · session.rs","section_st_b5_request-lifecycle.6c2519cd62":"Izvajanje orodja","section_st_b5_request-lifecycle.f6d1c823ab":"seja #128 · 14:02","section_st_b5_request-lifecycle.636de0d0c3":"> \"popravi to napako\"","section_st_b5_request-lifecycle.0208131a7d":"Uporabnikova zahteva","section_st_b7_audit-chain.9239506454":"0d4e · 8f2c · 51a9 · 73be","section_st_b7_audit-chain.a383df4adb":"a015 · 7c93 · 3e6f · d28b","section_st_b7_audit-chain.efd3faebc5":"9e1b · 22a7 · 8d50 · 6b3c","section_st_b7_audit-chain.4df252b458":"4f2a · b7d1 · 1c83 · e0a4","section_st_b8_defense-stack.eee0f04cba":"VAŠA KODNA BAZA","section_st_b8_defense-stack.89b6e2a784":"OBRAMBA V GLOBINO","section_st_c2_dual-loop-flow.9d29573ea6":"orodje / korak","section_st_c2_dual-loop-flow.08ab1ac55a":"načrt / ponovni načrt","section_st_c5_integration-spoke.55d0677ac3":"Vsi priključki potekajo skozi isto plast za revizijo in dovoljenja.","section_st_c5_integration-spoke.c29eb7e425":"Lokalni agent","section_st_c5_integration-spoke.14afd82a7f":"AURA","section_st_c5_integration-spoke.ed0afbab5a":"GitLab CI","section_st_c5_integration-spoke.39540900bb":"GitHub Actions","section_st_c5_integration-spoke.a2feefe9af":"Jenkins","section_st_c5_integration-spoke.ab4115a7b2":"Zunanja orodja","section_st_c5_integration-spoke.70c123381f":"JSON-RPC 2.0","section_st_c5_integration-spoke.dc99d54d99":"Lokalno","section_st_c5_integration-spoke.6466df1d3d":"Mistral","section_st_c5_integration-spoke.a19ee5a9fd":"OpenAI","section_st_c5_integration-spoke.b780a23b53":"Anthropic","section_st_f1_cta-dark.90e40d5043":"Začnite","toc-rail.f5cbdf6bfb":"Kazalo"}