Value classes instead of Longs in Z3 API
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 25/100
- Tipo di issue
- Refactoring
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Ferma
- Stack tecnologico
- kotlin
- Ambito
- backend-api-design
Direzione di ricerca
Start by reading the Z3.Native methods and how native objects such as sorts, expressions, and declarations are represented throughout the Kotlin API. Identify the distinct object kinds and the methods that accept raw longs. Done means the API uses value classes that distinguish these native objects instead of ambiguous longs.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Currently, we use long to represent all Z3 native objects: sorts, expressions, declarations.
Also, all Z3.Native methods accept raw longs without any clarification whether it is sort, expr, or whatever else.
The idea is to provide wrappers for Z3.native methods with different value classes for different object kinds.
- Lingua principale
- Kotlin
- Stelle
- 42
- Fork
- 17
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Preparare l'ambiente
Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di UnitTestBot/ksmt
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
UnitTestBot/ksmt#164 · 1 reazione ·
-
Thread safetyApertaenhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
UnitTestBot/ksmt#54 · 1 commento ·
-
Incomplete FP supportForse di nuovo libera @CaelmBleidd l’ha presa 1491 giorni fa e non c’è nessuna pull request aperta. Aperta
UnitTestBot/ksmt#24 · 1 assegnatario ·
Tutte le issue di UnitTestBot/ksmt
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
KazumaProject/JapaneseKeyboard#1125 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
-
area/docs
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 88/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
nightscout/AndroidAPS#5199 · 2 commenti ·
I maintainer di solito rispondono entro 1 giorno