Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Comsume exp #3

Open
wants to merge 118 commits into
base: master
Choose a base branch
from
Open

Comsume exp #3

wants to merge 118 commits into from

Commits on Mar 15, 2020

  1. Updated .gitignore

    @mschwerhoff
    mschwerhoff authored Mar 15, 2020
    Configuration menu
    Copy the full SHA
    8cf4258 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into arquintl/silicon/default 

    # Conflicts:
#	src/main/scala/Config.scala
#	src/main/scala/rules/QuantifiedChunkSupport.scala
#	src/main/scala/supporters/functions/FunctionVerificationUnit.scala
#	src/test/scala/PortableSiliconTests.scala
    @mschwerhoff
    mschwerhoff committed Mar 15, 2020
    Configuration menu
    Copy the full SHA
    b6d394c View commit details
    Browse the repository at this point in the history

  3. Merge pull request #475 from viperproject/arquintl/silicon/default 

    Scope-based SymbExLogger
    @mschwerhoff
    mschwerhoff authored Mar 15, 2020
    Configuration menu
    Copy the full SHA
    85ecb64 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' of github.com:viperproject/silicon 

    # Conflicts:
#	src/main/scala/SymbExLogger.scala
    @mschwerhoff
    mschwerhoff committed Mar 15, 2020
    Configuration menu
    Copy the full SHA
    73f7fd1 View commit details
    Browse the repository at this point in the history

  5. Renamed config option related to symbex logger

    @mschwerhoff
    mschwerhoff committed Mar 15, 2020
    Configuration menu
    Copy the full SHA
    f14ccea View commit details
    Browse the repository at this point in the history

  6. Added possibility to run only those tests listed in an file (whitelis… 

    …ting). See also Silver commit bf22fbb61b8eefe0c1bdebb4a1606dc824c4769e.
    @mschwerhoff
    mschwerhoff committed Mar 15, 2020
    Configuration menu
    Copy the full SHA
    1dc8dc6 View commit details
    Browse the repository at this point in the history

Commits on Mar 17, 2020

  1. Added logically redundant implications to two sequence axioms, which … 

    …reduces the current runtime of Silicon's test suite from 14:30 min to 12:00 min
    @mschwerhoff
    mschwerhoff committed Mar 17, 2020
    Configuration menu
    Copy the full SHA
    73552bf View commit details
    Browse the repository at this point in the history

  2. Added (currently commented) axiom transformations that can help ident… 

    …ifying unstable examples
    @mschwerhoff
    mschwerhoff committed Mar 17, 2020
    Configuration menu
    Copy the full SHA
    c7b114a View commit details
    Browse the repository at this point in the history

Commits on Mar 18, 2020

  1. Removed old logfiles, added recent benchmark

    @mschwerhoff
    mschwerhoff committed Mar 18, 2020
    Configuration menu
    Copy the full SHA
    4a4aeb2 View commit details
    Browse the repository at this point in the history

  2. IntelliJ: Unused import

    @mschwerhoff
    mschwerhoff committed Mar 18, 2020
    Configuration menu
    Copy the full SHA
    f63a174 View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2020

  1. Resolved issue #483: An erroneously returned result from the snapshot… 

    … map cache resulted in incompletenesses
    @mschwerhoff
    mschwerhoff committed Mar 27, 2020
    Configuration menu
    Copy the full SHA
    d7ffe91 View commit details
    Browse the repository at this point in the history

  2. Removed accidentally committed file

    @mschwerhoff
    mschwerhoff committed Mar 27, 2020
    Configuration menu
    Copy the full SHA
    624b931 View commit details
    Browse the repository at this point in the history

  3. Added further constraints on a sequence axiom. Disabled for now, sinc… 

    …e it causes a test case — sequences.vpr, notoriously instable — to time out.
    @mschwerhoff
    mschwerhoff committed Mar 27, 2020
    Configuration menu
    Copy the full SHA
    1bc5721 View commit details
    Browse the repository at this point in the history

  4. Make auxiliary quantifiers heap-independent (code from Mauro's work o… 

    …n semantic heap snapshots)
    @mschwerhoff
    mschwerhoff committed Mar 27, 2020
    Configuration menu
    Copy the full SHA
    2bdbf45 View commit details
    Browse the repository at this point in the history

  5. Added several heap-dependent trigger tests. For now deactivated, sinc… 

    …e semantics and support unclear.
    @mschwerhoff
    mschwerhoff committed Mar 27, 2020
    Configuration menu
    Copy the full SHA
    b49d332 View commit details
    Browse the repository at this point in the history

Commits on Apr 2, 2020

  1. Enabled termination tests

    @mschwerhoff
    mschwerhoff committed Apr 2, 2020
    Configuration menu
    Copy the full SHA
    80a912e View commit details
    Browse the repository at this point in the history

  2. IntelliJ: Type annotations

    @mschwerhoff
    mschwerhoff committed Apr 2, 2020
    Configuration menu
    Copy the full SHA
    fdab1e9 View commit details
    Browse the repository at this point in the history

Commits on Apr 3, 2020

  1. Resolved issue #199, and simplified the evaluation of pure ternary ex… 

    …pressions
    @mschwerhoff
    mschwerhoff committed Apr 3, 2020
    Configuration menu
    Copy the full SHA
    e9a7c26 View commit details
    Browse the repository at this point in the history

  2. Added Dafny's weights as comments to sequences.vpr

    @mschwerhoff
    mschwerhoff committed Apr 3, 2020
    Configuration menu
    Copy the full SHA
    327aa63 View commit details
    Browse the repository at this point in the history

  3. Resolved issue #484

    @mschwerhoff
    mschwerhoff committed Apr 3, 2020
    Configuration menu
    Copy the full SHA
    75411d2 View commit details
    Browse the repository at this point in the history

Commits on Apr 4, 2020

  1. Merge pull request #476 from viperproject/maurobringolf/silicon/funct… 

    …ion-drop-unneeded-result

Remove unused let-result from definitional function axiom
    @mschwerhoff
    mschwerhoff authored Apr 4, 2020
    Configuration menu
    Copy the full SHA
    bd25321 View commit details
    Browse the repository at this point in the history

  2. IntelliJ: Unnecessary parentheses

    @mschwerhoff
    mschwerhoff committed Apr 4, 2020
    Configuration menu
    Copy the full SHA
    e10a40c View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2020

  1. fixes initialization of

    @ArquintL
    ArquintL committed Apr 16, 2020
    Configuration menu
    Copy the full SHA
    896d998 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #489 from viperproject/arquintl-silicon-issue-488 

    Initialization of Verifier.inputFile
    @ArquintL
    ArquintL authored Apr 16, 2020
    Configuration menu
    Copy the full SHA
    49747b4 View commit details
    Browse the repository at this point in the history

Commits on Apr 21, 2020

  1. Updated comment on benchmark trimming

    @marcoeilers
    marcoeilers committed Apr 21, 2020
    Configuration menu
    Copy the full SHA
    3e36454 View commit details
    Browse the repository at this point in the history

Commits on Apr 28, 2020

  1. Merge

    @marcoeilers
    marcoeilers committed Apr 28, 2020
    Configuration menu
    Copy the full SHA
    df4a7ab View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2020

  1. Merge pull request #466 from viperproject/arshavir/silicon-plugin-awa… 

    …re-reporting/default

Adapt Silicon to support PluginAwareReporter
    @marcoeilers
    marcoeilers authored Apr 29, 2020
    Configuration menu
    Copy the full SHA
    0082158 View commit details
    Browse the repository at this point in the history

Commits on May 2, 2020

  1. A workaround for test argument passing

    @maurobringolf
    maurobringolf committed May 2, 2020
    Configuration menu
    Copy the full SHA
    94f7ec5 View commit details
    Browse the repository at this point in the history

Commits on May 6, 2020

  1. Adapt SiliconTests to new SilSuite verifier interface

    @maurobringolf
    maurobringolf committed May 6, 2020
    Configuration menu
    Copy the full SHA
    6022a12 View commit details
    Browse the repository at this point in the history

Commits on May 8, 2020

  1. IntelliJ: Unused import

    @mschwerhoff
    mschwerhoff committed May 8, 2020
    Configuration menu
    Copy the full SHA
    9f573a2 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2020

  1. Merge branch 'master' into meilers_counterexamples

    @marcoeilers
    marcoeilers committed May 10, 2020
    Configuration menu
    Copy the full SHA
    2c42f65 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into meilers_counterexamples

    @marcoeilers
    marcoeilers committed May 10, 2020
    Configuration menu
    Copy the full SHA
    540fa0e View commit details
    Browse the repository at this point in the history

  3. Removed option to output only selected local variables

    @marcoeilers
    marcoeilers committed May 10, 2020
    Configuration menu
    Copy the full SHA
    02dabf3 View commit details
    Browse the repository at this point in the history

Commits on May 11, 2020

  1. Merge pull request #492 from maurobringolf/fix-scalatest-argument-pas… 

    …sing

A workaround for test argument passing
    @mschwerhoff
    mschwerhoff authored May 11, 2020
    Configuration menu
    Copy the full SHA
    ebfc142 View commit details
    Browse the repository at this point in the history

Commits on May 20, 2020

  1. IntelliJ: Type annotations

    @mschwerhoff
    mschwerhoff committed May 20, 2020
    Configuration menu
    Copy the full SHA
    88b9e41 View commit details
    Browse the repository at this point in the history

  2. Preventing using default type in sequence axiomatiozation

    @marcoeilers
    marcoeilers committed May 20, 2020
    Configuration menu
    Copy the full SHA
    b446f2a View commit details
    Browse the repository at this point in the history

  3. Renamed parameter internally

    @marcoeilers
    marcoeilers committed May 20, 2020
    Configuration menu
    Copy the full SHA
    096cb25 View commit details
    Browse the repository at this point in the history

  4. Removed workaround for default-type empty sequence axiom

    @marcoeilers
    marcoeilers committed May 20, 2020
    Configuration menu
    Copy the full SHA
    117be6a View commit details
    Browse the repository at this point in the history

Commits on May 22, 2020

  1. Merge branch 'marcoeilers_warning_unconstrained_typevars'

    @marcoeilers
    marcoeilers committed May 22, 2020
    Configuration menu
    Copy the full SHA
    131ebed View commit details
    Browse the repository at this point in the history

Commits on May 23, 2020

  1. First step in resolving issue #493: include necessary set axioms when… 

    … QPs over predicates are used
    @mschwerhoff
    mschwerhoff committed May 23, 2020
    Configuration menu
    Copy the full SHA
    2731690 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of github.com:viperproject/silicon

    @mschwerhoff
    mschwerhoff committed May 23, 2020
    Configuration menu
    Copy the full SHA
    197f189 View commit details
    Browse the repository at this point in the history

Commits on May 24, 2020

  1. Initial version of complete counterexamples from Silicon

    @marcoeilers
    marcoeilers committed May 24, 2020
    Configuration menu
    Copy the full SHA
    30a05bc View commit details
    Browse the repository at this point in the history

  2. Fixed typo in code comment

    @mschwerhoff
    mschwerhoff committed May 24, 2020
    Configuration menu
    Copy the full SHA
    e9eafde View commit details
    Browse the repository at this point in the history

  3. For snapshot map definitions arising from QPs over predicate, definit… 

    …ional axioms now quantify over the snapshot, i.e. the tuple type of the domain, rather than the individual tuple components
    @mschwerhoff
    mschwerhoff committed May 24, 2020
    Configuration menu
    Copy the full SHA
    26aef90 View commit details
    Browse the repository at this point in the history

Commits on May 25, 2020

  1. Restructured counterexample classes, added renaming of stores for pre… 

    …condition checks
    @marcoeilers
    marcoeilers committed May 25, 2020
    Configuration menu
    Copy the full SHA
    ad31b04 View commit details
    Browse the repository at this point in the history

Commits on May 26, 2020

  1. Dropped too strict assertion

    @mschwerhoff
    mschwerhoff committed May 26, 2020
    Configuration menu
    Copy the full SHA
    a1255b5 View commit details
    Browse the repository at this point in the history

  2. Added method Quantification.instantiate

    @mschwerhoff
    mschwerhoff committed May 26, 2020
    Configuration menu
    Copy the full SHA
    c226067 View commit details
    Browse the repository at this point in the history

  3. Minor code comments changes

    @mschwerhoff
    mschwerhoff committed May 26, 2020
    Configuration menu
    Copy the full SHA
    9756c36 View commit details
    Browse the repository at this point in the history

  4. Adapting snapshot map caches to changed axioms for snapshot maps from… 

    … QPs over predicates. Quite a mess.
    @mschwerhoff
    mschwerhoff committed May 26, 2020
    Configuration menu
    Copy the full SHA
    ee33279 View commit details
    Browse the repository at this point in the history

  5. Better way of transforming counterexamples with local stores

    @marcoeilers
    marcoeilers committed May 26, 2020
    Configuration menu
    Copy the full SHA
    5d6e7f1 View commit details
    Browse the repository at this point in the history

Commits on May 27, 2020

  1. Temporarily added issue test case to Silicon. Move to Silver later on.

    @mschwerhoff
    mschwerhoff committed May 27, 2020
    Configuration menu
    Copy the full SHA
    4db9a5f View commit details
    Browse the repository at this point in the history

  2. docs/logs: added benchmarks

    @mschwerhoff
    mschwerhoff committed May 27, 2020
    Configuration menu
    Copy the full SHA
    72a3750 View commit details
    Browse the repository at this point in the history

Commits on May 28, 2020

  1. Updated .gitignore.

    @fabiopakk
    fabiopakk committed May 28, 2020
    Configuration menu
    Copy the full SHA
    8e2b0c7 View commit details
    Browse the repository at this point in the history

  2. Removed previously kept debugging code

    @mschwerhoff
    mschwerhoff committed May 28, 2020
    Configuration menu
    Copy the full SHA
    0670bda View commit details
    Browse the repository at this point in the history

  3. Updated regression test for #493

    @mschwerhoff
    mschwerhoff committed May 28, 2020
    Configuration menu
    Copy the full SHA
    955a065 View commit details
    Browse the repository at this point in the history

  4. Updated additional axioms to argument tuples (rather than individual … 

    …arguments)
    @mschwerhoff
    mschwerhoff committed May 28, 2020
    Configuration menu
    Copy the full SHA
    20eae4c View commit details
    Browse the repository at this point in the history

Commits on May 29, 2020

  1. Resolved issue #409

    @mschwerhoff
    mschwerhoff committed May 29, 2020
    Configuration menu
    Copy the full SHA
    d630db7 View commit details
    Browse the repository at this point in the history

  2. Provide value snapshot map into permission summarisation

    @mschwerhoff
    mschwerhoff committed May 29, 2020
    Configuration menu
    Copy the full SHA
    17da324 View commit details
    Browse the repository at this point in the history

  3. Removed regression test case from Silicon (moved to Silver)

    @mschwerhoff
    mschwerhoff committed May 29, 2020
    Configuration menu
    Copy the full SHA
    a9584b1 View commit details
    Browse the repository at this point in the history

  4. Added QuantifiedChunkSupporter.heapSummarisingMaps for summarising bo… 

    …th heap values and permissions
    @mschwerhoff
    mschwerhoff committed May 29, 2020
    Configuration menu
    Copy the full SHA
    a4cb410 View commit details
    Browse the repository at this point in the history

  5. Use new Quantification.instantiate method in two places

    @mschwerhoff
    mschwerhoff committed May 29, 2020
    Configuration menu
    Copy the full SHA
    c4ae66f View commit details
    Browse the repository at this point in the history

  6. Re-added regressions for issues currently being worked on since not y… 

    …et full resolved
    @mschwerhoff
    mschwerhoff committed May 29, 2020
    Configuration menu
    Copy the full SHA
    eb7544f View commit details
    Browse the repository at this point in the history

Commits on May 31, 2020

  1. Added check for case where Z3 cannot produce a model

    @marcoeilers
    marcoeilers committed May 31, 2020
    Configuration menu
    Copy the full SHA
    91b3546 View commit details
    Browse the repository at this point in the history

  2. Removed counterexample output to stdout

    @marcoeilers
    marcoeilers committed May 31, 2020
    Configuration menu
    Copy the full SHA
    debd774 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #473 from viperproject/meilers_counterexamples 

    Simple backend-independent counterexamples
    @marcoeilers
    marcoeilers authored May 31, 2020
    Configuration menu
    Copy the full SHA
    0f7de26 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into marcoeilers_extended_counterexamples

    @marcoeilers
    marcoeilers committed May 31, 2020
    Configuration menu
    Copy the full SHA
    011e83b View commit details
    Browse the repository at this point in the history

  5. Set higher threshold for lazy quantifier instantiation

    @marcoeilers
    marcoeilers authored May 31, 2020
    Configuration menu
    Copy the full SHA
    83ec94d View commit details
    Browse the repository at this point in the history

  6. Merge branch 'marcoeilers_extended_counterexamples'

    @marcoeilers
    marcoeilers committed May 31, 2020
    Configuration menu
    Copy the full SHA
    068d885 View commit details
    Browse the repository at this point in the history

  7. Reset lazy QI threshold because it apparently slows things down

    @marcoeilers
    marcoeilers authored May 31, 2020
    Configuration menu
    Copy the full SHA
    5f8595b View commit details
    Browse the repository at this point in the history

Commits on Jun 1, 2020

  1. Resolved Silicon issue #491

    @mschwerhoff
    mschwerhoff committed Jun 1, 2020
    Configuration menu
    Copy the full SHA
    c8d4c96 View commit details
    Browse the repository at this point in the history

Commits on Jun 2, 2020

  1. Merge branch 'master' into issue-493

    @mschwerhoff
    mschwerhoff committed Jun 2, 2020
    Configuration menu
    Copy the full SHA
    f261427 View commit details
    Browse the repository at this point in the history

Commits on Jun 4, 2020

  1. Added necessary assumption that an n-tuple of predicate arguments is … 

    …not nothing, i.e. unit
    @mschwerhoff
    mschwerhoff committed Jun 4, 2020
    Configuration menu
    Copy the full SHA
    ee83176 View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2020

  1. Added another convenient constructor for terms.Forall

    @mschwerhoff
    mschwerhoff committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    bf437c3 View commit details
    Browse the repository at this point in the history

  2. Fixed more bugs related to QPs over wands: in particular, missing bac… 

    …kground definitions (e.g. equality of summarising snapshots) and incorrect quantifiers (e.g. quantify over n-tuple instead of individual arguments)
    @mschwerhoff
    mschwerhoff committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    c8138ec View commit details
    Browse the repository at this point in the history

  3. Adapted code comments

    @mschwerhoff
    mschwerhoff committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    1b6227a View commit details
    Browse the repository at this point in the history

  4. Moved regression tests to Silver

    @mschwerhoff
    mschwerhoff committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    e7b4dbc View commit details
    Browse the repository at this point in the history

  5. Merge pull request #497 from viperproject/issue-493 

    Issue 493
    @mschwerhoff
    mschwerhoff authored Jun 5, 2020
    Configuration menu
    Copy the full SHA
    dea3bfd View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2020

  1. uneeded tests don't run

    @Jgorenburg
    Jgorenburg committed Jun 17, 2020
    Configuration menu
    Copy the full SHA
    dd963ee View commit details
    Browse the repository at this point in the history

Commits on Jul 6, 2020

  1. solved aborted issue

    @Jgorenburg
    Jgorenburg committed Jul 6, 2020
    Configuration menu
    Copy the full SHA
    d168c5a View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2020

  1. changed master verfifier

    @Jgorenburg
    Jgorenburg committed Jul 9, 2020
    Configuration menu
    Copy the full SHA
    40067c1 View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2020

  1. bad changes

    @Jgorenburg
    Jgorenburg committed Jul 21, 2020
    Configuration menu
    Copy the full SHA
    a866e5f View commit details
    Browse the repository at this point in the history

  2. Revert "bad changes" 

    This reverts commit a866e5f.
    @Jgorenburg
    Jgorenburg committed Jul 21, 2020
    Configuration menu
    Copy the full SHA
    fdd770e View commit details
    Browse the repository at this point in the history

  3. simple gradual state

    @Jgorenburg
    Jgorenburg committed Jul 21, 2020
    Configuration menu
    Copy the full SHA
    fd07213 View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2020

  1. Updated state 

    Added qpFieldsOpt and qpPredicatesOpt. Renamed optimisticHeap.
    @monazhn
    monazhn committed Jul 23, 2020
    Configuration menu
    Copy the full SHA
    94847ec View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2020

  1. Gradualized expression evaluator

    @monazhn
    monazhn committed Jul 28, 2020
    Configuration menu
    Copy the full SHA
    e09dcf2 View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2020

  1. produce ? && exp

    @Jgorenburg
    Jgorenburg committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    ebf0465 View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2020

  1. bug fixes

    @monazhn
    monazhn committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    9b9f031 View commit details
    Browse the repository at this point in the history

  2. Changes to assert

    @monazhn
    monazhn committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    e14ca01 View commit details
    Browse the repository at this point in the history

  3. Changes to check

    @monazhn
    monazhn committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    e64ce16 View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2020

  1. produce changes

    @Jgorenburg
    Jgorenburg committed Aug 6, 2020
    Configuration menu
    Copy the full SHA
    581c8c9 View commit details
    Browse the repository at this point in the history

  2. produce

    @Jgorenburg
    Jgorenburg committed Aug 6, 2020
    Configuration menu
    Copy the full SHA
    44982b8 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' of https://github.com/gradual-verification/sili… 

    …con-gv
    @Jgorenburg
    Jgorenburg committed Aug 6, 2020
    Configuration menu
    Copy the full SHA
    0642d55 View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2020

  1. removed uneeded consume functions

    @Jgorenburg
    Jgorenburg committed Sep 26, 2020
    Configuration menu
    Copy the full SHA
    5f95fe1 View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2020

  1. Update consume method 

    Add state consolidations & handle imprecise expressions
    @monazhn
    monazhn committed Sep 30, 2020
    Configuration menu
    Copy the full SHA
    aa1431f View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2020

  1. more consume work

    @Jgorenburg
    Jgorenburg committed Oct 16, 2020
    Configuration menu
    Copy the full SHA
    e4ee913 View commit details
    Browse the repository at this point in the history

  2. more consume work

    @Jgorenburg
    Jgorenburg committed Oct 16, 2020
    Configuration menu
    Copy the full SHA
    4c70667 View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2020

  1. can run

    @Jgorenburg
    Jgorenburg committed Oct 30, 2020
    Configuration menu
    Copy the full SHA
    2428aa0 View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2020

  1. Added link to Silicon wiki in readme

    @jennalwise
    jennalwise authored Nov 5, 2020
    Configuration menu
    Copy the full SHA
    ba357fe View commit details
    Browse the repository at this point in the history

  2. generalized z3 pathing

    @jennalwise
    jennalwise committed Nov 5, 2020
    Configuration menu
    Copy the full SHA
    8c644b7 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/master'

    @jennalwise
    jennalwise committed Nov 5, 2020
    Configuration menu
    Copy the full SHA
    51fda6a View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2020

  1. work with non-greedy heap-rem

    @Jgorenburg
    Jgorenburg committed Nov 9, 2020
    Configuration menu
    Copy the full SHA
    784ded1 View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2020

  1. problems with chunks (does not currently run)

    @Jgorenburg
    Jgorenburg committed Nov 13, 2020
    Configuration menu
    Copy the full SHA
    c32acd3 View commit details
    Browse the repository at this point in the history

Commits on Nov 24, 2020

  1. got type change to work

    @Jgorenburg
    Jgorenburg committed Nov 24, 2020
    Configuration menu
    Copy the full SHA
    20ae7d9 View commit details
    Browse the repository at this point in the history

  2. done with foldleft portion of heap-rem

    @Jgorenburg
    Jgorenburg committed Nov 24, 2020
    Configuration menu
    Copy the full SHA
    c2e2226 View commit details
    Browse the repository at this point in the history

Commits on Nov 25, 2020

  1. fin changes to heap-rem

    @Jgorenburg
    Jgorenburg committed Nov 25, 2020
    Configuration menu
    Copy the full SHA
    4c720cd View commit details
    Browse the repository at this point in the history

  2. added comments

    @Jgorenburg
    Jgorenburg committed Nov 25, 2020
    Configuration menu
    Copy the full SHA
    9cde94d View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2020

  1. cleaning up

    @Jgorenburg
    Jgorenburg committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    8db7aa2 View commit details
    Browse the repository at this point in the history

Commits on Dec 13, 2020

  1. Bug fixes

    @monazhn
    monazhn committed Dec 13, 2020
    Configuration menu
    Copy the full SHA
    9b49c37 View commit details
    Browse the repository at this point in the history

Commits on Dec 30, 2020

  1. Bug fixes in evaluator, decider

    @monazhn
    monazhn committed Dec 30, 2020
    Configuration menu
    Copy the full SHA
    616bce7 View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2021

  1. Update Decider.scala

    @monazhn
    monazhn committed Jan 3, 2021
    Configuration menu
    Copy the full SHA
    6c0d072 View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2021

  1. fixing merge conflicts

    @Jgorenburg
    Jgorenburg committed Jan 8, 2021
    Configuration menu
    Copy the full SHA
    38eeb4f View commit details
    Browse the repository at this point in the history

  2. merge

    @Jgorenburg
    Jgorenburg committed Jan 8, 2021
    Configuration menu
    Copy the full SHA
    0f30193 View commit details
    Browse the repository at this point in the history

Commits on Feb 16, 2021

  1. add x != null assumption to field produce

    @Jgorenburg
    Jgorenburg committed Feb 16, 2021
    Configuration menu
    Copy the full SHA
    78fee07 View commit details
    Browse the repository at this point in the history

Commits on Feb 17, 2021

  1. added null check to field consume

    @Jgorenburg
    Jgorenburg committed Feb 17, 2021
    Configuration menu
    Copy the full SHA
    3b76b5e View commit details
    Browse the repository at this point in the history

  2. fixed a bug with checkgv

    @Jgorenburg
    Jgorenburg committed Feb 17, 2021
    Configuration menu
    Copy the full SHA
    65b2322 View commit details
    Browse the repository at this point in the history

Commits on Feb 19, 2021

  1. finished fields and predicates

    @Jgorenburg
    Jgorenburg committed Feb 19, 2021
    Configuration menu
    Copy the full SHA
    1f1e33a View commit details
    Browse the repository at this point in the history

Commits on Feb 26, 2021

  1. minor changes

    @Jgorenburg
    Jgorenburg committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    86f44fe View commit details
    Browse the repository at this point in the history

  2. testing changes

    @Jgorenburg
    Jgorenburg committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    2d1cab9 View commit details
    Browse the repository at this point in the history