Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / AeneasVerif/aeneas issues and pull requests

#27 - Use continuations for the backward functions

Issue - State: closed - Opened by sonmarcho over 1 year ago

#26 - Use namespaces and shorten the generated names

Issue - State: closed - Opened by sonmarcho over 1 year ago - 1 comment

#25 - Make the bounds for `isize`/`usize` opaque in F*

Issue - State: open - Opened by sonmarcho over 1 year ago

#23 - Improve the performance of unit tests in HOL4

Issue - State: open - Opened by sonmarcho over 1 year ago

#22 - Add checks for uniform polymorphisms (HOL4)

Issue - State: open - Opened by sonmarcho over 1 year ago

#21 - Add support for mutually recursive functions in Lean

Issue - State: closed - Opened by sonmarcho over 1 year ago - 1 comment

#20 - Activate the unit tests for Lean

Issue - State: closed - Opened by sonmarcho over 1 year ago

#19 - Improve handling of opaque and external definitions in Coq and Lean

Issue - State: closed - Opened by sonmarcho over 1 year ago - 1 comment

#18 - Remove the sorries from the Lean backend

Issue - State: closed - Opened by sonmarcho over 1 year ago - 6 comments

#17 - Add a backend for HOL4

Pull Request - State: closed - Opened by sonmarcho over 1 year ago

#16 - Update README about Coq backend support

Pull Request - State: closed - Opened by dconnolly over 1 year ago

#15 - Experimental Lean4 backend

Pull Request - State: closed - Opened by msprotz almost 2 years ago - 3 comments

#14 - Implement support for loops

Pull Request - State: closed - Opened by sonmarcho almost 2 years ago

#13 - Improve the Coq backend

Pull Request - State: closed - Opened by sonmarcho about 2 years ago

#12 - Add a Coq backend

Pull Request - State: closed - Opened by sonmarcho about 2 years ago

#11 - Add a Nix derivation

Pull Request - State: closed - Opened by sonmarcho about 2 years ago

#10 - Remove discriminant reads and other changes

Pull Request - State: closed - Opened by sonmarcho about 2 years ago

#9 - Cleanup in preparation of the joins

Pull Request - State: closed - Opened by sonmarcho about 2 years ago

#8 - Move some files to an ML library in Charon

Pull Request - State: closed - Opened by sonmarcho about 2 years ago

#7 - Reorganize and cleanup the project

Pull Request - State: closed - Opened by sonmarcho about 2 years ago

#6 - Generate documentation

Pull Request - State: closed - Opened by sonmarcho about 2 years ago

#5 - Add meta-data (spans) to various definitions

Pull Request - State: closed - Opened by sonmarcho about 2 years ago

#4 - Update the code to account for changes in Charon

Pull Request - State: closed - Opened by sonmarcho about 2 years ago

#3 - Update the README

Pull Request - State: closed - Opened by sonmarcho about 2 years ago

#2 - Some more logic to work on OSX

Pull Request - State: closed - Opened by msprotz about 2 years ago

#1 - Support for globals

Pull Request - State: closed - Opened by Dwarfobserver over 2 years ago