Ecosyste.ms: Issues

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

GitHub / vale1410/bule issues and pull requests

#58 - std lib Sinz Sequential Counter spurious activation

Issue - State: open - Opened by AbdallahS about 2 years ago

#57 - Std lib inconsistent over index vs std_index

Issue - State: open - Opened by AbdallahS about 2 years ago

#56 - better error message when #ground is missing.

Issue - State: open - Opened by vale1410 over 2 years ago

#54 - Wrong quantifier for blocks labelled with a negative number

Issue - State: closed - Opened by AbdallahS over 2 years ago

#53 - prefix standard library predicates with std_

Issue - State: open - Opened by vale1410 over 2 years ago

#52 - introduce ranges in definitions

Issue - State: open - Opened by vale1410 over 2 years ago

#51 - Don't show negative literals by default

Issue - State: closed - Opened by AbdallahS over 2 years ago

#50 - Display more information from the original unground program

Issue - State: open - Opened by vale1410 over 2 years ago
Labels: enhancement

#48 - Introduce syntax "#forall" without specifying the level

Issue - State: open - Opened by AbdallahS over 2 years ago

#46 - performance test 2

Issue - State: open - Opened by vale1410 almost 3 years ago - 1 comment

#45 - performance test 1

Issue - State: closed - Opened by vale1410 almost 3 years ago

#44 - order of arithemtic expression matter

Issue - State: open - Opened by vale1410 almost 3 years ago

#43 - Generate clauses of which

Issue - State: open - Opened by vale1410 almost 3 years ago - 1 comment

#42 - bule version

Issue - State: closed - Opened by vale1410 almost 3 years ago

#41 - Syntax in bule ground for variable declaration

Issue - State: closed - Opened by vale1410 almost 3 years ago - 1 comment

#40 - Using wrong brackets: better error message

Issue - State: open - Opened by vale1410 almost 3 years ago

#39 - More information in Error for debugging : line numbers

Issue - State: open - Opened by vale1410 almost 3 years ago

#37 - fix output syntax

Issue - State: closed - Opened by vale1410 about 3 years ago

#36 - Fixed comment handling for solvers

Pull Request - State: closed - Opened by SinghArshdeep about 3 years ago

#35 - BUG: Comments not properly handled

Issue - State: closed - Opened by SinghArshdeep about 3 years ago - 1 comment

#33 - Add introduction to bule notes, and fix readme examples

Pull Request - State: closed - Opened by angary about 3 years ago

#32 - Correct syntax to use bule2 in Sudoku examples

Pull Request - State: closed - Opened by angary about 3 years ago

#31 - Bule2 syntax is not used in the README

Issue - State: closed - Opened by angary about 3 years ago - 1 comment

#30 - Variables in domains not matching

Issue - State: closed - Opened by angus-pearson over 3 years ago

#29 - Ship a QBF solver with Bule2.

Issue - State: closed - Opened by AbdallahS over 3 years ago

#28 - Introduce a #show command

Issue - State: closed - Opened by angary over 3 years ago - 1 comment

#27 - Introdiuce Bule solve option to avoid printing variable assigned false

Issue - State: closed - Opened by zahradm over 3 years ago - 1 comment

#26 - Variables within functions not matching in Bule2

Issue - State: closed - Opened by angus-pearson over 3 years ago

#25 - Introduce error detection mechanism in the grounding

Issue - State: open - Opened by AbdallahS over 3 years ago - 1 comment
Labels: enhancement

#24 - Introduce "bule2 --blame"

Issue - State: open - Opened by AbdallahS over 3 years ago
Labels: enhancement

#23 - Let bule read from stdin

Issue - State: open - Opened by AbdallahS over 3 years ago

#22 - Allow multiple search variable declaration sentences per line.

Issue - State: closed - Opened by AbdallahS over 3 years ago - 1 comment

#21 - Bule DIMACS output file could be more readable

Issue - State: open - Opened by jajushubh25 over 3 years ago - 1 comment

#19 - Single literals giving unexpected results

Issue - State: closed - Opened by jajushubh25 over 3 years ago - 1 comment

#18 - bule solve doesn't display propagated literals.

Issue - State: closed - Opened by ligam0414 over 3 years ago - 1 comment

#17 - bule version check

Issue - State: closed - Opened by ligam0414 over 3 years ago - 1 comment

#16 - bule dimacs doesn't seem to work

Issue - State: closed - Opened by jajushubh25 over 3 years ago - 2 comments

#14 - Preserve literal order in grounding

Issue - State: open - Opened by AbdallahS over 3 years ago

#13 - Line number in error message is wrong when there are multiple files.

Issue - State: closed - Opened by AbdallahS over 3 years ago - 1 comment

#12 - Negation in Generator and Free Variables

Issue - State: open - Opened by vale1410 over 3 years ago - 2 comments

#11 - Dont allow free variables

Issue - State: open - Opened by vale1410 almost 4 years ago

#10 - Fix std Err and Output of Bule regarding pipe from Solvers

Issue - State: open - Opened by vale1410 almost 4 years ago - 1 comment

#9 - Distinguish `bule dimacs` and `bule ground`

Issue - State: closed - Opened by vale1410 almost 4 years ago

#7 - Allow for Implication `->` in the Clauses

Issue - State: closed - Opened by vale1410 almost 4 years ago - 1 comment

#6 - Bule doesnt solve equations with `2*X==4`

Issue - State: open - Opened by vale1410 almost 4 years ago

#5 - Bule doesnt complain about wrong , and : in iterators.

Issue - State: closed - Opened by vale1410 almost 4 years ago - 1 comment

#4 - Alternative notation for quantifiers

Issue - State: open - Opened by AbdallahS almost 4 years ago

#3 - Grounding of arithmetic involving negative integers

Issue - State: closed - Opened by AbdallahS almost 4 years ago

#2 - Flag to remove solver output

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

#1 - Bule command not working

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