achlipala/frap

Issues

• Error with make all

  #63 opened 2 months ago by fedeb95
  2

• Can't build the project using a local opam switch

  #62 opened 5 months ago by Lesenr1
  3

• Unable to unify - compile error

  #60 opened a year ago by melodicht
  2

• Unable to run `make lib`

  #58 opened a year ago by wags-1314
  4

• Unable to run 'make' and 'make lib'

  #59 opened a year ago by L-C-M
  6

• Book on amazon Kindle?

  #54 opened 3 years ago by brando90
  7

• Feedback on Concurrent Separation Logic

  #52 opened 4 years ago by mdempsky
  1

• "Further Reading" sections

  #49 opened 4 years ago by p0llard
  1

• Inconsistent use of "most precise answer" on page 47

  #47 opened 4 years ago by mdempsky
  0

• 14.2. Assertion Logic: some arrows should be single-lined

  #46 opened 4 years ago by p0llard
  3

• No index entry for `model_check` tactic

  #45 opened 4 years ago by bkushigian
  1

• Typo in Polymorphism.v

  #41 opened 4 years ago by bkushigian
  3

• More concise definition of absint_sound and absint_complete in AbstractInterpretation.v

  #37 opened 4 years ago by mdempsky
  2

• Cannot find library Frap in loadpath

  #32 opened 4 years ago by mheiber
  3

• Incomplete odd/even abstraction rules in § 8 "Abstract Interpretation and Dataflow Analysis"

  #28 opened 5 years ago by mdempsky
  2

• Notation suggestion for § 4.2 "A Stack Machine"

  #27 opened 5 years ago by mdempsky
  0

• Failing to compile Sets.v

  #24 opened 6 years ago by baz1
  1

• Insufficient tactic of `model_check_done` in FrapWithoutSets.v.

  #18 opened 7 years ago by foreverbell
  3

• Minor typo in section 2.5

  #17 opened 7 years ago by blakeelias
  2

• Typo still exist in Chapter 2's code

  #16 opened 7 years ago by LukeXuan
  1

• Typo in ch. 13.3?

  #15 opened 8 years ago by larsr
  1

• Possible typo in the Hoare logic chapter

  #14 opened 8 years ago by co-dan
  1

• "make clean" deletes book source

  #5 opened 8 years ago by corwin-of-amber
  3

• Error when making off of fresh pull

  #2 opened 8 years ago by vizziv
  6

• Example in 2.5 doesn't follow the definition of size in 2.2

  #7 opened 8 years ago by marklemay
  2

• What is the focus of the book?

  #1 opened 8 years ago by MarisaKirisame
  1

• Proof General cannot find Sets

  #6 opened 8 years ago by remysucre
  1