Ecosyste.ms: Issues

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

GitHub / colis-anr/colis-language issues and pull requests

#135 - Refactor module SymbolicUtility

Pull Request - State: closed - Opened by benozol almost 5 years ago

#134 - Add a concrete backend to the symbolic engine

Pull Request - State: open - Opened by benozol almost 5 years ago - 2 comments

#133 - Plug transducers backend into CLI of symbolic interpreter

Pull Request - State: closed - Opened by benozol almost 5 years ago - 2 comments

#132 - Rework Dockerfile and improve CI

Pull Request - State: closed - Opened by Niols almost 5 years ago - 1 comment

#131 - Shadow aware printing

Pull Request - State: closed - Opened by Niols almost 5 years ago - 7 comments

#130 - Constraint systems should only return an option; not a list.

Issue - State: open - Opened by Niols almost 5 years ago

#129 - Remove hints in constraint variables

Issue - State: closed - Opened by Niols almost 5 years ago - 2 comments

#128 - Avoid replaying the proofs in all contexts for a faster CI?

Issue - State: closed - Opened by Niols almost 5 years ago - 2 comments

#127 - Drop support for OCaml < 4.08.0?

Issue - State: closed - Opened by Niols almost 5 years ago - 3 comments

#126 - Shadow aware printing

Pull Request - State: closed - Opened by Niols almost 5 years ago - 1 comment

#125 - Functorize symbolic engine, mixed case specs, and document basic symbolic utilities

Pull Request - State: closed - Opened by benozol almost 5 years ago - 25 comments

#124 - Clean interface of module Colis

Pull Request - State: closed - Opened by benozol almost 5 years ago - 2 comments

#123 - Efficient concat for state lists in symbolic interpreter

Issue - State: closed - Opened by benozol almost 5 years ago

#122 - Mixed case specs

Pull Request - State: closed - Opened by benozol almost 5 years ago - 3 comments

#121 - Escaping characters kept during the whole toolchain

Issue - State: open - Opened by Niols almost 5 years ago - 8 comments

#120 - Update why3

Pull Request - State: closed - Opened by benozol almost 5 years ago - 1 comment

#119 - Root variables in case specification

Pull Request - State: closed - Opened by benozol almost 5 years ago - 2 comments

#118 - CI broken because of the installation of Why3 via OPAM

Issue - State: closed - Opened by Niols almost 5 years ago - 2 comments
Labels: waiting

#117 - Functorize symbolic engine

Pull Request - State: closed - Opened by benozol almost 5 years ago - 8 comments

#116 - Functorize Symbolic Engine

Issue - State: closed - Opened by Niols about 5 years ago - 5 comments

#115 - Fix clause in SymbolicUtility.failure

Pull Request - State: closed - Opened by benozol about 5 years ago - 3 comments

#114 - Incomplete behaviour for utilities

Pull Request - State: closed - Opened by benozol about 5 years ago - 7 comments

#113 - Clarify semantics

Pull Request - State: closed - Opened by benozol over 5 years ago

#112 - Readable FS constraint in output

Issue - State: open - Opened by benozol over 5 years ago - 1 comment

#111 - Wrapper around Cmdliner to have easy command-line parsing

Pull Request - State: closed - Opened by Niols over 5 years ago - 7 comments

#110 - rm: correct handling of options

Issue - State: closed - Opened by Niols over 5 years ago

#109 - symbolic utilities : list of options that are ignored

Issue - State: closed - Opened by treinen over 5 years ago - 3 comments

#108 - mkdir: should handle options

Issue - State: open - Opened by treinen over 5 years ago

#107 - Add ands and ors to concrete syntax

Pull Request - State: closed - Opened by benozol over 5 years ago - 7 comments

#106 - Irreducible clauses

Pull Request - State: closed - Opened by Niols over 5 years ago

#105 - Separate traces and errors

Pull Request - State: closed - Opened by benozol over 5 years ago

#104 - Extend colis with and/or operators on booleans

Issue - State: closed - Opened by yurug over 5 years ago - 1 comment

#103 - Utilities traces should not appear in stdout

Issue - State: closed - Opened by yurug over 5 years ago - 2 comments

#102 - Spring cleanup

Pull Request - State: closed - Opened by benozol over 5 years ago - 6 comments

#101 - Prove over-approximation of symbolic interpreter

Pull Request - State: closed - Opened by benozol almost 6 years ago - 1 comment

#100 - Fix the CI

Issue - State: closed - Opened by benozol almost 6 years ago - 5 comments

#99 - Fix the installation of E in the Dockerfile

Issue - State: closed - Opened by Niols almost 6 years ago

#98 - reading in a saved contents; implement dpkg -L

Issue - State: closed - Opened by treinen almost 6 years ago - 4 comments

#97 - Move CWD from symbolic state to concrete state

Pull Request - State: closed - Opened by benozol almost 6 years ago

#96 - lib/constraints is missing stuff

Issue - State: closed - Opened by treinen almost 6 years ago - 1 comment

#95 - test -h

Issue - State: closed - Opened by treinen almost 6 years ago - 2 comments

#94 - combinators of utilities

Issue - State: closed - Opened by treinen almost 6 years ago - 1 comment

#93 - Prepare use of symbolic interpreter API in Debian orchestration

Pull Request - State: closed - Opened by benozol almost 6 years ago

#92 - Introduce a combinator to combine utilities in sequence.

Pull Request - State: closed - Opened by yurug almost 6 years ago - 1 comment

#91 - create a module per utility

Issue - State: closed - Opened by treinen almost 6 years ago - 3 comments

#90 - initial environment

Issue - State: closed - Opened by treinen almost 6 years ago - 3 comments

#89 - we need an ocaml-dpkg

Issue - State: closed - Opened by treinen almost 6 years ago - 2 comments

#88 - support for update-alternatives: preliminary

Pull Request - State: closed - Opened by claudemarche almost 6 years ago

#87 - Exported variables

Pull Request - State: closed - Opened by benozol almost 6 years ago - 10 comments

#86 - Implement CPU time limit for symbolic execution/constraint solver

Pull Request - State: closed - Opened by claudemarche almost 6 years ago - 1 comment

#85 - Symbolic interpretation of `rm`

Pull Request - State: closed - Opened by yurug almost 6 years ago

#84 - Support for which utility

Pull Request - State: closed - Opened by claudemarche almost 6 years ago

#83 - master branch does not compile on my machine

Issue - State: closed - Opened by yurug almost 6 years ago - 5 comments

#82 - Use incompleteness behaviour

Pull Request - State: closed - Opened by benozol almost 6 years ago

#81 - Refactor semantics and fix variable environment

Pull Request - State: closed - Opened by benozol almost 6 years ago - 8 comments

#80 - Command line arguments

Pull Request - State: closed - Opened by benozol almost 6 years ago - 1 comment

#79 - Proove termination of symbolic execution

Pull Request - State: closed - Opened by benozol almost 6 years ago - 6 comments

#78 - Faster ci

Pull Request - State: closed - Opened by benozol almost 6 years ago
Labels: wip

#76 - Make interp_utility take the environment

Pull Request - State: closed - Opened by Niols almost 6 years ago - 5 comments

#75 - support for test -a, -o and !

Pull Request - State: closed - Opened by claudemarche almost 6 years ago

#75 - support for test -a, -o and !

Pull Request - State: closed - Opened by claudemarche almost 6 years ago

#74 - support for test : -x and !=

Pull Request - State: closed - Opened by claudemarche almost 6 years ago

#73 - Add utility `which`

Issue - State: closed - Opened by Niols almost 6 years ago - 21 comments

#72 - Command line flag to print symbolic states as dot files

Pull Request - State: closed - Opened by benozol almost 6 years ago - 2 comments

#71 - Test n z eq

Pull Request - State: closed - Opened by claudemarche almost 6 years ago

#70 - Incompleteness behaviour for unknown utilities and options

Issue - State: closed - Opened by benozol about 6 years ago - 2 comments

#69 - Proove under-approximation of symbolic execution

Pull Request - State: closed - Opened by benozol about 6 years ago
Labels: wip

#68 - Support for absolute sources taken from a given directory

Pull Request - State: closed - Opened by Niols about 6 years ago

#67 - Extended support for test utility

Pull Request - State: closed - Opened by claudemarche about 6 years ago

#66 - Expose pp_sat_conj_as_dot

Pull Request - State: closed - Opened by Niols about 6 years ago

#65 - Full support of the symbolic utility test

Issue - State: closed - Opened by Niols about 6 years ago - 26 comments

#64 - Replace polymorphic sets in symbolic execution

Issue - State: open - Opened by benozol about 6 years ago - 10 comments

#63 - conversion of the case construct

Pull Request - State: closed - Opened by Niols about 6 years ago - 2 comments

#62 - Expose Clause.pp_as_dot

Issue - State: closed - Opened by Niols about 6 years ago

#61 - Function lost in conversion

Issue - State: closed - Opened by benozol about 6 years ago

#60 - Complete symbolic execution

Pull Request - State: closed - Opened by benozol about 6 years ago - 16 comments

#59 - remove dependency in logs; fix #58

Pull Request - State: closed - Opened by Niols about 6 years ago

#58 - please get rid of dependency on logs

Issue - State: closed - Opened by treinen about 6 years ago

#57 - remove morsmall from pin-depends

Pull Request - State: closed - Opened by Niols about 6 years ago - 1 comment

#56 - Bounded while loops in symbolic execution

Issue - State: closed - Opened by benozol about 6 years ago - 7 comments

#55 - Proove properties of symbolic execution

Issue - State: closed - Opened by benozol about 6 years ago - 4 comments

#54 - Reorganize Colis.run_symbolic and return false for any failures

Pull Request - State: closed - Opened by benozol about 6 years ago - 4 comments

#53 - Symbolic execution return codes

Issue - State: closed - Opened by benozol about 6 years ago

#52 - Complete symbolic interpretation

Pull Request - State: closed - Opened by benozol about 6 years ago - 5 comments

#52 - Complete symbolic interpretation

Pull Request - State: closed - Opened by benozol about 6 years ago - 5 comments

#51 - Complete symbolic execution

Issue - State: closed - Opened by benozol about 6 years ago

#50 - Implement utility `[`

Issue - State: closed - Opened by benozol about 6 years ago

#49 - Move lexer and parser back where they belong

Pull Request - State: closed - Opened by Niols about 6 years ago - 1 comment

#48 - harmonize handling of return codes

Pull Request - State: closed - Opened by Niols about 6 years ago - 12 comments

#47 - Add utility cd

Pull Request - State: closed - Opened by Niols about 6 years ago - 14 comments

#46 - Fix CoLiS printer for top-level `begin`/`end`

Pull Request - State: closed - Opened by benozol about 6 years ago - 3 comments

#45 - Syntax error in Shell CoLis

Issue - State: closed - Opened by benozol about 6 years ago

#44 - Automated tests on specifications

Issue - State: open - Opened by Niols about 6 years ago - 2 comments

#42 - Add naive implementation of a full first-order procedure

Issue - State: closed - Opened by Niols about 6 years ago - 1 comment

#41 - Naive implementation of constraints

Pull Request - State: closed - Opened by Niols about 6 years ago - 48 comments

#40 - Restart symbolic execution

Pull Request - State: closed - Opened by benozol about 6 years ago - 23 comments

#39 - Support `set -e` and `set +e`

Issue - State: open - Opened by Niols about 6 years ago

#38 - Merge functions branch

Pull Request - State: closed - Opened by benozol about 6 years ago