194 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Minseong Jang	fb05faa8b0	Update examples	2022-08-02 14:57:36 +09:00
Janggun Lee	88bd64e423	Add fmt to kecc IR and Assembly (#7) ... * Add fmt to kecc ir structs * Add fmt for KECC asm	2022-08-02 10:14:37 +09:00
Minseong Jang	4ff2d109ab	Add GDB usage to README	2022-06-06 22:59:26 +09:00
Janggun Lee	5ab0224acc	Fix clippy lints (#5)	2022-06-02 21:56:53 +09:00
Minseong Jang	d2f7b9b465	Make opt_utils public	2022-06-02 21:38:24 +09:00
Minseong Jang	531a56c0ea	Update bench ... Remove KECC binary when `make clean`	2022-06-02 14:45:16 +09:00
Minseong Jang	f7def26ba5	Update bench	2022-06-02 14:33:56 +09:00
Minseong Jang	c9b2725764	Update hw7 submission format	2022-06-02 13:47:56 +09:00
Minseong Jang	d3206a2b68	Update hw7 submission format	2022-06-02 13:26:24 +09:00
Minseong Jang	71b0c820f5	Add tests for O1	2022-05-23 13:34:30 +09:00
Minseong Jang	86c2194c0e	Add optimized ir examples	2022-05-23 13:33:01 +09:00
Minseong Jang	2f280650a8	Update fuzzer	2022-05-16 13:45:23 +09:00
Minseong Jang	64124bb68d	Change function name ... `Instruction::is_pure` -> `Instruction::has_no_side_effects`	2022-05-02 19:31:25 +09:00
Minseong Jang	cf9893fbc3	Add hw7 small grader	2022-04-22 11:43:14 +09:00
Minseong Jang	1d2e46cc81	Allow dead code in opt utils	2022-04-21 19:05:58 +09:00
Minseong Jang	268bebc91e	Add grading scripts	2022-04-21 18:23:53 +09:00
Minseong Jang	b2c8838dc8	Add submission script for hw2	2022-04-21 17:52:47 +09:00
Minseong Jang	9a238e8b90	Update readme	2022-04-12 09:17:30 +09:00
AinL	d4ef6aefd2	Add using --easy flag for faster reducing in README.md (#4) ... * fuzz: add seed feature fuzz: add easy flag (ease csmith) * fuzz: remove inline prob flag * fuzz: fix clipboard error... * update fuzz * Add `--skip-build` option * readme: add using --easy for reduce * Update fuzzer manual Co-authored-by: Minseong Jang <minseong.jang@cp.kaist.ac.kr>	2022-04-12 09:15:20 +09:00
Minseong Jang	bd581d09e9	Update grader	2022-04-05 19:08:54 +09:00
Minseong Jang	5f1a38534f	Conditionally import tqdm	2022-04-05 14:11:33 +09:00
AinL	1acd0b1659	Fuzz: Add progress bar during creduce processing (#3) ... * fuzz: add seed feature fuzz: add easy flag (ease csmith) * fuzz: remove inline prob flag * fuzz: fix clipboard error... * update fuzz * Add `--skip-build` option * fuzz: add progress bar on creduce fuzz: modify gitignore * fuzz: add rotate animation * update to tqdm * fuzz: fix format text * fuzz: gitignore add tail enter * Minor fix Co-authored-by: Minseong Jang <minseong.jang@cp.kaist.ac.kr>	2022-04-05 00:12:44 +09:00
Minseong Jang	e567681ed9	Update fuzzer	2022-04-04 21:44:16 +09:00
Minseong Jang	3a36e47985	Forbid incompatible pointer conversion	2022-04-04 20:26:54 +09:00
Minseong Jang	5f5fef54bd	Remove sizeof2 example from small testcase	2022-04-02 19:45:10 +09:00
Minseong Jang	2e11197a58	Add -fsanitize=float-divide-by-zero option	2022-04-01 02:31:12 +09:00
Minseong Jang	5264066a3c	Fix interp call instruction ... Check that dtype of args and phinodes of init block are compatible	2022-03-29 11:57:13 +09:00
Minseong Jang	4def8318f7	Fix ir interpreter	2022-03-28 15:27:35 +09:00
Minseong Jang	2947d4350f	Add clang static analyzer to reduce criteria	2022-03-28 15:26:49 +09:00
Minseong Jang	c4ec2c7881	Use -O0 instead of -O1 and -O2	2022-03-28 15:26:12 +09:00
Minseong Jang	271e95ab1d	Support negative value in ir parser	2022-03-25 14:41:54 +09:00
Minseong Jang	c8813ac7a2	Add complement example	2022-03-25 14:40:59 +09:00
Minseong Jang	448335dc39	Fix reduce criteria	2022-03-25 12:37:33 +09:00
Minseong Jang	6c2adf84ed	Restrict global variable initializer form	2022-03-25 11:46:26 +09:00
Minseong Jang	b8c13d5b27	Fix ir interp	2022-03-25 00:58:06 +09:00
Minseong Jang	f361f52e7d	Ignore line markers from C preprocessing stage	2022-03-25 00:57:32 +09:00
Minseong Jang	44d898f568	Update sizeof examples	2022-03-25 00:56:43 +09:00
Minseong Jang	bce209c613	Fix reduce criteria	2022-03-20 15:02:28 +09:00
Minseong Jang	27f228a853	Add --skip-build option	2022-03-16 18:19:10 +09:00
gmlwns2000	7ffd357fde	update fuzz	2022-03-16 18:19:10 +09:00
gmlwns2000	d2ecfe629a	fuzz: fix clipboard error...	2022-03-16 18:19:10 +09:00
gmlwns2000	25de13d0c4	fuzz: remove inline prob flag	2022-03-16 18:19:10 +09:00
gmlwns2000	8c6c71ef3b	fuzz: add seed feature ... fuzz: add easy flag (ease csmith)	2022-03-16 18:19:10 +09:00
Minseong Jang	3502d7193e	Add hw2 grader	2022-03-14 10:33:28 +09:00
Minseong Jang	667d892ee0	Fix fuzzer script	2022-03-13 16:17:52 +09:00
Minseong Jang	68e6279f42	Update fuzzer users manual	2022-03-08 11:03:24 +09:00
Minseong Jang	c67cd9941f	Add fuzzer users manual	2022-03-08 11:02:53 +09:00
Minseong Jang	f6f156ba81	Update permission	2022-03-03 22:58:58 +09:00
Minseong Jang	53512ad111	Update grader for h1	2022-02-28 09:59:11 +09:00
Minseong Jang	3d4745403e	Add grader for h1	2022-02-28 09:58:42 +09:00