15 Commits

Author	SHA1	Message	Date
Sébastien Bourdeauducq	ab3fa05996	demo: use portable format strings	2024-01-10 18:35:35 +08:00
David Mak	f01d833d48	standalone: Add missing parenthesis	2023-12-20 15:15:47 +08:00
Sebastien Bourdeauducq	98199768e3	demo: fix 64-bit format strings	2023-12-04 18:51:06 +08:00
David Mak	447eb9c387	standalone: Fix output format string for output_uint*	2023-11-03 16:24:26 +08:00
David Mak	60ad100fbb	core: Implement and expose {isinf,isnan}	2023-11-01 18:03:29 +08:00
David Mak	630897b779	standalone: Do not output sign if float is NaN ... Matches behavior in Python.	2023-11-01 18:03:29 +08:00
David Mak	bb27e3d400	standalone: Fix indentation of demo.c	2023-11-01 13:20:26 +08:00
David Mak	c7de22287e	core: Fix restoration of stack address ... All allocas for temporary objects are now placed in the beginning of the function. Allocas for on-temporary objects are not modified because these variables may appear in a loop and thus must be uniquely represented.	2023-10-06 11:34:23 +08:00
David Mak	c5629d4eb5	standalone: Remove redundant const in demo library	2023-10-06 10:32:58 +08:00
David Mak	a79286113e	standalone: Add output_bool in demo library	2023-10-06 10:19:22 +08:00
David Mak	be3e8f50a2	standalone: Refactor demo library to C ... Needed for use by lli.	2023-09-30 09:31:18 +08:00
Sebastien Bourdeauducq	096193f7ab	demo: rewrite in Rust	2022-01-09 10:51:10 +08:00
Sebastien Bourdeauducq	69b9ac5152	nac3standalone: consistent naming	2021-12-13 11:19:11 +08:00
ychenfo	ccfcba4066	nac3standalone: add output_long	2021-12-13 10:44:33 +08:00
Sebastien Bourdeauducq	956cca6ac8	cleanup demos	2021-09-22 14:57:13 +08:00