Skip to content

Actions: project-everest/everparse

Actions

Build and test EverParse based on a FStar image

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linux-x64.yaml
358 workflow runs
358 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

EverParse+Steel: Verified parsing and serialization with separation logic Build and test EverParse based on a FStar image #529: Pull request #54 synchronize by tahina-pro
November 8, 2023 15:09 1h 4m 16s taramana_steel
taramana_steel
November 8, 2023 15:09 1h 4m 16s
interfaces on CBOR.SteelST.Raw.* Build and test EverParse based on a FStar image #528: Commit 21d8870 pushed by tahina-pro
November 8, 2023 09:20 1h 47m 32s taramana_cbor
taramana_cbor
November 8, 2023 09:20 1h 47m 32s
Forbid refinements and bitwidths on non-scalar fields; a bit field en… Build and test EverParse based on a FStar image #527: Commit 7d3cfba pushed by nikswamy
November 7, 2023 00:18 43m 27s nik_misc
nik_misc
November 7, 2023 00:18 43m 27s
CBOR map iterator Build and test EverParse based on a FStar image #526: Commit a6e214f pushed by tahina-pro
November 6, 2023 18:04 2h 22m 1s taramana_cbor
taramana_cbor
November 6, 2023 18:04 2h 22m 1s
a more palatable version of serialize_cbor_inj Build and test EverParse based on a FStar image #525: Commit fda062f pushed by tahina-pro
November 5, 2023 07:06 2h 43m 54s taramana_cbor
taramana_cbor
November 5, 2023 07:06 2h 43m 54s
equip raw_data_item_match with a fractional permission Build and test EverParse based on a FStar image #524: Commit 46c7e23 pushed by tahina-pro
November 3, 2023 21:52 1h 44m 4s taramana_cbor
taramana_cbor
November 3, 2023 21:52 1h 44m 4s
Generate test checker executable Build and test EverParse based on a FStar image #523: Pull request #106 synchronize by tahina-pro
November 3, 2023 02:43 39m 27s _taramana_3d_test_exe
_taramana_3d_test_exe
November 3, 2023 02:43 39m 27s
Generate test checker executable Build and test EverParse based on a FStar image #522: Pull request #106 synchronize by tahina-pro
November 1, 2023 23:58 40m 8s _taramana_3d_test_exe
_taramana_3d_test_exe
November 1, 2023 23:58 40m 8s
Generate test checker executable Build and test EverParse based on a FStar image #521: Pull request #106 synchronize by tahina-pro
November 1, 2023 21:57 40m 6s _taramana_3d_test_exe
_taramana_3d_test_exe
November 1, 2023 21:57 40m 6s
read_deterministically_encoded_cbor Build and test EverParse based on a FStar image #520: Commit faea4a7 pushed by tahina-pro
October 31, 2023 21:33 1h 42m 59s taramana_cbor
taramana_cbor
October 31, 2023 21:33 1h 42m 59s
matches_map_group_map_group_cons_zero_or_one_deterministically_encode… Build and test EverParse based on a FStar image #519: Commit 15c8394 pushed by tahina-pro
October 31, 2023 20:12 1h 29m 30s taramana_cbor
taramana_cbor
October 31, 2023 20:12 1h 29m 30s
fix opam dependencies for z3.4.8.5-1 (following FStarLang/FStar#3069) Build and test EverParse based on a FStar image #518: Commit 446a08c pushed by tahina-pro
October 31, 2023 16:51 34m 54s master
master
October 31, 2023 16:51 34m 54s
fix opam dependencies for z3.4.8.5-1 (following FStarLang/FStar#3069) Build and test EverParse based on a FStar image #517: Commit 446a08c pushed by tahina-pro
October 31, 2023 16:07 34m 29s taramana_ci
taramana_ci
October 31, 2023 16:07 34m 29s
matches_map_group_map_group_cons_zero_or_one_no_repeats Build and test EverParse based on a FStar image #516: Commit d856c72 pushed by tahina-pro
October 31, 2023 04:35 1h 30m 2s taramana_cbor
taramana_cbor
October 31, 2023 04:35 1h 30m 2s
revise CDDL map group semantics, prove equivalences for DPE Build and test EverParse based on a FStar image #515: Commit 41dc4f8 pushed by tahina-pro
October 27, 2023 07:08 1h 31m 24s taramana_cbor
taramana_cbor
October 27, 2023 07:08 1h 31m 24s
unify bounded and unbounded CDDL specs Build and test EverParse based on a FStar image #514: Commit 7c2edce pushed by tahina-pro
October 26, 2023 17:09 1h 34m 9s taramana_cbor
taramana_cbor
October 26, 2023 17:09 1h 34m 9s
Generate test checker executable Build and test EverParse based on a FStar image #513: Pull request #106 synchronize by tahina-pro
October 25, 2023 22:20 30m 33s _taramana_3d_test_exe
_taramana_3d_test_exe
October 25, 2023 22:20 30m 33s
Generate test checker executable Build and test EverParse based on a FStar image #512: Pull request #106 opened by tahina-pro
October 25, 2023 21:45 29m 12s _taramana_3d_test_exe
_taramana_3d_test_exe
October 25, 2023 21:45 29m 12s
produce_everparse_error: use all arguments Build and test EverParse based on a FStar image #511: Commit 709b676 pushed by tahina-pro
October 25, 2023 04:19 29m 50s taramana_3d_test_exe
taramana_3d_test_exe
October 25, 2023 04:19 29m 50s
nit Build and test EverParse based on a FStar image #510: Commit 0219100 pushed by tahina-pro
October 24, 2023 17:23 1h 56m 42s taramana_cbor
taramana_cbor
October 24, 2023 17:23 1h 56m 42s
fix COSE, DPE specs Build and test EverParse based on a FStar image #509: Commit bf7893e pushed by tahina-pro
October 24, 2023 16:11 1h 38m 54s taramana_cbor
taramana_cbor
October 24, 2023 16:11 1h 38m 54s
EverParse+Steel: Verified parsing and serialization with separation logic Build and test EverParse based on a FStar image #508: Pull request #54 synchronize by tahina-pro
October 20, 2023 22:00 1h 1m 36s taramana_steel
taramana_steel
October 20, 2023 22:00 1h 1m 36s
cbor_array_iterator Build and test EverParse based on a FStar image #507: Commit 89cdb61 pushed by tahina-pro
October 20, 2023 14:44 1h 36m 54s taramana_cbor
taramana_cbor
October 20, 2023 14:44 1h 36m 54s
Merge pull request #104 from project-everest/_taramana_krml_385 Build and test EverParse based on a FStar image #506: Commit afb6fff pushed by tahina-pro
October 18, 2023 22:04 29m 16s master
master
October 18, 2023 22:04 29m 16s
KRML_HOST_IGNORE -> KRML_MAYBE_UNUSED_VAR in EverParseEndianness*.h Build and test EverParse based on a FStar image #505: Pull request #104 synchronize by tahina-pro
October 18, 2023 21:03 29m 45s _taramana_krml_385
_taramana_krml_385
October 18, 2023 21:03 29m 45s
ProTip! You can narrow down the results and go further in time using created:<2023-10-18 or the other filters available.