Version 1.1.0#29

Merged

nmacedo merged 101 commits intomasterfrom

Apr 26, 2019

Commits on Jun 21, 2018

created unrolled state
nmacedo
committed

Commits on Jun 26, 2018

better bounds
nmacedo
committed
past tests
nmacedo
committed

Commits on Jun 27, 2018

attempt to better past bounds
nmacedo
committed

Commits on Jun 28, 2018

past ltl with single state sig
nmacedo
committed

Commits on Jul 3, 2018

improved performance past encoding
nmacedo
committed

Commits on Jul 20, 2018

fixed bugs on past encoding, cleaned up, documentation
nmacedo
committed

Commits on Jul 23, 2018

fixed tests
nmacedo
committed

Commits on Sep 21, 2018

test os on termination
nmacedo
committed
alternative past unrolling encoding
nmacedo
committed
example updated
nmacedo
committed
tests updated
nmacedo
committed

Commits on Sep 25, 2018

static temporal bounds, simplified symbolic bounds, fixed bug on symbolic difference
nmacedo
committed
instance formula reification first draft
nmacedo
committed
proper loop reification
nmacedo
committed
missing difference bounds replacer
nmacedo
committed
solution iterator at electrod
nmacedo
committed
do not translate reified relations
nmacedo
committed
temporal instances + reif clean up and docs
nmacedo
committed
instance translation into some disj
nmacedo
committed

Commits on Oct 1, 2018

tests updated
nmacedo
committed

Commits on Oct 12, 2018

unification of temporal instances as sequences/static state idiom
nmacedo
committed
unification of temporal instances tests
nmacedo
committed

Commits on Oct 14, 2018

pulled resolution out of translation
nmacedo
committed

Commits on Oct 15, 2018

fixed bug on int universe
nmacedo
committed
simplified temporal translation, assumed infinite
nmacedo
committed
fixed bug on ltl translation
nmacedo
committed
automatic division when simplified temporal bounds
nmacedo
committed
missing alternative past ltl encoding
nmacedo
committed
all temporal unit tests updated and passing
nmacedo
committed

Commits on Oct 17, 2018

sat info regarding unboundedness
nmacedo
committed
global can be split
nmacedo
committed

Commits on Oct 18, 2018

fixed bug on decomposed no more configs
nmacedo
committed
tests updated
nmacedo
committed

Commits on Oct 19, 2018

fixed bug on temporal instance
nmacedo
committed

Commits on Oct 23, 2018

Merge branch 'master' into simplified-traces
nmacedo
committed
Merge branch 'master' into simplified-traces
nmacedo
committed

Commits on Oct 30, 2018

missing neq method

Nuno Macedo
authored and
Nuno Macedo
committed
fixed bug on trivially unsat pmaxsat
nmacedo
committed
use same lib
nmacedo
committed
disabled yices, unpredictable
nmacedo
committed
fetched no overflow fixes from alloy5 repo
nmacedo
committed
updated tests from alloy5 repo, all passing
nmacedo
committed

Commits on Dec 11, 2018

fixed bug on trivial problems
nmacedo
committed
fixed bug on non-decomposed temporal problems
nmacedo
committed
refactored variable relations, now inner class
nmacedo
committed

Commits on Feb 7, 2019

avoid always on static symbolic bounds
nmacedo
committed
better log when integrated fails
nmacedo
committed
tests proper length options
nmacedo
committed
fixed bug on slicing with trivial iteration
nmacedo
committed
fixed bug on trivial iteration
nmacedo
committed
tests updated
nmacedo
committed

Commits on Feb 13, 2019

fixed bug on iteration of integrated
nmacedo
committed
tighter restrictions on unrolled loops
nmacedo
committed
clone bounds when partitioning
nmacedo
committed
when creating amalgamated temporal instance, use univ without time
nmacedo
committed
sat level temporal iteration, first draft
nmacedo
committed
fixed sat iteration with lower bounds
nmacedo
committed
tests updated
nmacedo
committed
sat iteration enabled
nmacedo
committed

Commits on Feb 15, 2019

support for 2 iteration modes
nmacedo
committed
iteration tests updated
nmacedo
committed

Commits on Feb 21, 2019

support for skolems on electrod
nmacedo
committed
symmetry detector ignores reified atoms
nmacedo
committed
instance formulation updates bounds; support in bounded solver
nmacedo
committed

Commits on Feb 22, 2019

fixed bug on single solve
nmacedo
committed
fixed bug on temporal expanding constants
nmacedo
committed
bounded instance formulation ignores relations not occurring in formula
nmacedo
committed
use skolem relations from alloy5
nmacedo
committed
fix bug on unrolled universe
nmacedo
committed
use skolem relations from alloy5
nmacedo
committed
disabled iteration over skolems on temporal
nmacedo
committed
iteration tests updated
nmacedo
committed

Commits on Feb 25, 2019

documentation
nmacedo
committed
documentation
nmacedo
committed
refactored instance formulation
nmacedo
committed
documentation
nmacedo
committed
evaluator for formulas and int expressions at particular instants
nmacedo
committed

Commits on Feb 28, 2019

translation refactored
nmacedo
committed
tests updated
nmacedo
committed

Commits on Mar 26, 2019

Merge branch 'instance-iterator' into dev
nmacedo
committed
regression test
nmacedo
committed
examples updated
nmacedo
committed
interpret unroll from instance
nmacedo
committed
fixed bug on expanding universe for trace temporal instances
nmacedo
committed

Commits on Mar 27, 2019

ubd comment
nmacedo
committed
do not partition unmodifiable
nmacedo
committed
fixed tests
nmacedo
committed

Commits on Mar 29, 2019

note
nmacedo
committed

Commits on Apr 4, 2019

normalized access to states
nmacedo
committed

Commits on Apr 15, 2019

missing atom relations
nmacedo
committed

Commits on Apr 23, 2019

evaluation of temporal instances uses the static universe
nmacedo
committed
new tests, variable ints
nmacedo
committed
fixed bug on symbolic static bounds depending on variable rels (close #35)
nmacedo
committed
fixed bug on bound resolution for temporal bounds
nmacedo
committed
fixed bug on formula slicer for binary conjunctions
nmacedo
committed

Commits on Apr 25, 2019

some clean up and documentation
nmacedo
committed

Commits on Apr 26, 2019

updated all tests to current version
nmacedo
committed
protected electrod keywords (close #30)
nmacedo
committed
added test timeouts
nmacedo
committed
added test timeouts
nmacedo
committed