https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692018-07-11T12:10:50ZOpen-Source ProjectsKlever - Bug #9064: Klever developer instances are not developer oneshttps://forge.ispras.ru/issues/9064?journal_id=338592018-07-11T12:10:50ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Related to</strong> <i><a class="issue tracker-1 status-5 priority-6 priority-high2 closed" href="/issues/9090">Bug #9090</a>: Create production instances of Klever locally if necessary</i> added</li></ul> Klever - Bug #9064: Klever developer instances are not developer oneshttps://forge.ispras.ru/issues/9064?journal_id=338632018-07-11T14:05:10ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Related to</strong> <i><a class="issue tracker-4 status-5 priority-6 priority-high2 closed" href="/issues/9094">Feature #9094</a>: Optimize creature of single Klever experimental instance</i> added</li></ul> Klever - Bug #9064: Klever developer instances are not developer oneshttps://forge.ispras.ru/issues/9064?journal_id=338682018-07-11T14:12:13ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li></ul><p>Fixed in branch <em>fix-9064</em>.</p> Klever - Bug #9064: Klever developer instances are not developer oneshttps://forge.ispras.ru/issues/9064?journal_id=338692018-07-11T14:25:09ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Related to</strong> <i><a class="issue tracker-4 status-5 priority-6 priority-high2 closed" href="/issues/9095">Feature #9095</a>: Fail earlier if some Klever experimental instances exist</i> added</li></ul> Klever - Bug #9064: Klever developer instances are not developer oneshttps://forge.ispras.ru/issues/9064?journal_id=339622018-07-17T10:28:50ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li></ul><p>Tests passed, so, I merged the branch to master in <a class="changeset" title="Merge branch 'master' into deploy-fixes-and-improvements" href="https://forge.ispras.ru/projects/klever/repository/331/revisions/b33a51eb13d8dbe2e58d585a70c92fa0ab8607fd">b33a51eb</a>.</p>
<p>Everybody should use Klever developer instances and Klever experimental instances in the right way! The former is intended just for preliminary evaluation of, say, a newer version of a verification back-end or a new rule specification. Klever developer instances are installed with many debug options enabled, that can help to debug much but also slows down some operations. One shouldn't create large Klever developer instances. For large experiments it is necessary to create production large Klever experimental instances, one or more. In ideal these instances should be immediately dropped after experiments will finish since they don't support updates.</p>