github/circ
1
1
Fork 0
mirror of https://github.com/circify/circ.git synced 2026-01-13 07:37:59 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
MASTER
circ/scripts/zx_tests
History
Alex Ozdemir a26533baad zxi now takes optional inputs (#180)
2023-11-15 13:46:09 -08:00
..
array_eq_2.zxf
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
array_eq.zx
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
array_eq.zxf
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
array_oob_read.zxf
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
array_oob_write.zxf
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
array_read_write.zx
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
bit_order.zx
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
bool_to_bv.zx
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
casts_to_field.zx
zsharp fixes ; speed improvements (#73)
2022-04-08 21:16:35 -04:00
casts_to_u16.zx
zsharp fixes ; speed improvements (#73)
2022-04-08 21:16:35 -04:00
casts_to_u32.zx
zsharp fixes ; speed improvements (#73)
2022-04-08 21:16:35 -04:00
casts_to_u64.zx
zsharp fixes ; speed improvements (#73)
2022-04-08 21:16:35 -04:00
double_generic_const.zx
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
double_generic.zx
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
field_cmp.zx
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
field_mod.zx
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
field_size.zx
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
id.zx
zxi now takes optional inputs (#180)
2023-11-15 13:46:09 -08:00
id.zx.in
zxi now takes optional inputs (#180)
2023-11-15 13:46:09 -08:00
id.zx.out
zxi now takes optional inputs (#180)
2023-11-15 13:46:09 -08:00
inconsistent_array.zxf
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
inline_array_const_access.zx
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
inline_array_const_access.zxf
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
inline_array_const.zx
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
inline_expression_len.zx
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
inline_expression_len.zxf
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
inline_struct_generic_2.zxf
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
inline_struct_generic_3.zxf
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
inline_struct_generic_4.zxf
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
inline_struct_generic_5.zxf
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
inline_struct_generic.zx
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
inline_struct_generic.zxf
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
inner_struct_generic.zx
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
inner_struct_generic.zxf
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
literals.zx
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
missing_arg_field.zxf
zxi now takes optional inputs (#180)
2023-11-15 13:46:09 -08:00
missing_arg_field.zxf.in
zxi now takes optional inputs (#180)
2023-11-15 13:46:09 -08:00
missing_arg_field.zxf.out
zxi now takes optional inputs (#180)
2023-11-15 13:46:09 -08:00
missing_arg_idx.zxf
zxi now takes optional inputs (#180)
2023-11-15 13:46:09 -08:00
missing_arg_idx.zxf.in
zxi now takes optional inputs (#180)
2023-11-15 13:46:09 -08:00
missing_arg_idx.zxf.out
zxi now takes optional inputs (#180)
2023-11-15 13:46:09 -08:00
missing_arg.zxf
zxi now takes optional inputs (#180)
2023-11-15 13:46:09 -08:00
missing_arg.zxf.in
zxi now takes optional inputs (#180)
2023-11-15 13:46:09 -08:00
missing_arg.zxf.out
zxi now takes optional inputs (#180)
2023-11-15 13:46:09 -08:00
redef_const_2.zxf
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
redef_const.zxf
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
redef_fn.zxf
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
redef_import_2.zxf
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
redef_import.zxf
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
redef_struct.zxf
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
run_tests.sh
zxi now takes optional inputs (#180)
2023-11-15 13:46:09 -08:00
signed_remainder.zx
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
simple_loop.zx
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
single_generic_2.zx
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
single_generic_2.zxf
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
single_generic_3.zx
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
single_generic_const_2.zx
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
single_generic_const_2.zxf
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
single_generic_const.zx
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
single_generic.zx
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
slice_assign.zx
field flexibility ; add limit for linearity reduction (#66)
2022-03-25 15:03:09 -07:00
struct_eq.zx
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
struct_eq.zxf
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
struct_generic.zx
field flexibility ; add limit for linearity reduction (#66)
2022-03-25 15:03:09 -07:00
struct_read_write.zx
feature branch: zsharp (#30)
2022-02-06 22:47:30 -05:00
sum.zx
zxi now takes optional inputs (#180)
2023-11-15 13:46:09 -08:00
sum.zx.in
zxi now takes optional inputs (#180)
2023-11-15 13:46:09 -08:00
sum.zx.out
zxi now takes optional inputs (#180)
2023-11-15 13:46:09 -08:00
typedef_1.zx
improve memory consumption ; add Z# strict unary op, ternary ?:, and type aliases (#77)
2022-05-04 10:08:23 -07:00
typedef_2.zx
improve memory consumption ; add Z# strict unary op, ternary ?:, and type aliases (#77)
2022-05-04 10:08:23 -07:00
typedef_3.zx
improve memory consumption ; add Z# strict unary op, ternary ?:, and type aliases (#77)
2022-05-04 10:08:23 -07:00
typedef_4.zx
improve memory consumption ; add Z# strict unary op, ternary ?:, and type aliases (#77)
2022-05-04 10:08:23 -07:00
typedef_5.zxf
improve memory consumption ; add Z# strict unary op, ternary ?:, and type aliases (#77)
2022-05-04 10:08:23 -07:00
wrong_output_with_args.zxf
zxi now takes optional inputs (#180)
2023-11-15 13:46:09 -08:00
wrong_output_with_args.zxf.in
zxi now takes optional inputs (#180)
2023-11-15 13:46:09 -08:00
wrong_output_with_args.zxf.out
zxi now takes optional inputs (#180)
2023-11-15 13:46:09 -08:00