Code

Electrum V2.1#54

Code

Merged

nmacedo merged 216 commits intomasterhaslab/Electrum2:masterfrom v2.1haslab/Electrum2:v2.1Copy head branch name to clipboardNov 15, 2020

+4,838-4,562

Commits

Commits on Jul 30, 2020

• pardinus updated

  nmacedo

  committed
  013f750

  Copy full SHA for 013f750

• missing imports

  nmacedo

  committed
  b7a37f0

  Copy full SHA for b7a37f0

• electrod updated

  nmacedo

  committed
  15b8e66

  Copy full SHA for 15b8e66

• parser updated

  nmacedo

  committed
  60e70d5

  Copy full SHA for 60e70d5

• clean prints

  nmacedo

  committed
  2022696

  Copy full SHA for 2022696

• changed path scope to step

  nmacedo

  committed
  23952e9

  Copy full SHA for 23952e9

• changed path scope to step

  nmacedo

  committed
  b186ac9

  Copy full SHA for b186ac9

• replaced primes by quotes on legacy alloy models

  nmacedo

  committed
  418762e

  Copy full SHA for 418762e

• iteratively show steps and var stats (close #6, close #20)

  nmacedo

  committed
  b4a2764

  Copy full SHA for b4a2764

• fixed unary ops parsing error, trace seq precedence (close #24, close #31)

  nmacedo

  committed
  932943f

  Copy full SHA for 932943f

• replaced primes by quotes on util models

  nmacedo

  committed
  3964884

  Copy full SHA for 3964884

• cleaned protected keywords from legacy models, appended quote

  nmacedo

  committed
  4521cea

  Copy full SHA for 4521cea

Commits on Jul 31, 2020

• pardinus upd

  nmacedo

  committed
  13a1ac3

  Copy full SHA for 13a1ac3

• Merge branch 'core' into visualiser

  nmacedo

  committed
  3414e72

  Copy full SHA for 3414e72

• Merge branch 'visualiser' into simulator

  nmacedo

  committed
  1ed118c

  Copy full SHA for 1ed118c

• pardinus explorer updated

  nmacedo

  committed
  ca87903

  Copy full SHA for ca87903

• better nomenclature for steps

  nmacedo

  committed
  7d57e04

  Copy full SHA for 7d57e04

• proper error msg for step scopes (close #32)

  nmacedo

  committed
  21c3145

  Copy full SHA for 21c3145

• handle exact module params for var (close #28)

  nmacedo

  committed
  75190c5

  Copy full SHA for 75190c5

• better nomenclature for steps

  nmacedo

  committed
  d7aa47d

  Copy full SHA for d7aa47d

• better reporting for iterative solving

  nmacedo

  committed
  9630c9f

  Copy full SHA for 9630c9f

• improved reporting of mutable total order

  nmacedo

  committed
  6b85a05

  Copy full SHA for 6b85a05

• improved reporting of mutable total order

  nmacedo

  committed
  3f02453

  Copy full SHA for 3f02453

Commits on Aug 3, 2020

• fixed bug on 1 var scopes

  nmacedo

  committed
  b6d17d1

  Copy full SHA for b6d17d1

• disabled scopes for var subsigs

  nmacedo

  committed
  e87cc2c

  Copy full SHA for e87cc2c

• fixed bug on terminating processes

  nmacedo

  committed
  9ba8bd1

  Copy full SHA for 9ba8bd1

• Merge branch 'core' into visualiser

  nmacedo

  committed
  c5df7ec

  Copy full SHA for c5df7ec

• export to ltl generates valid electrum formulas (close #1)

  nmacedo

  committed
  854da08

  Copy full SHA for 854da08

• fixed inheritance for default variable dashed (close #17)

  nmacedo

  committed
  c02b9bb

  Copy full SHA for c02b9bb

• Merge branch 'core' into unbounded

  nmacedo

  committed
  aaa8703

  Copy full SHA for aaa8703

• minor typo

  nmacedo

  committed
  af2d923

  Copy full SHA for af2d923

• better reporting of invalid unbounded scopes

  nmacedo

  committed
  887ec2d

  Copy full SHA for 887ec2d

• better handling of errors in execute all

  nmacedo

  committed
  bd07cac

  Copy full SHA for bd07cac

• Merge branch 'core' into visualiser

  nmacedo

  committed
  d0807e5

  Copy full SHA for d0807e5

• Merge branch 'core' into unbounded

  nmacedo

  committed
  c0b091f

  Copy full SHA for c0b091f

• documentation

  nmacedo

  committed
  3a07dcb

  Copy full SHA for 3a07dcb

• pardinus updated

  nmacedo

  committed
  9f8f49a

  Copy full SHA for 9f8f49a

• missing bracket

  nmacedo

  committed
  edaacdc

  Copy full SHA for edaacdc

• Merge branch 'visualiser' into simulator

  nmacedo

  committed
  545be05

  Copy full SHA for 545be05

• updated iteration labels

  nmacedo

  committed
  5c1d4ef

  Copy full SHA for 5c1d4ef

• updated pardinus iteration api

  nmacedo

  committed
  6bbeb8d

  Copy full SHA for 6bbeb8d

Commits on Aug 5, 2020

• updated pardinus iteration api

  nmacedo

  committed
  eda2aaa

  Copy full SHA for eda2aaa

• reinstated ids on trace snapshot

  nmacedo

  committed
  5ceef03

  Copy full SHA for 5ceef03

Commits on Aug 6, 2020

• fixed iteration for plain alloy

  nmacedo

  committed
  88a5f2b

  Copy full SHA for 88a5f2b

• catch unsupported iteration

  nmacedo

  committed
  dc2e4c0

  Copy full SHA for dc2e4c0

• Merge branch 'core' into unbounded

  nmacedo

  committed
  fb8e4da

  Copy full SHA for fb8e4da

• report unsupported iteration

  nmacedo

  committed
  156a315

  Copy full SHA for 156a315

• pardinus updated

  nmacedo

  committed
  ce711f6

  Copy full SHA for ce711f6

• updated translate kodkod to java, pardinus

  nmacedo

  committed
  de741d5

  Copy full SHA for de741d5

• Merge branch 'core' into unbounded

  nmacedo

  committed
  321014a

  Copy full SHA for 321014a

• upd kodkod to java, unbounded

  nmacedo

  committed
  f4d64cf

  Copy full SHA for f4d64cf

Commits on Aug 7, 2020

• pardinus updated

  nmacedo

  committed
  1018f95

  Copy full SHA for 1018f95

• pardinus updated

  nmacedo

  committed
  f13ad42

  Copy full SHA for f13ad42

Commits on Aug 8, 2020

• initial support for decomposed analysis

  nmacedo

  committed
  ed3a121

  Copy full SHA for ed3a121

• cleanup some comments

  nmacedo

  committed
  7318caa

  Copy full SHA for 7318caa

• Merge branch 'core' into visualiser

  nmacedo

  committed
  d056ae7

  Copy full SHA for d056ae7

• Merge branch 'visualiser' into simulator

  nmacedo

  committed
  fd2a3a2

  Copy full SHA for fd2a3a2

• Merge branch 'core' into unbounded

  nmacedo

  committed
  90b62e7

  Copy full SHA for 90b62e7

• Merge branch 'core' into decomposed

  nmacedo

  committed
  5e882a0

  Copy full SHA for 5e882a0

Commits on Aug 9, 2020

• fixed decomposed analysis

  nmacedo

  committed
  87da7e0

  Copy full SHA for 87da7e0

• meta-data

  nmacedo

  committed
  8d20b9a

  Copy full SHA for 8d20b9a

• Merge branch 'core' into unbounded

  nmacedo

  committed
  116adf8

  Copy full SHA for 116adf8

• Merge branch 'core' into decomposed

  Show description for ef8a0b1
  nmacedo

  committed
  ef8a0b1

  Copy full SHA for ef8a0b1

• meta-data

  nmacedo

  committed
  263a22a

  Copy full SHA for 263a22a

• Merge branch 'core' into decomposed

  nmacedo

  committed
  b62c287

  Copy full SHA for b62c287

• comments

  nmacedo

  committed
  c35620f

  Copy full SHA for c35620f

• step reporting handled locally

  nmacedo

  committed
  d6f1252

  Copy full SHA for d6f1252

• Merge branch 'core' into decomposed

  nmacedo

  committed
  b600808

  Copy full SHA for b600808

• pardinus upd

  nmacedo

  committed
  91d82c5

  Copy full SHA for 91d82c5

• better reporting for hybrid

  nmacedo

  committed
  31aecff

  Copy full SHA for 31aecff

• meta-data

  nmacedo

  committed
  120ed18

  Copy full SHA for 120ed18

• meta-data

  nmacedo

  committed
  7e76e6c

  Copy full SHA for 7e76e6c

• Merge branch 'core' into unbounded

  nmacedo

  committed
  12590aa

  Copy full SHA for 12590aa

• cleaned debug info

  nmacedo

  committed
  783d490

  Copy full SHA for 783d490

• Merge branch 'core' into simulator

  nmacedo

  committed
  256ee47

  Copy full SHA for 256ee47

• Merge branch 'core' into decomposed

  nmacedo

  committed
  3533e73

  Copy full SHA for 3533e73

• better decomposed info

  nmacedo

  committed
  d1f471a

  Copy full SHA for d1f471a

• better smv reporting

  nmacedo

  committed
  d7f5234

  Copy full SHA for d7f5234

Commits on Aug 10, 2020

• docs

  nmacedo

  committed
  e256bcb

  Copy full SHA for e256bcb

• Merge branch 'core' into decomposed

  nmacedo

  committed
  53ae428

  Copy full SHA for 53ae428

• docs

  nmacedo

  committed
  fbd3c95

  Copy full SHA for fbd3c95

• code cleanup

  nmacedo

  committed
  8481b55

  Copy full SHA for 8481b55

• docs

  nmacedo

  committed
  2bf0273

  Copy full SHA for 2bf0273

• Merge branch 'core' into unbounded

  nmacedo

  committed
  1399b9f

  Copy full SHA for 1399b9f

• Merge branch 'core' into visualiser

  nmacedo

  committed
  e552a08

  Copy full SHA for e552a08

• docs

  nmacedo

  committed
  9259d41

  Copy full SHA for 9259d41

• Merge branch 'visualiser' into simulator

  nmacedo

  committed
  34d9a10

  Copy full SHA for 34d9a10

• code cleanup

  nmacedo

  committed
  9befc2a

  Copy full SHA for 9befc2a

• Merge branch 'visualiser' into simulator

  nmacedo

  committed
  81b3e05

  Copy full SHA for 81b3e05

• Merge branch 'core' into decomposed

  nmacedo

  committed
  6013e9a

  Copy full SHA for 6013e9a

• Merge branch 'unbounded' into v2.1

  nmacedo

  committed
  07a95af

  Copy full SHA for 07a95af

• Merge branch 'decomposed' into v2.1

  nmacedo

  committed
  21ef2fa

  Copy full SHA for 21ef2fa

• pardinus upd

  nmacedo

  committed
  430c677

  Copy full SHA for 430c677

• pardinus updated

  nmacedo

  committed
  85e0a0c

  Copy full SHA for 85e0a0c

Commits on Aug 11, 2020

• version info

  nmacedo

  committed
  00d1a25

  Copy full SHA for 00d1a25

• fixed bug on iteration op selection

  nmacedo

  committed
  2d52741

  Copy full SHA for 2d52741

• Merge branch 'simulator' into v2.1

  nmacedo

  committed
  81cedf5

  Copy full SHA for 81cedf5

• pardinus updated

  nmacedo

  committed
  4b64fc4

  Copy full SHA for 4b64fc4

• Merge branch 'simulator' into v2.1

  nmacedo

  committed
  4baf623

  Copy full SHA for 4baf623

• pardinus updated

  nmacedo

  committed
  c4c6e6a

  Copy full SHA for c4c6e6a

Commits on Sep 7, 2020

• pardinus updated

  nmacedo

  committed
  dcc8ccb

  Copy full SHA for dcc8ccb

• added precompiled amd64 electrod

  nmacedo

  committed
  faf281d

  Copy full SHA for faf281d

• minor clean up

  nmacedo

  committed
  771b00e

  Copy full SHA for 771b00e

• fixed imports for .md files

  nmacedo

  committed
  de6d472

  Copy full SHA for de6d472

Commits on Sep 10, 2020

• fixed swapped path labels

  nmacedo

  committed
  cedc4e7

  Copy full SHA for cedc4e7

• Merge branch 'visualiser' into simulator

  nmacedo

  committed
  32883b0

  Copy full SHA for 32883b0

• updated menu simulator labels

  nmacedo

  committed
  1c18fa0

  Copy full SHA for 1c18fa0

• reinstated ids on trace snapshot

  nmacedo

  committed
  70e06ce

  Copy full SHA for 70e06ce

• Merge branch 'visualiser' into simulator

  nmacedo

  committed
  18e5f08

  Copy full SHA for 18e5f08

• Merge branch 'simulator' into v2.1

  nmacedo

  committed
  ed59834

  Copy full SHA for ed59834

• Merge branch 'unbounded' into v2.1

  nmacedo

  committed
  673666e

  Copy full SHA for 673666e

Commits on Sep 18, 2020

• pardinus updated

  nmacedo

  committed
  3ae6ae7

  Copy full SHA for 3ae6ae7

• no longer quantifies ints on export to ltl

  nmacedo

  committed
  6390f77

  Copy full SHA for 6390f77

• no longer quantifies ints on export to ltl

  nmacedo

  committed
  69e0d4d

  Copy full SHA for 69e0d4d

• pardinus updated

  nmacedo

  committed
  5158482

  Copy full SHA for 5158482

• small code clean up

  nmacedo

  committed
  50bc0af

  Copy full SHA for 50bc0af

• viz, fixed zooming when multiple states

  nmacedo

  committed
  14694d6

  Copy full SHA for 14694d6

• viz, fixed zooming bug

  nmacedo

  committed
  d862978

  Copy full SHA for d862978

• updated class path

  nmacedo

  committed
  3cb32ed

  Copy full SHA for 3cb32ed

• Merge branch 'core' into visualiser

  nmacedo

  committed
  6bcb11f

  Copy full SHA for 6bcb11f

• Merge branch 'visualiser' into simulator

  nmacedo

  committed
  b555105

  Copy full SHA for b555105

• Merge branch 'core' into unbounded

  nmacedo

  committed
  4800322

  Copy full SHA for 4800322

• Merge branch 'core' into decomposed

  nmacedo

  committed
  3e1642d

  Copy full SHA for 3e1642d

• Merge branch 'simulator' into v2.1

  nmacedo

  committed
  135c1c2

  Copy full SHA for 135c1c2

• Merge branch 'unbounded' into v2.1

  nmacedo

  committed
  e7aeb08

  Copy full SHA for e7aeb08

• Merge branch 'decomposed' into v2.1

  nmacedo

  committed
  a288fef

  Copy full SHA for a288fef

• pardinus updated

  nmacedo

  committed
  af3b79b

  Copy full SHA for af3b79b

• updated class path

  nmacedo

  committed
  4eddf7a

  Copy full SHA for 4eddf7a

• pardinus updated

  nmacedo

  committed
  fa43169

  Copy full SHA for fa43169

Commits on Sep 19, 2020

• updated class path

  nmacedo

  committed
  e1a08e2

  Copy full SHA for e1a08e2

• Merge branch 'core' into visualiser

  nmacedo

  committed
  137f2a8

  Copy full SHA for 137f2a8

• Merge branch 'visualiser' into simulator

  nmacedo

  committed
  7e0d9b3

  Copy full SHA for 7e0d9b3

• Merge branch 'core' into unbounded

  nmacedo

  committed
  8d76356

  Copy full SHA for 8d76356

• Merge branch 'core' into decomposed

  nmacedo

  committed
  de31d44

  Copy full SHA for de31d44

• Merge branch 'simulator' into v2.1

  nmacedo

  committed
  63c8aab

  Copy full SHA for 63c8aab

• Merge branch 'unbounded' into v2.1

  nmacedo

  committed
  6e754d8

  Copy full SHA for 6e754d8

• Merge branch 'decomposed' into v2.1

  nmacedo

  committed
  1bea2f0

  Copy full SHA for 1bea2f0

• Merge branch 'v2.1' of https://github.com/nmacedo/Electrum2 into v2.1

  nmacedo

  committed
  ec517a6

  Copy full SHA for ec517a6

• Merge branch 'core' of https://github.com/haslab/Electrum2 into core

  nmacedo

  committed
  3b24869

  Copy full SHA for 3b24869

• Merge branch 'core' into visualiser

  nmacedo

  committed
  1c6b6f3

  Copy full SHA for 1c6b6f3

• Merge branch 'visualiser' into simulator

  nmacedo

  committed
  22b20ba

  Copy full SHA for 22b20ba

• Merge branch 'core' into unbounded

  nmacedo

  committed
  88db680

  Copy full SHA for 88db680

• Merge branch 'core' into decomposed

  nmacedo

  committed
  e7e0bfa

  Copy full SHA for e7e0bfa

• Merge branch 'visualiser' into v2.1

  nmacedo

  committed
  9b78cb9

  Copy full SHA for 9b78cb9

• Merge branch 'unbounded' into v2.1

  nmacedo

  committed
  25c6ec0

  Copy full SHA for 25c6ec0

• Merge branch 'decomposed' into v2.1

  nmacedo

  committed
  8a6f79f

  Copy full SHA for 8a6f79f

• pardinus updated

  nmacedo

  committed
  7baaa66

  Copy full SHA for 7baaa66

Commits on Sep 21, 2020

• setup for intellj

  zsfre

  committed
  6cf0406

  Copy full SHA for 6cf0406

• Added CMD-U for execute all accelerator on OS/X

  Show description for a9c043e
  zsfre

  committed
  a9c043e

  Copy full SHA for a9c043e

Commits on Sep 22, 2020

• fixed export to ltl with var univs

  nmacedo

  committed
  c36a4a5

  Copy full SHA for c36a4a5

• when renaming set rels as atoms

  nmacedo

  committed
  382d5c5

  Copy full SHA for 382d5c5

Commits on Sep 23, 2020

• final tweaks on export to ltl

  nmacedo

  committed
  814d968

  Copy full SHA for 814d968

Commits on Sep 24, 2020

• reverted some style changes

  nmacedo

  committed
  b6f6891

  Copy full SHA for b6f6891

• Merge branch 'zsfre-v2.1' into v2.1

  nmacedo

  committed
  39178fd

  Copy full SHA for 39178fd

• setup for intellj

  

  zsfre

  authored and

  nmacedo

  committed
  5e49a35

  Copy full SHA for 5e49a35

• Added CMD-U for execute all accelerator on OS/X

  Show description for a0d3361
  

  zsfre

  authored and

  nmacedo

  committed
  a0d3361

  Copy full SHA for a0d3361

• reverted some style changes

  nmacedo

  committed
  1954e63

  Copy full SHA for 1954e63

• pardinus updated

  nmacedo

  committed
  a4e3040

  Copy full SHA for a4e3040

• pardinus updated

  nmacedo

  committed
  2eb4e50

  Copy full SHA for 2eb4e50

• Merge branch 'core' into visualiser

  nmacedo

  committed
  2d4d33d

  Copy full SHA for 2d4d33d

• Merge branch 'visualiser' into simulator

  nmacedo

  committed
  fb6ead2

  Copy full SHA for fb6ead2

• Merge branch 'core' into decomposed

  nmacedo

  committed
  3301dda

  Copy full SHA for 3301dda

• Merge branch 'core' into unbounded

  nmacedo

  committed
  daf45c6

  Copy full SHA for daf45c6

• Merge branch 'simulator' into v2.1

  nmacedo

  committed
  5ecc33b

  Copy full SHA for 5ecc33b

• small comment

  nmacedo

  committed
  b838cbc

  Copy full SHA for b838cbc

• Merge branch 'decomposed' into v2.1

  nmacedo

  committed
  8d8b0ae

  Copy full SHA for 8d8b0ae

• Merge branch 'unbounded' into v2.1

  nmacedo

  committed
  a2cf68e

  Copy full SHA for a2cf68e

Commits on Sep 25, 2020

• pretty print ints on export to ltl

  nmacedo

  committed
  df516cb

  Copy full SHA for df516cb

• Merge branch 'visualiser' into simulator

  nmacedo

  committed
  228d43e

  Copy full SHA for 228d43e

• Merge branch 'simulator' into v2.1

  nmacedo

  committed
  f73c3ce

  Copy full SHA for f73c3ce

Commits on Sep 30, 2020

• re-implemented export to ltl at alloy level

  nmacedo

  committed
  045ca2a

  Copy full SHA for 045ca2a

• fixed printing of primes

  nmacedo

  committed
  58f4d65

  Copy full SHA for 58f4d65

• Merge branch 'visualiser' into simulator

  nmacedo

  committed
  336ac4f

  Copy full SHA for 336ac4f

• Merge branch 'core' into simulator

  nmacedo

  committed
  0472cd3

  Copy full SHA for 0472cd3

• support for next path in viz

  nmacedo

  committed
  da5c12f

  Copy full SHA for da5c12f

Commits on Oct 1, 2020

• disable path iteration after seg iteration

  nmacedo

  committed
  3868b8d

  Copy full SHA for 3868b8d

• fixed export to ltl parenthesis

  nmacedo

  committed
  04da8e8

  Copy full SHA for 04da8e8

• Merge branch 'core' into visualiser

  nmacedo

  committed
  b8633f3

  Copy full SHA for b8633f3

• Merge branch 'visualiser' into simulator

  nmacedo

  committed
  16be7ec

  Copy full SHA for 16be7ec

• Merge branch 'simulator' into v2.1

  nmacedo

  committed
  dca5028

  Copy full SHA for dca5028

• pardinus updated

  nmacedo

  committed
  d75b971

  Copy full SHA for d75b971

Commits on Oct 22, 2020

• pardinus updated

  nmacedo

  committed
  11006ac

  Copy full SHA for 11006ac

• fixed iteration in purely static models

  nmacedo

  committed
  3ce7bc0

  Copy full SHA for 3ce7bc0

• Merge branch 'simulator' into v2.1

  nmacedo

  committed
  98b1480

  Copy full SHA for 98b1480

Commits on Nov 13, 2020

• disable new config when no static elements

  nmacedo

  committed
  b7fc516

  Copy full SHA for b7fc516

• pardinus updated

  nmacedo

  committed
  0f05405

  Copy full SHA for 0f05405

• disable new config when no static elements

  nmacedo

  committed
  7888884

  Copy full SHA for 7888884

• Merge branch 'simulator' into v2.1

  nmacedo

  committed
  1571bee

  Copy full SHA for 1571bee

• missing bins

  nmacedo

  committed
  f71dead

  Copy full SHA for f71dead

• Merge branch 'master' into v2.1

  nmacedo

  committed
  c342ce2

  Copy full SHA for c342ce2

• set up travis

  nmacedo

  committed
  cbe3d75

  Copy full SHA for cbe3d75

• removed gitlink to non-existing minisat repo

  nmacedo

  committed
  848bb15

  Copy full SHA for 848bb15

Commits on Nov 14, 2020

• pardinus updated

  nmacedo

  committed
  10c12e3

  Copy full SHA for 10c12e3

• avoid duplicate temp libs

  nmacedo

  committed
  f36cad0

  Copy full SHA for f36cad0

• travis script updated

  nmacedo

  committed
  c6704ac

  Copy full SHA for c6704ac

• travis script updated

  nmacedo

  committed
  493cb20

  Copy full SHA for 493cb20

• travis script updated

  nmacedo

  committed
  a8a6405

  Copy full SHA for a8a6405

Commits on Nov 15, 2020

• only copy solver bin once

  nmacedo

  committed
  a3f4c4c

  Copy full SHA for a3f4c4c

• set up travis

  nmacedo

  committed
  8d58e84

  Copy full SHA for 8d58e84

• removed gitlink to non-existing minisat repo

  nmacedo

  committed
  da6268b

  Copy full SHA for da6268b

• avoid duplicate temp libs

  nmacedo

  committed
  7b56afe

  Copy full SHA for 7b56afe

• travis script updated

  nmacedo

  committed
  30924bf

  Copy full SHA for 30924bf

• travis script updated

  nmacedo

  committed
  a52f34f

  Copy full SHA for a52f34f

• travis script updated

  nmacedo

  committed
  b8a4409

  Copy full SHA for b8a4409

• only copy solver bin once

  nmacedo

  committed
  586c6d3

  Copy full SHA for 586c6d3

• Merge branch 'core' into visualiser

  nmacedo

  committed
  6ec8c06

  Copy full SHA for 6ec8c06

• Merge branch 'visualiser' into simulator

  nmacedo

  committed
  b6d1b86

  Copy full SHA for b6d1b86

• Merge branch 'core' into unbounded

  nmacedo

  committed
  bae1008

  Copy full SHA for bae1008

• Merge branch 'core' into decomposed

  nmacedo

  committed
  cedec6e

  Copy full SHA for cedec6e

• Merge branch 'simulator' into v2.1

  nmacedo

  committed
  965350b

  Copy full SHA for 965350b

• Merge branch 'unbounded' into v2.1

  nmacedo

  committed
  38d6067

  Copy full SHA for 38d6067

• Merge branch 'decomposed' into v2.1

  nmacedo

  committed
  962d2cc

  Copy full SHA for 962d2cc

• fixed bound splitting with pardinus

  nmacedo

  committed
  c5fe60b

  Copy full SHA for c5fe60b

• Merge branch 'decomposed' into v2.1

  nmacedo

  committed
  310db44

  Copy full SHA for 310db44

• added precompiled amd64 electrod

  nmacedo

  committed
  09c3129

  Copy full SHA for 09c3129

• Merge branch 'core' into v2.1

  nmacedo

  committed
  eae19e0

  Copy full SHA for eae19e0