Jeehoon Kang
b299644675
Bump dependencies
2023-02-28 12:00:44 +09:00
Minseong Jang
8df80203b8
Update assertion message
2023-02-13 15:09:31 +09:00
Janggun Lee
55ebcad347
Parse integral values, closes #289
2022-12-20 16:31:06 +09:00
Janggun Lee
c5946611a3
Bump Rust and add skeleton code for irgen.
2022-12-19 18:50:22 +09:00
Minseong Jang
6ae0e26197
Bump dependencies
2022-12-02 10:59:11 +09:00
Janggun Lee
2cd4e3a169
add struct example
2022-11-21 18:16:42 +09:00
Janggun Lee
094cbfdd2c
Lots of improvements.
...
* Better script names and grammar fix.
* Bump Rust
* Enforce more lints.
* Improve few struct definitions by removing box.
* Many minor implementation improvements.
2022-11-21 15:27:04 +09:00
Minseong Jang
cb698a5e43
Change test method
2022-10-20 13:17:38 +09:00
Minseong Jang
f39851625a
Bump dependencies
2022-10-20 13:04:11 +09:00
Minseong Jang
3f91b321a5
Bump dependencies
2022-10-14 21:17:17 +09:00
Minseong Jang
e7edf89fb3
Bump dependencies
2022-09-12 10:51:55 +09:00
Minseong Jang
6e754a19bb
Update ci.yml
2022-09-12 10:46:13 +09:00
Minseong Jang
a23b474161
Update dependencies
2022-08-02 15:23:57 +09:00
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