kmc7468/cs420
1
0
Fork 0
mirror of https://github.com/kmc7468/cs420.git synced 2025-12-15 23:18:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
179 Commits 1 Branch 0 Tags
b465dd75f00f8860e6a867b4108ed9c62c98932e
Commit Graph

66 Commits

Author SHA1 Message Date
Jaewoo Kim
32283f2ed1 Update model solution. 
- Stop calculating operands for & operators.
- Evaluate the lhs of compound operators only once.
- Add `side-effect.c` example.
 2025-04-07 11:03:18 +00:00
Janggun Lee
7a95032d43 Fix typo 2025-02-27 14:14:04 +09:00
Janggun Lee
9cb88d1fe9 Move install_csmith into a separate script 2025-02-27 14:13:05 +09:00
Janggun Lee
6f18d77861 Remove some deadcode and tqdm 2025-02-26 20:20:54 +09:00
Janggun Lee
0b01588b6d Fix testing code 2025-02-25 16:20:11 +09:00
Janggun Lee
72dadc608d Various quality-of-life improvements (ideas from @33577 ) 
* Very basic `hello_main.c`
* Big starting hint to `write_c`
* Better error messages on failed test
  * TODO: also improve it for asmgen, but not sure how to do it in a good way
 2025-02-25 00:28:55 +09:00
Janggun Lee
a8e0aa5e69 Nits 2025-02-11 16:11:31 +09:00
Janggun Lee
0758005eac Fix installation of csmith. 
Co-authored-by: Mountagha <muntaghaba@gmail.com>
 2025-02-11 16:08:28 +09:00
Janggun Lee
c5946611a3 Bump Rust and add skeleton code for irgen. 2022-12-19 18:50:22 +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
Janggun Lee
5ab0224acc Fix clippy lints (#5) 2022-06-02 21:56:53 +09:00
Minseong Jang
71b0c820f5 Add tests for O1 2022-05-23 13:34:30 +09:00
Minseong Jang
2f280650a8 Update fuzzer 2022-05-16 13:45:23 +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
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
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
448335dc39 Fix reduce criteria 2022-03-25 12:37:33 +09:00
Minseong Jang
f361f52e7d Ignore line markers from C preprocessing stage 2022-03-25 00:57:32 +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
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
95dfecf976 Fix reduce criteria 2022-02-23 23:07:44 +09:00
Minseong Jang
d96dc2f5b3 Support float in fuzzer 2022-02-23 23:06:19 +09:00
Minseong Jang
28e4bb46a8 Update fuzzer script 2021-12-31 16:31:54 +09:00
Jeehoon Kang
4535b2ef6f Update 2021-06-21 18:45:39 +00:00
Chunmyong Park
d64e9f622e Update grader 2020-07-02 06:54:19 +00:00
Jeehoon Kang
f79106c03d Update skeleton 2020-06-21 21:51:54 +09:00
Jeehoon Kang
a12db7949c Update tests 2020-06-12 05:05:23 +09:00
Jeehoon Kang
8e1441e9fe Fix test script and bump Rust 2020-06-09 15:08:00 +00:00
Jeehoon Kang
ea9e6afcf8 Add tests 2020-06-09 14:45:11 +00:00
Jeehoon Kang
54004932e3 Update skeleton 2020-06-05 20:27:13 +09:00
Jeehoon Kang
0b2975d62a Unignore asmgen test 2020-06-05 01:06:01 +09:00
Jeehoon Kang
7bb9ed11b5 Update skeleton 2020-06-05 00:54:00 +09:00
Chunmyong Park
62c5208631 Update reduce-criteria-template.sh 2020-06-02 02:54:09 +00:00
Jeehoon Kang
1c0c9a5dbc Update skeleton 2020-06-01 21:51:16 +09:00
Jeehoon Kang
4c850d5801 Update skeleton 2020-05-29 21:30:16 +09:00
Jeehoon Kang
9a2dd840d2 Add deadcode examples 2020-05-03 06:01:46 +00:00
Jeehoon Kang
f4dc5e426c Update skeleton 2020-05-02 07:52:40 +00:00