Ecosyste.ms: Issues

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

GitHub / leonardoalt/adt_transform issues and pull requests

#25 - Flatten nested arrays sorts that use tuples as elements

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

#24 - Avoid variable name conflict

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

#23 - Fix `as const`

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

#22 - Flatten arrays sorts that use tuples as elements

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

#21 - Flatten selects for arrays that use tuple constructor as index

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

#20 - Pretty print the output

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

#19 - Test that transformation preserves satisfiability

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

#18 - Flatten arrays sorts that use tuples as index in quantified vars

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

#17 - Flatten stores for arrays that use tuples as index

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

#16 - Flatten selects for arrays that use variable tuple as index

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

#15 - Flatten arrays sorts that use tuples as index in declare-fun

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

#13 - New variable names need a unique id to avoid collisions

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

#12 - transform tuple variables inside function applications

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

#11 - Assert that generated file is parseable

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

#10 - remove variable declarations of type tuple inside quantifiers

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

#9 - write tests ffs

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

#8 - Transform nested tuples

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

#7 - Transform tuple accessors over variables

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

#6 - Transform declare-fun for functions that take tuples as arguments

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

#5 - transform tuple constructors inside function applications

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

#4 - transform tuple constructors inside equalities

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

#3 - transform variable declarations of type tuple inside quantifiers

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

#2 - remove declare-const of type tuple

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

#1 - transform declare-const of type tuple

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

#1 - transform declare-const of type tuple

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