A bunch of stuff - #295

Draft

rayman2000 wants to merge 56 commits into

nklose/qol-and-errors

Commits on Mar 26, 2026

Commits on Mar 30, 2026

Added strict-int mode
rayman2000
committed
ea0c789
strict-int tests
rayman2000
committed
64844bb

Commits on Apr 8, 2026

client server cli arguments
rayman2000
committed
fe6569d
handle siliocn timeouts
rayman2000
committed
9635db2

Commits on Apr 15, 2026

Better client error reporting
rayman2000
committed
40db43c

Commits on Apr 16, 2026

more try/catch for silicon crashing
rayman2000
committed
9e382af

Commits on Apr 21, 2026

added list.copy()
rayman2000
committed
64eb851

Commits on Apr 22, 2026

list remove and index
rayman2000
committed
31927b3

Commits on Apr 23, 2026

Better strict int for lists
rayman2000
committed
7a2a2c0

Commits on Apr 27, 2026

strict int for pseqs
rayman2000
committed
7698653

Commits on Jul 7, 2026

Commits on Jul 8, 2026

Merge branch 'master' into nklose/qol-and-errors
rayman2000
committed
f8897c0

Commits on Jul 14, 2026

Merge branch 'master' into nklose/qol-and-errors
rayman2000
committed
7985095

Commits on Jul 23, 2026

memory_limit for testing
rayman2000
committed
abe201d
reject re-use of built-in explicitely
rayman2000
committed
9427f8d
support for del and pop
rayman2000
committed
16b144a
strict-int invariant for dict contents
rayman2000
committed
ab1d90a
support for resolving generic types in binary operations
rayman2000
committed
a96905c
Merge remote-tracking branch 'origin/master' into nklose/qol-and-errors
rayman2000
committed
9bbceaa

Commits on Jul 24, 2026

Merge remote-tracking branch 'origin/master' into nklose/qol-and-errors
rayman2000
committed
515f8a1
support for id()

rayman2000
and
claude
committed
2bda1f3

Commits on Jul 29, 2026

better error reporting
rayman2000
committed
5abbed6
viper args and bit-ops-size args
rayman2000
committed
7c942e5
slice delete
rayman2000
committed
2f7ae7a
better errors
rayman2000
committed
b2516eb
generics shenans
rayman2000
committed
c8b7de0
assignment shenanigans
rayman2000
committed
5b50524
even more error messages
rayman2000
committed
bc7aaf1

Commits on Aug 6, 2026

call arity error
rayman2000
committed
497cf42

Commits on Aug 11, 2026

dispatch comparisons on TypeVar bounds
rayman2000
committed
c2467a9
properly reject old in precons
rayman2000
committed
143396c
strict-int tuples
rayman2000
committed
d1588e8
terminate cyclic import lookups in module views
rayman2000
committed
0f4a848
resolve relative imports correctly inside package __init__
rayman2000
committed
873a03e
support submodule from-imports
rayman2000
committed
1a70b27
translate only mode
rayman2000
committed
7b25dcf
smt-debugging info
rayman2000
committed
af0cc80
more aggressive timeout aborts
rayman2000
committed
e358a65
record verif mcp results in server
rayman2000
committed
9996b93
caching without smt-debug
rayman2000
committed
9637846
faster mypy
rayman2000
committed
cfd79d5
missed translate only stuff
rayman2000
committed
826f154

Commits on Aug 13, 2026

better built-in exceptions
rayman2000
committed
35af558
mutli method select
rayman2000
committed
b645d5e
better debug payload?
rayman2000
committed
2cb26b1
weird sequence stuff
rayman2000
committed
a9d47b4
better global timeout message
rayman2000
committed
8c80e06
logging of timeouts
rayman2000
committed
7f7b2d7

Commits on Aug 16, 2026

better termination errors
rayman2000
committed
71920e7