kmc7468/cs420
1
0
Fork 0
mirror of https://github.com/kmc7468/cs420.git synced 2026-06-21 06:38:47 +09:00
Code Issues Packages Projects Releases Wiki Activity
228 Commits 1 Branch 0 Tags
main
Commit Graph

228 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Minseong Jang 0b839020cf Bump Rust to 1.59.0 2022-02-28 09:57:16 +09:00
Minseong Jang 6f0df5a4b8 Modify comments for cargo doc 2022-02-27 22:39:21 +09:00
Minseong Jang 9ea9eb8f4e Add kecc users manual 2022-02-24 19:04:42 +09:00
Minseong Jang b5f8858825 Fix -o option 2022-02-24 19:00:28 +09:00
Minseong Jang 9da544d942 Fix ci 2022-02-23 23:08:25 +09:00
Minseong Jang 95dfecf976 Fix reduce criteria 2022-02-23 23:07:44 +09:00
Minseong Jang 7aaae1b3e6 Fix interp 2022-02-23 23:07:07 +09:00
Minseong Jang d96dc2f5b3 Support float in fuzzer 2022-02-23 23:06:19 +09:00
Minseong Jang d1975502b6 Use clang instead of gcc 2022-02-23 23:05:27 +09:00
Minseong Jang e1f6ac5df6 Remove #[allow(dead_code)] 2022-02-22 22:17:08 +09:00
Minseong Jang 23fab484f3 Update README.md 2022-01-27 15:23:36 +09:00
Minseong Jang f731a3dce2 Update option name 2022-01-27 15:22:37 +09:00
Minseong Jang fd1043e09b Update IR visualizer 2022-01-27 15:21:56 +09:00
Minseong Jang 99d0ff1311 Implement IR visualizer 2022-01-27 15:16:14 +09:00
Minseong Jang 126cfcb13d Update references 2022-01-25 22:58:46 +09:00
Minseong Jang 75138c5ec2 Add sizeof examples 2022-01-25 21:19:01 +09:00