Draft: Arith code (!388) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

Snippets Groups Projects

Project 'nomadic-labs/coq-tezos-of-ocaml' was moved to 'formal-land/coq-tezos-of-ocaml'. Please update any links and bookmarks that may still have the old path.

Open Kewerson Hugo requested to merge arith-opcode into master 3 years ago

Activity

Kewerson Hugo added 1 commit 3 years ago
added 1 commit

174a89e6 - Finish size

Compare with previous version
Kewerson Hugo added 23 commits 3 years ago
added 23 commits

174a89e6...d1a704fd - 14 commits from branch master

55d83b46 - Add set to list axiom

aced1a51 - Debug

d033cb60 - Progress set case

23050ebc - Refactor

723975e8 - Refactor

e9cd3b3e - Add Evan suggestion

2b9a6816 - Progress convert_data map

16d0a3e4 - Add axiom for map conversion

b3b08043 - Finish size

Compare with previous version
Toggle commit list
Kewerson Hugo added 1 commit 3 years ago
added 1 commit

7ad1c589 - Progress mem case

Compare with previous version
Kewerson Hugo added 1 commit 3 years ago
added 1 commit

51b88e66 - Finish empty_map

Compare with previous version
Evan Marzion added 1 commit 3 years ago
added 1 commit

1c06d889 - attempting to prove micho_map_length_eq_script_map_length

Compare with previous version
Kewerson Hugo added 1 commit 3 years ago
added 1 commit

04ba9a94 - Add examples for map.map

Compare with previous version
Kewerson Hugo added 1 commit 3 years ago
added 1 commit

d949f818 - Examples

Compare with previous version

Please register or sign in to reply