1. 14 Apr, 2022 3 commits
  2. 13 Apr, 2022 2 commits
  3. 12 Apr, 2022 2 commits
  4. 30 Mar, 2022 1 commit
  5. 01 Mar, 2022 3 commits
    • Paul's avatar
      nested signatures and frontend support · 6c7157f8
      Paul authored
      Squash the following:
      - add bf_nested; test pgtable abstract stage functions
      - try BFInline
      - typed BFInline; test pgtable
      - frontend: no-arg bitfield by default
      - add constraints and wf conditions to bitfield type
      - prove inline rules
      - more typeclasses for inlining rule side conditions
      - move signature axioms into SigWf
      - update BitfieldDesc in exampels
      - remove bitfield_raw typing rules
      - bf_inline during simplify_hyp
      - support nested signatures
      - add bitfield init annot
      - refactor mask core
      - remove diverging instances
      - support int -> term conversion
      - prove properties for int_to_tm
      - clean up most typing rules
      - support negated int mask; test examples
      - clean up mask_core
      - fix stage2_map_set_prot_attr
      - solve land and lor sideconditions
      - solve_sig_wf tactic
      - clean admits in pgtable_lemmas.v
      - clean admits in other examples
      - frontend: generate basic instances
      - frontend test: pgtable
      - wrap calculus defs in a module
      - support rc::record; test frontend for tcp_input
      - verify mt76_mac_tx_rate_val
      - annotations for mt7601u/mac
      6c7157f8
    • Paul's avatar
      builtin_boolean; test examples · cab16468
      Paul authored
      cab16468
    • Paul's avatar
      new case studies; deep term · 687e13a6
      Paul authored
      687e13a6
  6. 28 Feb, 2022 2 commits
  7. 27 Feb, 2022 1 commit
  8. 23 Feb, 2022 1 commit
  9. 22 Feb, 2022 1 commit
  10. 17 Feb, 2022 1 commit
  11. 14 Feb, 2022 1 commit
  12. 10 Feb, 2022 4 commits
  13. 26 Jan, 2022 1 commit
  14. 10 Jan, 2022 1 commit
  15. 11 Dec, 2021 1 commit
  16. 09 Dec, 2021 2 commits
  17. 08 Dec, 2021 1 commit
  18. 06 Dec, 2021 2 commits
  19. 03 Dec, 2021 1 commit
  20. 02 Dec, 2021 1 commit
  21. 01 Dec, 2021 4 commits
  22. 30 Nov, 2021 3 commits
  23. 25 Nov, 2021 1 commit