Ecosyste.ms: Issues

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

GitHub / epfl-lara/leon-web issues and pull requests

#26 - Demo not working

Issue - State: closed - Opened by artursoler over 7 years ago - 3 comments

#25 - Fix bug where invariant inference engine would not be run when needed

Pull Request - State: closed - Opened by romac over 7 years ago

#24 - Make sure compilation errors do not persist between compilation runs

Pull Request - State: closed - Opened by romac over 7 years ago - 1 comment

#23 - Extract compilation-related code into its own CompilationWorker

Pull Request - State: closed - Opened by romac almost 8 years ago - 4 comments

#22 - Do not crash when GitHub or Tequila OAuth params are missing

Pull Request - State: closed - Opened by romac almost 8 years ago - 1 comment

#21 - Add Tequila authentication and repositories

Pull Request - State: closed - Opened by romac almost 8 years ago - 3 comments

#20 - Webbuilding integration

Pull Request - State: closed - Opened by MikaelMayer over 8 years ago

#19 - Boopickle

Pull Request - State: closed - Opened by MikaelMayer over 8 years ago

#18 - attempt to fix w.r.t. the most recent leon master

Pull Request - State: closed - Opened by MikaelMayer over 8 years ago - 1 comment

#17 - Persist sessions across server restarts

Pull Request - State: closed - Opened by romac over 8 years ago

#16 - String display

Pull Request - State: closed - Opened by MikaelMayer over 8 years ago

#15 - Add interface for performing Git operations

Pull Request - State: closed - Opened by romac over 8 years ago - 1 comment

#14 - added a how_to_run_a_leon_server_on_localhost section to README.md

Pull Request - State: closed - Opened by TDupriez over 8 years ago

#13 - String display

Pull Request - State: closed - Opened by MikaelMayer over 8 years ago - 2 comments
Labels: enhancement

#12 - Make sure to not show the login dialog again if user is logged-in + bug fixes

Pull Request - State: closed - Opened by romac almost 9 years ago

#11 - Treat repository as a project

Pull Request - State: closed - Opened by romac almost 9 years ago

#10 - Configure the path to the Git working copies in setup.conf

Pull Request - State: closed - Opened by romac almost 9 years ago - 1 comment

#9 - Better view of reason if empty (not displaying empty parentheses)

Pull Request - State: closed - Opened by MikaelMayer almost 9 years ago

#8 - Fixed bug of termination not working on web interface.

Pull Request - State: closed - Opened by MikaelMayer almost 9 years ago

#7 - Making the Orb interface better

Pull Request - State: closed - Opened by ravimad almost 9 years ago - 1 comment

#6 - Let users load files from a GitHub repository

Pull Request - State: closed - Opened by romac almost 9 years ago

#5 - Scalajs

Pull Request - State: closed - Opened by MikaelMayer almost 9 years ago

#4 - use of undeclared variable

Issue - State: closed - Opened by MikaelMayer about 9 years ago - 2 comments

#3 - Windows for leon-web to work.

Pull Request - State: closed - Opened by MikaelMayer about 9 years ago - 1 comment

#2 - Display more details about termination checking

Pull Request - State: closed - Opened by samuelgruetter over 9 years ago - 5 comments

#1 - A black-white theme for the UI

Pull Request - State: closed - Opened by ghost about 11 years ago - 2 comments