5

голосов
1

ответ
1.1k

Просмотры

Z3 C ++ API & ITE

Может быть, я что-то пропустил, но то, что это путь построения если-то-иначе выражение с помощью ++ API z3 C? Я мог бы использовать API C для этого, но я задаюсь вопросом, почему нет такой функции в API C ++. С уважением, Julien
Julien H.
3

голосов
1

ответ
349

Просмотры

Z3 с SMTlib2 входом

Я просто повышен z3 от 4,1 до 4.3.1, и, кажется, что вход smtlib2 изменился: теперь функция / постоянная декларация не удаляется поп заявления. Вот вход SMTlib2, который отлично работает с z3 4.1 (и другие SMT решателей ...), но вернуться с ошибкой с z3 4.3.1: ( «линии ошибка 19 столбец 25: неверная декларация, константа„bs_2“(ти учитывая подпись) уже объявлено ") (вариант установленного: продукт-модель верно) (вариант установленного: производить-unsat сердечников верно) (вариант установленные: интерактивный-режим истинный) (вариант установленные: распечатка успех ложь) ( нажать 1) (объявлять-удовольствие bs_1 () BOOL) (нажать 1) (объявлять-прикольных bs_2 () Bool) (утверждают (и bs_1 (не bs_2))) (чек-SAT) (поп-1) (нажатие 1) ( объявляют-прикольные bs_2 () Bool) (утверждают (и bs_1 (не bs_2))) (чек-сат) (поп-1) (поп-1) (выход) Удаление последней декларации bs_2 прекрасно работает с z3 4.3.1, но не для z3 4.1. Могу ли я с помощью тяни / поп неправильно?
Julien H.
2

голосов
1

ответ
182

Просмотры

вариант шрифта в Microsoft Крае - Canvas 2D

Я пытаюсь сделать текст в капители в 2D холста в Крае, но он не работает: текст не капитель, даже если свойство шрифта правильно и включает в себя капительные. Я попытался воспроизвести проблему с простейшими холста я мог думать, но я до сих пор его. Делают то же самое на Internet Explorer 11. Firefox и края бок о бок Любые идеи?
Julien H
2

голосов
1

ответ
453

Просмотры

Рельсы скрепку - работа с блоба видео с веб-камеры записи

Я ищу здесь и с 1 гг недели, не находя результат мне нужно. Я использую MediaStreamRecorder.js для записи веб-камеры. Затем я показываю результат видео в видео с тегом URL.createObjectURL (BLOB); Видео тег SRC выглядит как этот сгусток: HTTP: // локальный: 3000 / a2a57a58-b495-527a-b305-6b535bd6174c. В той же странице, у меня есть мои рельсы образуют с описанием заголовка и вложения (Скрепка атрибуты). Моя Рельсы форма представляет собой классический вид: {: многочастному => верно} делать | F | %> Запрещено это видео из спасаемых: Во-первых, хотя была возможность загружать видео через AJAX вызова и добавление дополнительных полей (globBlob является реветь URL, созданный ранее): вар FormData = новые FormData (); formData.append ( 'видео [название]', " Я могу преобразовать двоичный объект в WebM, но полученный файл во все дни предлагается загрузить через браузер ПОПИН. Имеет кто-то советы по записи блобы через рельсы форму?
julien h.
1

голосов
1

ответ
71

Просмотры

Используйте vscode инсайдер расширения API

Я пишу VSCode расширения, но мне нужно использовать последние расширения API. Как я сказать package.json использовать версию инсайдерской vscode API в моем расширение? Я пробовал: "devDependencies": {[...], "vscode": "^ 1.22.0-инсайдер"}, но я получаю: $ НПХ установить НУЮ ERR! Код ETARGET НОЙ ERR! notarget Нет версию соответствия найдено [email protected]^1.22.0-insider НОЙ ERR! notarget В большинстве случаев вы или один из ваших зависимостей запрашивают НУЮ ERR! notarget версии пакета, который не существует.
Julien H.