| Summary: | remove ValueCastable support from smtlib2.py | ||
|---|---|---|---|
| Product: | Libre-SOC's first SoC | Reporter: | Jacob Lifshay <programmerjake> |
| Component: | Source Code | Assignee: | Jacob Lifshay <programmerjake> |
| Status: | IN_PROGRESS --- | ||
| Severity: | enhancement | CC: | libre-soc-bugs, lkcl, programmerjake |
| Priority: | --- | ||
| Version: | unspecified | ||
| Hardware: | PC | ||
| OS: | Linux | ||
| URL: | https://gitlab.com/nmigen/nmigen/-/merge_requests/11 | ||
| NLnet milestone: | NLnet.2021.02A.052.CryptoRouter | total budget (EUR) for completion of task and all subtasks: | 0 |
| budget (EUR) for this task, excluding subtasks' budget: | 0 | parent task for budget allocation: | 775 |
| child tasks for budget allocation: | The table of payments (in EUR) for this task; TOML format: |
jacob=0
|
|
|
Description
Jacob Lifshay
2023-03-22 01:40:18 GMT
|