verification

0зной

1ответ

Laravel 5.2 ошибка проверки электронной почты

Я следил за учебником по адресу this site, чтобы помочь мне создать проверку электронной почты для новых пользователей. я получаю сообщение об ошибке: FatalErrorException in ActivationService.php line

laravel email verification 2016-08-02

---

0зной

3ответ

Ошибка при использовании элементов массива в условных операторах в C

Я сделал свою долю изучения языка C и столкнулся с этой несогласованностью, для которой я не могу учесть. Я искал всюду и рассматривал все определения типа данных и реляционный синтаксис, но это вне м

c arrays binary verification 2016-08-07

---

-1зной

1ответ

Явный предиктор UVM RAL

Кто-нибудь знает, где я могу найти пример Explicit Predictor for UVM RAL? Я искал все вокруг, но ничего не мог найти. Или, если кто-то может скопировать/написать один простой пример? большое спасибо

system-verilog verification uvm 2016-08-09

---

1зной

1ответ

Проверка соответствия паролей в Windows Powershell

Я создаю скрипт для обработки присоединенного домена для школьного округа, в котором я работаю. У нас есть несколько ИТ-ребята, которые обрабатывают sysprep, поэтому я создаю скрипт, который будет шиф

powershell passwords verification 2016-08-11

---

3зной

1ответ

Проверка маркера электронной почты Zend Framework 2

Я пытаюсь сделать систему (в Zend Framework 2) для проверки электронной почты пользователя, отправив электронное письмо со ссылкой с токеном (например: http://example.com/user/autenticate/verify/abG12

php email zend-framework2 token verification 2016-08-23

---

1зной

1ответ

создание тестового стенда для шины AXI

У меня есть тестовый стенд для моего проекта, который содержит шину AXI. Я начинаю писать интерфейс и транзакцию для записи и чтения. Я прочитал следующий блог: http://blog.verificationgentleman.com/2

system-verilog verification uvm 2016-08-23

---

2зной

1ответ

Существует ли теория для неинтерпретируемых функций (анализ конгруэнтности)?

У меня есть набор символических переменных: int a, b, c, d, e; Набор неизвестных функций, сдерживается целым рядом аксиом: f1(a, b) = f2(c, b) f1(d, e) = f1(e, d) f3(b, c, e) = f1(b, e) c = f1(a,

z3 verification smt stp alt-ergo 2016-08-29

---