jmlowenthal/agda-c

Issues

• ↝*-irr-cont postulate is false

  #15 opened 4 years ago by dsheets
  3

• Proof of congruence properties

  #12 opened 4 years ago by jmlowenthal
  1

• Proof signatures

  #11 opened 4 years ago by jmlowenthal
  1

• Function equivalence

  #10 opened 4 years ago by jmlowenthal
  0

• Rename `Base` to `Core`

  #9 opened 4 years ago by jmlowenthal
  0

• Proving properties that are dependent on the environment

  #8 opened 4 years ago by jmlowenthal
  0

• CompCert Clight

  #7 opened 4 years ago by jmlowenthal
  0

• Parsing of existing source code

  #6 opened 4 years ago by jmlowenthal
  0

• Library functions

  #5 opened 4 years ago by jmlowenthal
  0

• Hoare logic triples

  #4 opened 4 years ago by jmlowenthal
  0

• Alternative semantic models

  #3 opened 4 years ago by jmlowenthal
  0

• Proof over direct implementation

  #2 opened 4 years ago by jmlowenthal
  0