Issues
- 1
SMT input Python files are not valid Python
#568 opened by jayvdb - 0
New developer experience
#594 opened by adsharma - 7
Not opening non-utf8 files
#524 opened by HorridModz - 0
Flutter pinned to 2.10.5
#586 opened by jayvdb - 2
pylib::FileReadString
#531 opened by folkertvanheusden - 1
Python deprecation warnings
#584 opened by jayvdb - 1
Failure in infer_ops.cpp with g++-13
#576 opened by jayvdb - 0
Win32 test cpp bug
#549 opened by jayvdb - 4
PyJL: Julia without type annotations
#536 opened by j-fu - 0
Replace auto-cancellation CI
#546 opened by jayvdb - 2
- 4
cargo -Zscript failing on 1.77
#579 opened by jayvdb - 1
Split CI to only run individual language tests
#540 opened by jayvdb - 2
cargo supports scripts directly
#563 opened by jayvdb - 0
Go tests skipped on Windows as revive not available
#567 opened by jayvdb - 1
rust: pow does not work as is
#551 opened by alekssamos - 4
Generated exception_names.jl doesnt work
#570 opened by jayvdb - 4
- 0
Redundant code with PyJL indexing translation
#529 opened by MiguelMarcelino - 0
Python 3.12 support
#564 opened by jayvdb - 1
CI: cargo install cargo-eval fails on Windows
#559 opened by jayvdb - 5
- 1
- 0
conan2 support
#557 opened by jayvdb - 7
py2many.exceptions.AstUnrecognisedBinOp: Union[Union[int,Union[str,int]],Union[str,int]] <class 'ast.Sub'> int Error
#523 opened by HorridModz - 0
'If' object has no attribute 'body_vars'
#527 opened by folkertvanheusden - 1
py2many.exceptions.AstNotImplementedError: sequence item 0: expected str instance, NoneType found
#520 opened by folkertvanheusden - 2
Discoverability
#518 opened by adsharma - 2
- 1
demorgan.smt is unsat
#507 opened by jayvdb - 0
11l benchmark
#517 opened by jayvdb - 0
CodeGeneratorTests.test_ext__<'rect'> & <string_sum> fail on Windows without rustfmt
#515 opened by jayvdb - 0
C++ pystring
#514 opened by jayvdb - 5
Unimplemented generator expr I found and seeming failure to build correct code for C++, go, or rust
#455 opened by magnus-ISU - 0
input() not supported
#505 opened by jayvdb - 0
str.lower and str.upper not supported
#504 opened by jayvdb - 0
- 1
Exception handling in Rust/Go/V not possible yet
#484 opened by jayvdb - 0
Windows doesnt handle bitops ⊻
#478 opened by jayvdb - 5
- 0
- 0
test_vlang_recursive encounters AstNotImplementedError and AstUnrecognisedBinOp
#474 opened by jayvdb - 1
z3 not installed on Linux and Mac
#471 opened by jayvdb - 1
CI fails to install vnum (again)
#467 opened by jayvdb - 3
Docker image for py2many
#444 opened by adsharma - 0
Kotlin on MacOS CI fails due to default Java version
#465 opened by jayvdb - 0
Rust failing generated fib_with_argparse.rs
#462 opened by jayvdb - 0
CI fails to install vnum
#461 opened by jayvdb - 3
Failed on install: No module named 'setuptools'
#458 opened by haydonryan - 1
Syntax for refinement types
#454 opened by adsharma