impl/src/tooling/icpp/interpreter/op_eval.cpp (9 lines): - line 9: //TODO: win32 add checked arith - line 96: //TODO: debugger break here - line 191: //TODO: this is where it might be nice to do some mono/polymorphic inline caching - line 208: //TODO: this is where it might be nice to do some mono/polymorphic inline caching - line 230: //TODO: this is where it might be nice to do some mono/polymorphic inline caching vtable goodness - line 298: //TODO: this is where it might be nice to do some mono/polymorphic inline caching vtable goodness - line 334: //TODO: this is where it might be nice to do some mono/polymorphic inline caching vtable goodness - line 607: //TODO: remember to handle the case where rcvr layout is inline union but target call expects a ref union - line 1155: //TODO: update position info for debugging impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (7 lines): - line 774: //TODO: split the string into multiple parts - line 845: //TODO: we want to add some order magic where we intern longer concat strings in sorted tree and can then just compare pointer equality or parent order instead of looking at full data - line 871: //TODO: want to rebalance here later - line 966: //TODO: want to rebalance here later - line 1586: //TODO: need to propagate the invariant call info and then check here -- for now pretend there are no additional checks - line 1601: //TODO: need to propagate the invariant call info and then check here -- for now pretend there are no additional checks - line 1616: //TODO: need to propagate the invariant call info and then check here -- for now pretend there are no additional checks impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h (6 lines): - line 113: //TODO: change impl to inline + https://github.com/dotnet/runtime/blob/main/src/libraries/System.Private.CoreLib/src/System/Number.BigInteger.cs - line 137: //TODO: change impl to inline + https://github.com/dotnet/runtime/blob/main/src/libraries/System.Private.CoreLib/src/System/Number.BigInteger.cs - line 180: //TODO: this is not a nice "large number of significant integral and fractional digits and no round-off error" like I want plus it is huge -- we need to get a better library later - line 518: //TODO: at some point in the future we might want to split this out with the 256 buffer as a - line 656: //TODO: this is super inefficient but for now we just want it to run on small strings and regexs-- :( - line 973: //TODO: need to support things that are any APIType not just numeric impl/src/tooling/verifier/smtdecls_emitter.ts (4 lines): - line 513: //TODO: not implemented yet - line 520: //TODO: not implemented yet - line 527: //TODO: not implemented yet - line 1223: //TODO: compute constants info here... impl/src/tooling/verifier/evaluator/workflows.cpp (4 lines): - line 27: //TODO: it would be nice to set a more specifc logic here (than the ALL from the smtfile) - line 78: //TODO: it would be nice to set a more specifc logic here (than the ALL from the smtfile) - line 154: //TODO: it would be nice to set a more specifc logic here (than the ALL from the smtfile) - line 242: //TODO: it would be nice to set a more specifc logic here (than the ALL from the smtfile) impl/src/ast/bsqregex.ts (3 lines): - line 286: //TODO: we actually have NFA semantics for our regex -- JS matching is a subset so we need to replace this!!! - line 429: //TODO: probably need to do some escaping here as well - line 439: //TODO: probably need to do some escaping here as well impl/src/tooling/verifier/evaluator/decls.cpp (3 lines): - line 828: //TODO: we are limited here to 64 bit ints -- need to extend to a true big int search when we have the library support - line 1707: //TODO: see std::get_time here I think - line 2427: //TODO: load constants impl/src/tooling/icpp/transpiler/icpptype_emitter.ts (3 lines): - line 236: //TODO: this is odd... we want to handle general typedecl that are of API types as well somehow so we need to adjust this a bit - line 256: //TODO: implement this representation in the C++ interpreter etc. - line 262: //TODO: implement this representation in the C++ interpreter etc. impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp (3 lines): - line 268: //TODO: we need to handle this - line 342: //TODO: want to rebalance here later - line 404: //TODO: want to rebalance here later impl/src/ast/assembly.ts (2 lines): - line 771: //TODO: we may want to handle some ISomething, Something, Option, Nothing situations more precisely if they can arise - line 2380: //TODO: we may want to try and strip matching types in any options -- T | None ~~ Int | None should unify T -> Int impl/src/tooling/verifier/runtime/smtruntime.smt2 (2 lines): - line 70: (define-sort BUUID () (_ BitVec 12)) ;;TODO we should experiment with this encoding -- int, bv128, constructor? - line 73: ;;TODO BHashable and Hash + HashInvert and axioms impl/src/tooling/icpp/interpreter/runner.cpp (2 lines): - line 122: //TODO: need to string unescape here - line 145: //TODO: split the string into multiple parts impl/src/tooling/icpp/interpreter/assembly/bsqop.h (1 line): - line 749: //TODO: we probably need to know about the layout and flow type of each arg too impl/src/tooling/icpp/transpiler/icpp_assembly.ts (1 line): - line 568: //TODO: we need to switch this to encode the underlying and primitive types in the type decl really -- not as impl/src/tooling/icpp/interpreter/core/bsqmemory.h (1 line): - line 884: //TODO: as an optimization we should mark all these roots as immortal and detach this so we don't repeatedly do (unneeded) GC work on it impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp (1 line): - line 449: //TODO: map option once we have map type impl/src/tooling/verifier/smtcollection_emitter.ts (1 line): - line 1033: //TODO: what about typed numbers -- also min/max impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts (1 line): - line 47: //TODO: not implemented yet -- see SMT implementation impl/build/include/headers/mimalloc/mimalloc-internal.h (1 line): - line 618: // TODO: check if `next` is `page->block_size` aligned? impl/src/compiler/mir_assembly.ts (1 line): - line 808: //TODO: package.config data impl/src/tooling/icpp/interpreter/assembly/bsqtype.h (1 line): - line 145: const std::map vtable; //TODO: This is slow indirection but nice and simple impl/src/runtimes/bsqcheck.ts (1 line): - line 202: //TODO: we probably want to make this a process parallel process impl/src/tooling/icpp/interpreter/common.h (1 line): - line 22: //TODO: mimalloc