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 |
|
mingxguo27
|
45e743fcd9
|
Merge branch 'master' into mingxguo-fuzzing-mvp
|
2020-09-29 17:53:28 +00:00 |
|
Julien Cretin
|
abe1230364
|
Clarify documentation
|
2020-09-29 19:29:06 +02:00 |
|
mingxguo27
|
f79a659e69
|
Resolved PR comments and added more fuzz targets.
|
2020-09-29 16:30:41 +00:00 |
|
Julien Cretin
|
fa66a613f3
|
Merge branch 'master' into v2_lib
|
2020-09-29 14:28:37 +02:00 |
|
gendx
|
1001584e77
|
Merge pull request #167 from gendx/elf2tab-dir
Install elf2tab in its own directory.
|
2020-09-29 14:00:47 +02:00 |
|
Guillaume Endignoux
|
70482a2f21
|
Install elf2tab in its own directory.
|
2020-09-29 12:56:21 +02:00 |
|
gendx
|
af4d554d01
|
Merge pull request #162 from gendx/fix-clippy
Setup a Clippy workflow and fix remaining warnings.
|
2020-09-29 12:39:09 +02:00 |
|
Guillaume Endignoux
|
3da39a0aa9
|
Update reference hashes.
|
2020-09-29 11:35:45 +02:00 |
|
Guillaume Endignoux
|
63432000db
|
Allow clippy::new_without_default.
|
2020-09-29 11:19:41 +02:00 |
|
Guillaume Endignoux
|
ca288d2695
|
Add Clippy to run_desktop_tests.sh script.
|
2020-09-29 11:06:59 +02:00 |
|
Guillaume Endignoux
|
ea781541d5
|
Install Clippy via actions-rs/toolchain.
|
2020-09-29 11:05:24 +02:00 |
|
Guillaume Endignoux
|
68b0bdc29b
|
Fix more Clippy warnings.
|
2020-09-29 11:05:24 +02:00 |
|
Guillaume Endignoux
|
b46b103db0
|
Add a Clippy workflow.
|
2020-09-29 11:05:24 +02:00 |
|
Guillaume Endignoux
|
323701a6e2
|
Formatting.
|
2020-09-29 11:05:24 +02:00 |
|
Guillaume Endignoux
|
5511811703
|
Fix most Clippy warnings.
|
2020-09-29 11:05:24 +02:00 |
|
Julien Cretin
|
67714510f5
|
Add bitfield helpers for new store
|
2020-09-28 17:30:44 +02:00 |
|
Julien Cretin
|
616476ac43
|
Merge pull request #163 from ia0/v2_lib
Create new store and add storage API
|
2020-09-28 16:03:30 +02:00 |
|
Julien Cretin
|
6d9c1ce1a4
|
Update reproducible hashes
|
2020-09-28 13:22:06 +02:00 |
|