Julien Cretin
|
ab8b90b596
|
Merge branch 'master' into v2_lib
|
2020-10-27 11:09:52 +01:00 |
|
Julien Cretin
|
1f0f2d16e3
|
Merge pull request #189 from ia0/travis
Remove unused .travis.yml
|
2020-10-27 11:09:23 +01:00 |
|
Julien Cretin
|
1ef1a8d95b
|
Remove unused .travis.yml
|
2020-10-27 10:36:16 +01:00 |
|
Julien Cretin
|
552bab6ba9
|
Remove public visibility for internal function
|
2020-10-26 17:51:40 +01:00 |
|
Julien Cretin
|
cb3369213f
|
Fix merge missing conflict
|
2020-10-23 17:27:20 +02:00 |
|
Julien Cretin
|
3755be1625
|
Merge branch 'master' into v2_lib
|
2020-10-23 17:20:19 +02:00 |
|
Julien Cretin
|
6bb11f09f0
|
Merge pull request #187 from ia0/v2_buffer
Add buffer storage for new store
|
2020-10-23 17:18:32 +02:00 |
|
Julien Cretin
|
99e2d07156
|
Fix documentation
|
2020-10-23 16:38:48 +02:00 |
|
Julien Cretin
|
f52ea953b8
|
Improve documentation
|
2020-10-23 15:38:21 +02:00 |
|
Julien Cretin
|
34ad35fdc1
|
Fix documentation
|
2020-10-23 11:52:21 +02:00 |
|
Julien Cretin
|
f5e6f8728f
|
Do not use nightly features
|
2020-10-23 08:41:44 +02:00 |
|
Julien Cretin
|
d8f405baab
|
Add missing alloc crate
|
2020-10-23 08:37:09 +02:00 |
|
Julien Cretin
|
10ac76e58a
|
Add buffer storage for new store
|
2020-10-23 08:22:30 +02:00 |
|
Julien Cretin
|
b7fff97a8e
|
Merge branch 'master' into v2_lib
|
2020-10-23 08:06:47 +02:00 |
|
kaczmarczyck
|
18fdfc4305
|
Merge pull request #178 from mingxguo27/mingxguo-fuzzing-mvp
Add initial corpus files
|
2020-10-16 15:58:52 +02:00 |
|
mingxguo27
|
66006bf943
|
Merge branch 'master' into mingxguo-fuzzing-mvp
|
2020-10-15 14:43:34 +00:00 |
|
Julien Cretin
|
43924ff8f4
|
Merge branch 'master' into v2_lib
|
2020-10-15 16:30:38 +02:00 |
|
mingxguo27
|
4edec261bc
|
Resolved PR comments
|
2020-10-15 13:28:27 +00:00 |
|
Julien Cretin
|
f8fe1a9493
|
Add small proofs
|
2020-10-14 17:36:52 +02:00 |
|
kaczmarczyck
|
245e0ab781
|
Merge pull request #183 from mingxguo27/mingxguo-code-deletion
Removed duplicated code in process_get_assertion
|
2020-10-14 15:02:53 +02:00 |
|
mingxguo27
|
ba8144ebf6
|
Removed duplicated code
|
2020-10-14 12:18:45 +00:00 |
|
Julien Cretin
|
c098f2695b
|
Clarify current supported values
|
2020-10-14 12:20:48 +02:00 |
|
Julien Cretin
|
223908febd
|
Remove confusing clarification
|
2020-10-14 11:41:46 +02:00 |
|
Julien Cretin
|
8191378b40
|
Merge branch 'master' into v2_lib
|
2020-10-14 11:16:00 +02:00 |
|
Julien Cretin
|
0aece24e0a
|
Merge pull request #181 from ia0/disable_reproducible_workflow
Disable reproducible workflow
|
2020-10-13 15:49:39 +02:00 |
|
Julien Cretin
|
4c76d5618e
|
Show the diff but do not fail
|
2020-10-13 14:59:31 +02:00 |
|
Julien Cretin
|
f512645837
|
Improve documentation
|
2020-10-13 12:46:25 +02:00 |
|
Julien Cretin
|
eede767fe3
|
Improve documentation
|
2020-10-12 18:07:29 +02:00 |
|
Julien Cretin
|
0242873a23
|
Improve comments
|
2020-10-12 16:25:25 +02:00 |
|
Julien Cretin
|
d721949806
|
Improve documentation
|
2020-10-12 14:40:30 +02:00 |
|
mingxguo27
|
9bf4c16d81
|
Changed reproducible
|
2020-10-09 15:15:22 +00:00 |
|
mingxguo27
|
88309cd20a
|
Changed reproducible
|
2020-10-09 15:02:46 +00:00 |
|
mingxguo27
|
b43d618c03
|
Completed hex
|
2020-10-09 11:10:25 +00:00 |
|
Julien Cretin
|
d1ab6090f1
|
Disable reproducible workflow
|
2020-10-09 12:16:02 +02:00 |
|
Julien Cretin
|
7b21eba5df
|
Expand documentation
|
2020-10-09 11:55:51 +02:00 |
|
mingxguo27
|
ed4514c3e0
|
Add initial corpus files
|
2020-10-08 19:14:38 +00:00 |
|
Julien Cretin
|
c09a5ed719
|
Address comments
|
2020-10-07 15:17:37 +02:00 |
|
Julien Cretin
|
aa2c26a65d
|
Merge branch 'master' into v2_lib
|
2020-10-07 11:12:47 +02:00 |
|
gendx
|
f328971ae8
|
Merge pull request #165 from mingxguo27/mingxguo-fuzzing-mvp
Fuzzing helper library and more fuzz targets
|
2020-10-05 14:26:00 +02:00 |
|
mingxguo27
|
cc0c9eefeb
|
changed reproducible
|
2020-10-05 10:17:09 +00:00 |
|
gendx
|
3c23206641
|
Merge branch 'master' into mingxguo-fuzzing-mvp
|
2020-10-05 11:58:41 +02:00 |
|
mingxguo27
|
9493014b13
|
Resolved PR comments
|
2020-10-02 17:18:36 +00:00 |
|
Julien Cretin
|
745862c3d3
|
Merge branch 'master' into v2_lib
|
2020-10-02 15:32:57 +02:00 |
|
gendx
|
079c0a415a
|
Merge pull request #173 from gendx/fix-format
Fix formatting.
|
2020-10-02 15:31:15 +02:00 |
|
Guillaume Endignoux
|
778d283f73
|
Update reference binaries.
|
2020-10-02 15:06:40 +02:00 |
|
Guillaume Endignoux
|
2ca541fb33
|
Fix formatting.
|
2020-10-02 13:52:24 +02:00 |
|
Julien Cretin
|
f9f428dcbf
|
Fix documentation
|
2020-09-30 18:37:33 +02:00 |
|
Julien Cretin
|
d0ad46b868
|
Add format helpers for new store
|
2020-09-30 18:30:39 +02:00 |
|
Julien Cretin
|
ea7ee9f1f9
|
Merge pull request #166 from ia0/v2_lib
Add bitfield helpers for new store
|
2020-09-30 08:56:16 +02:00 |
|
Julien Cretin
|
91805db1f0
|
Rename Const to ConstField
|
2020-09-29 22:18:30 +02:00 |
|