ac309a6900
Refactor CallExpr routing [wip]
2024-08-10 13:51:52 -07:00
4e3bdebdec
Fix stdlib issues
2024-05-05 12:47:09 -07:00
6d50e0cc26
Various bugfixes
2024-05-04 20:59:20 -07:00
843644f04f
Merge branch 'develop' into typecheck-v2
2024-05-03 21:09:08 -07:00
f73e974a3d
Remove default inits; various bugfixes
2024-04-21 14:05:06 -07:00
e7bb5c1609
Merge remote-tracking branch 'origin/cancall_new' into develop
2024-04-03 09:42:42 -07:00
07ffc62511
Fix traits
2024-04-01 17:26:34 -07:00
547c744b53
Fix infer [wip]
2024-03-28 14:56:25 -07:00
127bca6cf3
Fix methodcaller
2024-03-21 15:39:30 -07:00
af9a74301a
Add unrealized_type
2024-03-21 14:42:43 -07:00
b15b70875a
Fix partials [wip]
2024-03-21 11:29:07 -07:00
f24bfee9b1
Add hasUnbounds
2024-03-20 13:47:50 -07:00
e737536b38
Fix polymorphism
2024-03-18 16:15:36 -07:00
df94b9061c
Remove RecordType
2024-03-09 18:18:10 -08:00
d02775dec0
Fix statics [wip]
2024-03-08 16:51:18 -08:00
9b18a739ea
New static fixes [wip]
2024-03-06 20:50:51 -08:00
4ae3c5f7ec
Fix statics [wip]
2024-03-04 13:06:52 -08:00
b2f3d45a51
New static fixes [wip]
2024-03-04 09:02:48 -08:00
0e42fded1a
2024 updates ( #548 )
...
* Update copyright dates in stdlib
* Update copyright dates in cpp files
* Update copyright dates in h files
* Update copyright dates in py files
* Bump version
* Update LICENSE
* Update release notes
2024-03-02 16:30:03 -05:00
d2d4bb73a7
Use type[] for type variables; Revamp statics and types[wip]
2024-03-01 14:11:23 -08:00
4400e3d849
Generic Slices ( #544 )
...
* Changed slice fields to generics, added check to adjust_indices
* fix typecheck
* Refactored Slice class, fixed test
* fix test
* made slice fields optional, updated tests
* Fix list optimization for new slices; update tests
---------
Co-authored-by: A. R. Shajii <ars@ars.me>
2024-02-25 11:42:31 -05:00
4be3bbf9e7
Add allocation hoist optimization ( #534 )
...
* Add allocation hoist optimization
* Fix analysis of nested loops
* Check for irreducible cycles
* Add additional check when analyzing insertvalue
* Add allocation-specific attributes in LLVM IR
* Remove unused calloc function from runtime library
* Add float -> intN and float -> uintN constructors
* Only hoist atomic allocations
* Update codegen
* Simplify codegen
* Change allocation hoist pass to be a function pass
* Fix loop iteration order
* Use 'struct' instead of 'class'
* Add check for phi instructions in header; refactor
* Remove unneeded checks
* Fix C++ benchmark
* Remove annotation
2024-02-22 19:31:19 -05:00
d3f3486f5a
Fix static.fn_can_call
2024-02-21 17:33:12 -08:00
e40527f845
Add from-str constructors for several types ( #533 )
...
* Add from-str constructors for several types
* Fix tests
* Disable test
2024-01-25 13:41:36 -05:00
c8bc944a50
Updates - January 2024 ( #530 )
...
* Add bz2
* Support 'b' prefix on str
* List.index() throws an exception if item not found
This is consistent with Python. Added find() method that returns -1 similar to str (although this does not exist in Python's list).
* Update complex64 str and repr
* Fix tests
* Add 'default' arg to min() and max()
2024-01-19 11:22:20 -05:00
b1b75913ec
Fix Python
2024-01-18 11:53:57 -08:00
9a1c2741ee
Fix imports and Python [wip]
2024-01-17 21:33:13 -08:00
d23c8c7a75
Support "key" argument on min() and max() builtins ( #505 )
...
* Support "key" argument on min() and max() builtins
* Delay overload selection when arguments are not known (delayed dispatch)
* Delay 'is None' for 'Optional[T]' until type is known
* Fix union overload selection
* Add static string slicing
* Fix itertools.accumulate
* Fix list comprehension optimization ( minitech:imports-in-list-comprehensions )
* Fix match or patterns
* Fix tests and faulty static tuple issue
* Fix OpenMP reductions with new min/max functions
* Fix domination of dominated bindings; Fix hasattr overloads; Fix arg=None handling
* Fix empty return handling; Mark generators with an attribute
* Fix #487
* Fix test
* Fix IR pass
---------
Co-authored-by: Ibrahim Numanagić <ibrahimpasa@gmail.com>
2024-01-12 19:27:29 -05:00
377e619f7f
Fix loops
2024-01-09 12:36:18 -08:00
d609629489
Format 1-element tuples as "(x,)" ( #521 )
...
* Format 1-element tuples as "(x,)"
Currently, single-element tuple "repr" / "str" gives "(x)", but it should really give "(x,)" according to Python.
* Fix tests
2024-01-02 13:35:55 -05:00
416cc5fa59
Bugfixes (Dec 2023) ( #515 )
...
* Delay overload selection when arguments are not known (delayed dispatch)
* Delay 'is None' for 'Optional[T]' until type is known
* Fix union overload selection
* Add static string slicing
* Fix itertools.accumulate
* Fix list comprehension optimization ( minitech:imports-in-list-comprehensions )
* Fix match or patterns
* Fix tests and faulty static tuple issue
2023-12-26 09:35:03 -05:00
cff38ea734
Fix cond tests [wip]
2023-12-13 17:23:50 -08:00
bef36e016a
Fix call tests [wip]
2023-12-09 18:13:07 -08:00
d1cd21b3e3
Add complex str constructor ( #502 )
2023-12-05 15:48:34 -05:00
b4a3f890ff
Property setters ( #501 )
...
* Fix __from_gpu_new__
* Fix GPU tests
* Update GPU debug codegen
* Add will-return attribute for GPU compilation
* Fix isinstance on unresolved types
* Fix union type instantiation and pendingRealizations placement
* Add float16, bfloat16 and float128 IR types
* Add float16, bfloat16 and float128 types
* Mark complex64 as no-python
* Fix float methods
* Add float tests
* Disable some float tests
* Fix bitset in reaching definitions analysis
* Fix static bool unification
* Add property setters
* Remove log
* Add Union hasattr support
* Fix union bugs; Move union logic to internal.codon; Add fn_can_call for any expression
* Fix isinstance(x, Union)
---------
Co-authored-by: Ibrahim Numanagić <ibrahimpasa@gmail.com>
2023-12-04 11:14:08 -05:00
42bb3127f0
Add property setters
2023-11-20 21:09:50 -08:00
2c7440768d
GPU compilation fixes ( #496 )
...
* Fix __from_gpu_new__
* Fix GPU tests
* Update GPU debug codegen
* Add will-return attribute for GPU compilation
* Fix isinstance on unresolved types
* Fix union type instantiation and pendingRealizations placement
* Add float16, bfloat16 and float128 IR types
* Add float16, bfloat16 and float128 types
* Mark complex64 as no-python
* Fix float methods
* Add float tests
* Disable some float tests
* Fix bitset in reaching definitions analysis
* Fix static bool unification
---------
Co-authored-by: Ibrahim Numanagić <ibrahimpasa@gmail.com>
2023-11-18 15:14:05 -05:00
4eb641e3cb
Add PyCapsule to Python bridge
2023-11-07 11:41:57 -05:00
ce459c5667
New Tuple machinery ( #462 )
...
* Refactor Tuple class
* Add Tuple[N,...] support; Fix inline operators with list brackets
* Fix Tuple[N,...] support
* Merge Sequre SIMD changes
* Fix repeat-tuple unification
* Fix staticlen in OpenMP
* Fix isinstance unification
* Fix delayed unification with static realization
* Fix CI
* Cleanup
* Use "fcmp une" in float.__ne__()
---------
Co-authored-by: A. R. Shajii <ars@ars.me>
2023-09-26 10:49:14 -04:00
99973373e0
Fix assign tests
2023-09-23 10:01:34 -07:00
750bb28c9c
Bugfixes 2023-08 ( #440 )
...
* Fix type argument overload issue; Fix Cython version for CI
* Add __contains__ for kwargs
* Add get() for kwargs
* Add static <<, >> and unary ~
* Fix CI
* Fix OpenMP "ordered" clause
* Fix static ~
* Fix Cython 3 issues
* Fix Python MANIFEST.in
---------
Co-authored-by: A. R. Shajii <ars@ars.me>
2023-08-12 10:39:45 -04:00
c6faa0ecfa
Fix tests
2023-08-09 12:40:27 +02:00
ef743a6227
Fix try-catch scoping
2023-08-08 22:58:08 +02:00
23806aa072
Merge simplify & typecheck (basic tests passd)
2023-08-01 23:55:14 +02:00
a073daca3a
Merge simplify & typecheck: new name parser [wip]
2023-08-01 13:27:17 +02:00
7198a0971a
Fix complex __bool__()
2023-07-31 13:02:29 -04:00
89298918cb
Add float32 constructor to complex64
2023-07-24 11:30:46 -04:00
7c345a8f39
Merge simplify & typecheck: new name parser [wip]
2023-07-15 23:55:07 +02:00
d12800c855
Fix zero-capacity lists ( #420 )
2023-07-12 10:19:24 -04:00
dae4b8ba16
Merge simplify & typecheck [wip]
2023-07-10 11:24:33 +02:00
Ibrahim Numanagić
A. R. Shajii
Philip Kaelbling
Ibrahim Numanagić