Branches

• hsaito/new_lang

  c1824b49 · Fix LoopInv lost arg pattern · Oct 16, 2020
• hsaito/experiment

  96289e35 · Rename cumulative_sum -> triangular_num · Oct 15, 2020
• nishida/mi-cho-coq-example

  d662136a · change checksig spec. and add negative checksig · Oct 14, 2020
• hsaito/new_lang_skip_exception

  9182a8a4 · Impliment skipping exception · Oct 13, 2020
• hsaito/new_lang_humor_z3

  8165c20e · Fix local_binds · Oct 12, 2020
• refx

  b4b71efb · Merge branch 'hsaito/fix_if_failwith' into 'refx' · Oct 05, 2020
• hsaito/fix_if_failwith

  4b0c4ed8 · Move example/fail2.tz · Oct 05, 2020
• hsaito/new_lang_test

  492058c3 · Fix? binding · Oct 02, 2020
• hsaito/dupdigdug

  f32c6def · Fix typo · Oct 01, 2020
• hsaito/exception

  d262e632 · Fix Refx LAMBDA condition · Sep 25, 2020
• nishida/lambda-exec

  b278100b · change definition of Fun sort in Z3 so that Fun sort has infinite values · Sep 08, 2020
• tzip

  b3efcfbd · Add example/tzip · Sep 08, 2020
• hsaito/polydefine

  d612d7ff · Add measure.tyvars · Aug 15, 2020
• hsaito/nat_precond

  abf0ceef · Add default measure len · Jul 27, 2020
• hsaito/hashes

  714316e4 · Add example/xcat.tz · Jul 22, 2020
• hsaito/operation

  9c801d97 · Merge branch 'hsaito/operation_fix_self' into 'hsaito/operation' · Jul 22, 2020
• nishida/refactoring

  e6e42540 · change symbol operator · Jun 05, 2020
• akawashiro/exec

  2acd3c6a · Show Fun instead of Int as placeholders of function types. · Mar 19, 2020
• akawashiro/lambda-annot

  31e3c8af · Change DIP to DIP 1 temporary. · Mar 07, 2020
• akawashiro/new-assert-syntax

  1be53bed · Merge branch 'hsaito/new_syntax' into 'akawashiro/new-assert-syntax' · Feb 27, 2020