Commits · coq_integration · Niels Bunkenburg / verify

Oct 03, 2017
- Improve translation of props and Nats · 46993e43
  Niels Bunkenburg authored 7 years ago
  
  46993e43
Sep 29, 2017
- Add environment with function types to translation to improve explicit type arguments · 3ed8f7f4
  Niels Bunkenburg authored 7 years ago
  
  3ed8f7f4
Sep 28, 2017
- Add primitive implementation of explicit type arguments · 9c0d4af9
  Niels Bunkenburg authored 7 years ago
  
  9c0d4af9
Sep 27, 2017
- Fix import search · 292ae010
  Niels Bunkenburg authored 7 years ago
  
  292ae010
- Optimize let flattening and pretty printing · 623b5c20
  Niels Bunkenburg authored 7 years ago
  
  623b5c20
- Add let terms · ede7938c
  Niels Bunkenburg authored 7 years ago
  
  ede7938c
- Remove some redundant parathenses · 900e0692
  Niels Bunkenburg authored 7 years ago
  
  900e0692
- Add qName mapping for bool and fix always props · a59ce892
  Niels Bunkenburg authored 7 years ago
  
  a59ce892
Sep 25, 2017
- Fix function types · 70ff85d0
  Niels Bunkenburg authored 7 years ago
  
  70ff85d0
- Add prop support and toVerifier integration · 40da7bcc
  Niels Bunkenburg authored 7 years ago
  
  40da7bcc
Sep 06, 2017
- Correct some translation bugs · 7ea78c3d
  Niels Bunkenburg authored 7 years ago
  
  7ea78c3d
- Add function translation · 64800e9d
  Niels Bunkenburg authored 7 years ago
  
  64800e9d
Aug 31, 2017
- Remove qualified import · cc579ddb
  Niels Bunkenburg authored 7 years ago
  
  cc579ddb
- Begin Function translation · 266786c1
  Niels Bunkenburg authored 7 years ago
  
  266786c1
- Add type synonym translation · 16654df4
  Niels Bunkenburg authored 7 years ago
  
  16654df4
- Add data type translation · 8ad7cbed
  Niels Bunkenburg authored 7 years ago
  
  8ad7cbed
Aug 30, 2017
- Currified language-coq · 4116a3d5
  Niels Bunkenburg authored 7 years ago
  
  4116a3d5
- Add language-coq files · 5499ce4c
  Niels Bunkenburg authored 7 years ago
  
  5499ce4c
- Remove language-coq submodule · 284d8a3c
  Niels Bunkenburg authored 7 years ago
  
  284d8a3c
- Add language-coq submodule · 9db52d4e
  Niels Bunkenburg authored 7 years ago
  
  9db52d4e
Aug 29, 2017
- Add Property translation · a51f4d6d
  Niels Bunkenburg authored 7 years ago
  
  a51f4d6d
- Finish FuncDecl translation · 977ebad3
  Niels Bunkenburg authored 7 years ago
  
  977ebad3
- Add ProofCurry · 265d6b36
  Niels Bunkenburg authored 7 years ago
  
  265d6b36
Jul 31, 2017
- Add type annotation · 5bdfd896
  Niels Bunkenburg authored 7 years ago
  
  5bdfd896
- Add ProofCurry.Files · c90e32a9
  Niels Bunkenburg authored 7 years ago
  
  c90e32a9
- Rename ProofCurry · f8e1ab0a
  Niels Bunkenburg authored 7 years ago
  
  f8e1ab0a
- Add first version of Coq program representation · 3e7d7b47
  Niels Bunkenburg authored 7 years ago
  
  3e7d7b47
Jun 18, 2017
- Add function to flatten let expressions · 844458b9
  Niels Bunkenburg authored 7 years ago
  
  844458b9
- Add parentheses to complex type arguments · f53568b2
  Niels Bunkenburg authored 7 years ago
  
  f53568b2
- Finish transition to Pretty library · 887c78a6
  Niels Bunkenburg authored 7 years ago
  
  887c78a6
Jun 17, 2017
- Change occurrences of `sep` to `hsep` where necessary · e9e470c4
  Niels Bunkenburg authored 7 years ago
  
  e9e470c4
- Use pretty library to format output for function declarations · f26cb721
  Niels Bunkenburg authored 7 years ago
  
  f26cb721
- Use Pretty library to format output for data types · dee43b5d
  Niels Bunkenburg authored 7 years ago
  
  dee43b5d
Jun 11, 2017
- Update README.md · a46d9efb
  Niels Bunkenburg authored 7 years ago
  
  a46d9efb
- Add experimental let translation · 56b55855
  Niels Bunkenburg authored 7 years ago
  
  56b55855
- Add mechanism to blacklist specific functions · 3562145a
  Niels Bunkenburg authored 7 years ago
  
  3562145a
Jun 10, 2017
- Add recursion detection · 86814f45
  Niels Bunkenburg authored 7 years ago
  
  86814f45
- Add 'Arguments x {_}.' statements for polymorphic data types · fb93fee9
  Niels Bunkenburg authored 7 years ago
  
  fb93fee9
- Add qualified name mapping · 229edc0d
  Niels Bunkenburg authored 7 years ago
  
  229edc0d
Jun 03, 2017
- Begin prop translation · cd5d9021
  Niels Bunkenburg authored 7 years ago
  
  cd5d9021