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

Strongarm #501

Closed
wants to merge 424 commits into from
Closed

Strongarm #501

wants to merge 424 commits into from
This pull request is big! We’re only showing the most recent 250 commits.

Commits on Sep 16, 2016

  1. fixes to the remove locals analysis

    @jsinglet
    jsinglet committed Sep 16, 2016
    Copy the full SHA
    7517316 View commit details
    Browse the repository at this point in the history

Commits on Sep 29, 2016

  1. so many unit tests

    @jsinglet
    jsinglet committed Sep 29, 2016
    Copy the full SHA
    7617e48 View commit details
    Browse the repository at this point in the history

  2. new unit test runner

    @jsinglet
    jsinglet committed Sep 29, 2016
    Copy the full SHA
    d573420 View commit details
    Browse the repository at this point in the history

  3. some more ignores

    @jsinglet
    jsinglet committed Sep 29, 2016
    Copy the full SHA
    e054b94 View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2016

  1. new CFG debugger, improved feedback during substitution, new launch c… 

    …onfigs.
    @jsinglet
    jsinglet committed Oct 2, 2016
    Copy the full SHA
    587b613 View commit details
    Browse the repository at this point in the history

  2. adding path tracking

    @jsinglet
    jsinglet committed Oct 2, 2016
    Copy the full SHA
    db84c5d View commit details
    Browse the repository at this point in the history

  3. added path sensitive tracking

    @jsinglet
    jsinglet committed Oct 2, 2016
    Copy the full SHA
    575e67b View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2016

  1. lots of fixes to work with repeated diamonds

    @jsinglet
    jsinglet committed Oct 10, 2016
    Copy the full SHA
    eaf6d19 View commit details
    Browse the repository at this point in the history

  2. fixed up issue with buried memory references in nested expressions

    @jsinglet
    jsinglet committed Oct 10, 2016
    Copy the full SHA
    b4d39f5 View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2016

  1. new analysis

    @jsinglet
    jsinglet committed Oct 11, 2016
    Copy the full SHA
    74d5f4d View commit details
    Browse the repository at this point in the history

  2. cleanup analysis

    @jsinglet
    jsinglet committed Oct 11, 2016
    Copy the full SHA
    1fae111 View commit details
    Browse the repository at this point in the history

  3. fixes to this for nested conditions

    @jsinglet
    jsinglet committed Oct 11, 2016
    Copy the full SHA
    5ae1db4 View commit details
    Browse the repository at this point in the history

  4. lots of cleanup to final contracts

    @jsinglet
    jsinglet committed Oct 11, 2016
    Copy the full SHA
    239bac8 View commit details
    Browse the repository at this point in the history

  5. new run config, new treevisitor for counting props.

    @jsinglet
    jsinglet committed Oct 11, 2016
    Copy the full SHA
    4a1b3ad View commit details
    Browse the repository at this point in the history

  6. some more detailed comments on the layout

    @jsinglet
    jsinglet committed Oct 11, 2016
    Copy the full SHA
    1812217 View commit details
    Browse the repository at this point in the history

  7. fixed issue with removing tautologies

    @jsinglet
    jsinglet committed Oct 11, 2016
    Copy the full SHA
    8069284 View commit details
    Browse the repository at this point in the history

Commits on Oct 12, 2016

  1. fixing

    @jsinglet
    jsinglet committed Oct 12, 2016
    Copy the full SHA
    be7c81c View commit details
    Browse the repository at this point in the history

  2. fixing

    @jsinglet
    jsinglet committed Oct 12, 2016
    Copy the full SHA
    667169d View commit details
    Browse the repository at this point in the history

  3. made this case worse

    @jsinglet
    jsinglet committed Oct 12, 2016
    Copy the full SHA
    a7e0167 View commit details
    Browse the repository at this point in the history

  4. need to be able to inspect compile fails

    @jsinglet
    jsinglet committed Oct 12, 2016
    Copy the full SHA
    26cc53b View commit details
    Browse the repository at this point in the history

  5. fix to test runner

    @jsinglet
    jsinglet committed Oct 12, 2016
    Copy the full SHA
    87d081f View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2016

  1. fixed issue that was breaking other analysis types; essentially the c… 

    …urrent term being replaced has to be removed (otherwise we can get cycles)
    @jsinglet
    jsinglet committed Oct 14, 2016
    Copy the full SHA
    943b102 View commit details
    Browse the repository at this point in the history

  2. fixing failing unit tests

    @jsinglet
    jsinglet committed Oct 14, 2016
    Copy the full SHA
    ddf9131 View commit details
    Browse the repository at this point in the history

  3. fixing failing unit tests

    @jsinglet
    jsinglet committed Oct 14, 2016
    Copy the full SHA
    380b3e8 View commit details
    Browse the repository at this point in the history

  4. fixing failing unit tests

    @jsinglet
    jsinglet committed Oct 14, 2016
    Copy the full SHA
    d8e1838 View commit details
    Browse the repository at this point in the history

  5. eclipse was wrongly failing some tests

    @jsinglet
    jsinglet committed Oct 14, 2016
    Copy the full SHA
    da74e50 View commit details
    Browse the repository at this point in the history

  6. make sure to include root nodes in CFG fixes a number of tests.

    @jsinglet
    jsinglet committed Oct 14, 2016
    Copy the full SHA
    13e18a6 View commit details
    Browse the repository at this point in the history

  7. wrong test

    @jsinglet
    jsinglet committed Oct 14, 2016
    Copy the full SHA
    d1119f4 View commit details
    Browse the repository at this point in the history

  8. right test

    @jsinglet
    jsinglet committed Oct 14, 2016
    Copy the full SHA
    4edd6c3 View commit details
    Browse the repository at this point in the history

  9. removal

    @jsinglet
    jsinglet committed Oct 14, 2016
    Copy the full SHA
    91839e1 View commit details
    Browse the repository at this point in the history

  10. fixing this test

    @jsinglet
    jsinglet committed Oct 14, 2016
    Copy the full SHA
    a0e7f6d View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2016

  1. fixes

    @jsinglet
    jsinglet committed Oct 16, 2016
    Copy the full SHA
    ff82043 View commit details
    Browse the repository at this point in the history

  2. fix to depth limiting

    @jsinglet
    jsinglet committed Oct 16, 2016
    Copy the full SHA
    cc83186 View commit details
    Browse the repository at this point in the history

  3. organizing unit tests

    @jsinglet
    jsinglet committed Oct 16, 2016
    Copy the full SHA
    127e172 View commit details
    Browse the repository at this point in the history

  4. new test structure

    @jsinglet
    jsinglet committed Oct 16, 2016
    Copy the full SHA
    0298020 View commit details
    Browse the repository at this point in the history

  5. move test

    @jsinglet
    jsinglet committed Oct 16, 2016
    Copy the full SHA
    34fa4b3 View commit details
    Browse the repository at this point in the history

  6. E1 catches some SMT errors but that's ok

    @jsinglet
    jsinglet committed Oct 16, 2016
    Copy the full SHA
    fa6b50c View commit details
    Browse the repository at this point in the history

  7. cleanup of unguarded logging statements -- we need to be able to turn… 

    … it off for performance reasons.
    @jsinglet
    jsinglet committed Oct 16, 2016
    Copy the full SHA
    08d6499 View commit details
    Browse the repository at this point in the history

  8. more logging fixes

    @jsinglet
    jsinglet committed Oct 16, 2016
    Copy the full SHA
    64c591e View commit details
    Browse the repository at this point in the history

  9. new unit tests pulled from JSONjava suite

    @jsinglet
    jsinglet committed Oct 16, 2016
    Copy the full SHA
    faaba33 View commit details
    Browse the repository at this point in the history

  10. more tests from JSONjava

    @jsinglet
    jsinglet committed Oct 16, 2016
    Copy the full SHA
    e05b8cb View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2016

  1. temporarilly disabled very broken test!

    @jsinglet
    jsinglet committed Oct 17, 2016
    Copy the full SHA
    111faeb View commit details
    Browse the repository at this point in the history

  2. fixed issue with stand alone fields

    @jsinglet
    jsinglet committed Oct 17, 2016
    Copy the full SHA
    d95e5d3 View commit details
    Browse the repository at this point in the history

  3. modifications to tests

    @jsinglet
    jsinglet committed Oct 17, 2016
    Copy the full SHA
    b4df820 View commit details
    Browse the repository at this point in the history

Commits on Oct 26, 2016

  1. prior to speeding up substitution searching

    @jsinglet
    jsinglet committed Oct 26, 2016
    Copy the full SHA
    5170c88 View commit details
    Browse the repository at this point in the history

  2. Needed a little extra recursion

    @jsinglet
    jsinglet committed Oct 26, 2016
    Copy the full SHA
    7fb2400 View commit details
    Browse the repository at this point in the history

  3. small fix to how contradictions are removed.

    @jsinglet
    jsinglet committed Oct 26, 2016
    Copy the full SHA
    f9bbcfc View commit details
    Browse the repository at this point in the history

  4. timing info

    @jsinglet
    jsinglet committed Oct 26, 2016
    Copy the full SHA
    a14f555 View commit details
    Browse the repository at this point in the history

  5. change back

    @jsinglet
    jsinglet committed Oct 26, 2016
    Copy the full SHA
    4a9a0a2 View commit details
    Browse the repository at this point in the history

  6. added debug flags

    @jsinglet
    jsinglet committed Oct 26, 2016
    Copy the full SHA
    aa7d85a View commit details
    Browse the repository at this point in the history

  7. added launch config

    @jsinglet
    jsinglet committed Oct 26, 2016
    Copy the full SHA
    58ad093 View commit details
    Browse the repository at this point in the history

  8. memory limit

    @jsinglet
    jsinglet committed Oct 26, 2016
    Copy the full SHA
    7d30ab5 View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2016

  1. New test

    @jsinglet
    jsinglet committed Oct 28, 2016
    Copy the full SHA
    320c1f0 View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2016

  1. checkpoint

    @jsinglet
    jsinglet committed Nov 4, 2016
    Copy the full SHA
    4e03cc2 View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2016

  1. changes to improve deep copies

    @jsinglet
    jsinglet committed Nov 9, 2016
    Copy the full SHA
    6b65e01 View commit details
    Browse the repository at this point in the history

Commits on Dec 14, 2016

  1. working on replacement algorithm

    @jsinglet
    jsinglet committed Dec 14, 2016
    Copy the full SHA
    ff003de View commit details
    Browse the repository at this point in the history

  2. more updates

    @jsinglet
    jsinglet committed Dec 14, 2016
    Copy the full SHA
    8c6c369 View commit details
    Browse the repository at this point in the history

  3. changes to blockreader

    @jsinglet
    jsinglet committed Dec 14, 2016
    Copy the full SHA
    753a952 View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2016

  1. work on new substitution technique

    @jsinglet
    jsinglet committed Dec 15, 2016
    Copy the full SHA
    a8ae54e View commit details
    Browse the repository at this point in the history

  2. added block reader sub table to flow

    @jsinglet
    jsinglet committed Dec 15, 2016
    Copy the full SHA
    aa7e912 View commit details
    Browse the repository at this point in the history

  3. refactor methods for doing fixpoints (so we can compare)

    @jsinglet
    jsinglet committed Dec 15, 2016
    Copy the full SHA
    8ef8991 View commit details
    Browse the repository at this point in the history

Commits on Dec 19, 2016

  1. working version of new technique!!

    @jsinglet
    jsinglet committed Dec 19, 2016
    Copy the full SHA
    3aa0716 View commit details
    Browse the repository at this point in the history

  2. added some older stuff back

    @jsinglet
    jsinglet committed Dec 19, 2016
    Copy the full SHA
    e05f857 View commit details
    Browse the repository at this point in the history

  3. more fixes

    @jsinglet
    jsinglet committed Dec 19, 2016
    Copy the full SHA
    0e4e01d View commit details
    Browse the repository at this point in the history

Commits on Dec 20, 2016

  1. updates to substitution algorithm

    @jsinglet
    jsinglet committed Dec 20, 2016
    Copy the full SHA
    8f6a883 View commit details
    Browse the repository at this point in the history

Commits on Dec 21, 2016

  1. fixes to some failing unit tests.

    @jsinglet
    jsinglet committed Dec 21, 2016
    Copy the full SHA
    d16899a View commit details
    Browse the repository at this point in the history

  2. updates to tests.

    @jsinglet
    jsinglet committed Dec 21, 2016
    Copy the full SHA
    e446577 View commit details
    Browse the repository at this point in the history

  3. updates

    @jsinglet
    jsinglet committed Dec 21, 2016
    Copy the full SHA
    b595599 View commit details
    Browse the repository at this point in the history

  4. new change

    @jsinglet
    jsinglet committed Dec 21, 2016
    Copy the full SHA
    312fb55 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' of https://jsinglet@bitbucket.org/_boa/openjml.git

    @jsinglet
    jsinglet committed Dec 21, 2016
    Copy the full SHA
    3e60bfd View commit details
    Browse the repository at this point in the history

  6. new test

    @jsinglet
    jsinglet committed Dec 21, 2016
    Copy the full SHA
    6fa1ade View commit details
    Browse the repository at this point in the history

  7. more fixes to tests.

    @jsinglet
    jsinglet committed Dec 21, 2016
    Copy the full SHA
    493c568 View commit details
    Browse the repository at this point in the history

Commits on Dec 22, 2016

  1. fixes

    @jsinglet
    jsinglet committed Dec 22, 2016
    Copy the full SHA
    86088d7 View commit details
    Browse the repository at this point in the history

  2. fix to quants

    @jsinglet
    jsinglet committed Dec 22, 2016
    Copy the full SHA
    7f22e3b View commit details
    Browse the repository at this point in the history

  3. fixes for empty contracts.

    @jsinglet
    jsinglet committed Dec 22, 2016
    Copy the full SHA
    6b3033c View commit details
    Browse the repository at this point in the history

  4. thread problems

    @jsinglet
    jsinglet committed Dec 22, 2016
    Copy the full SHA
    b120854 View commit details
    Browse the repository at this point in the history

Commits on Dec 27, 2016

  1. adding annotation to stop inference

    @jsinglet
    jsinglet committed Dec 27, 2016
    Copy the full SHA
    8efb5ab View commit details
    Browse the repository at this point in the history

  2. some logging fixes

    @jsinglet
    jsinglet committed Dec 27, 2016
    Copy the full SHA
    d0525df View commit details
    Browse the repository at this point in the history

Commits on Dec 28, 2016

  1. fixes to remove spec_public fields.

    @jsinglet
    jsinglet committed Dec 28, 2016
    Copy the full SHA
    dd318ca View commit details
    Browse the repository at this point in the history

  2. fixes

    @jsinglet
    jsinglet committed Dec 28, 2016
    Copy the full SHA
    e53fab6 View commit details
    Browse the repository at this point in the history

Commits on Dec 29, 2016

  1. better support for switches --- added unit tests.

    @jsinglet
    jsinglet committed Dec 29, 2016
    Copy the full SHA
    9883616 View commit details
    Browse the repository at this point in the history

  2. fixed small bug for solver exits

    @jsinglet
    jsinglet committed Dec 29, 2016
    Copy the full SHA
    05e3ec2 View commit details
    Browse the repository at this point in the history

Commits on Dec 30, 2016

  1. fix npe

    @jsinglet
    jsinglet committed Dec 30, 2016
    Copy the full SHA
    b501f67 View commit details
    Browse the repository at this point in the history

  2. fixed switch problems

    @jsinglet
    jsinglet committed Dec 30, 2016
    Copy the full SHA
    c9db95a View commit details
    Browse the repository at this point in the history

Commits on Dec 31, 2016

  1. options to limit unprocessable CFGs

    @jsinglet
    jsinglet committed Dec 31, 2016
    Copy the full SHA
    cf9a165 View commit details
    Browse the repository at this point in the history

  2. fixes to prestate variables

    @jsinglet
    jsinglet committed Dec 31, 2016
    Copy the full SHA
    14d1963 View commit details
    Browse the repository at this point in the history

  3. limits

    @jsinglet
    jsinglet committed Dec 31, 2016
    Copy the full SHA
    efff098 View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'bitbucket/master' 

    # Conflicts:
#	OpenJML/.classpath
#	OpenJML/.gitignore
#	OpenJML/.settings/org.eclipse.jdt.core.prefs
#	OpenJML/build-bash.xml
#	OpenJML/demos/src/demo/A.java
#	OpenJML/launchConfigs/Build OpenJML Release.launch
#	OpenJML/launchConfigs/OpenJML command-line (1).launch
#	OpenJML/launchConfigs/OpenJML command-line (infer) (pair).launch
#	OpenJML/launchConfigs/OpenJML-Plugin-juno.launch
#	OpenJML/launchConfigs/OpenJML-Plugin-luna.launch
#	OpenJML/src/org/jmlspecs/openjml/JmlCompiler.java
#	OpenJML/src/org/jmlspecs/openjml/JmlOption.java
#	OpenJML/src/org/jmlspecs/openjml/JmlPretty.java
#	OpenJML/src/org/jmlspecs/openjml/Main.java
#	OpenJML/src/org/jmlspecs/openjml/Utils.java
#	OpenJML/src/org/jmlspecs/openjml/esc/BasicBlocker2.java
#	OpenJML/src/org/jmlspecs/openjml/esc/MethodProverSMT.java
    @jsinglet
    jsinglet committed Dec 31, 2016
    Copy the full SHA
    931b579 View commit details
    Browse the repository at this point in the history

Commits on Jan 1, 2017

  1. fixes for jdk8

    @jsinglet
    jsinglet committed Jan 1, 2017
    Copy the full SHA
    c1b304b View commit details
    Browse the repository at this point in the history

  2. Changed visibility in BasicBlocker (to get access to blockmaps), ongo… 

    …ing work to the block reader to limit nesting of specifications. Improvements to SMT simplificiation.
    @jsinglet
    jsinglet committed Jan 1, 2017
    Copy the full SHA
    16af1cc View commit details
    Browse the repository at this point in the history

  3. final fixes

    @jsinglet
    jsinglet committed Jan 1, 2017
    Copy the full SHA
    6491ed6 View commit details
    Browse the repository at this point in the history

  4. more work getting everything in merge

    @jsinglet
    jsinglet committed Jan 1, 2017
    Copy the full SHA
    32ebd08 View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2017

  1. saving

    @jsinglet
    jsinglet committed Jan 3, 2017
    Copy the full SHA
    8687d1d View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of https://jsinglet@bitbucket.org/_boa/openjml.git

    @jsinglet
    jsinglet committed Jan 3, 2017
    Copy the full SHA
    e9586e8 View commit details
    Browse the repository at this point in the history

  3. ignores

    @jsinglet
    jsinglet committed Jan 3, 2017
    Copy the full SHA
    15701e6 View commit details
    Browse the repository at this point in the history

Commits on Jan 9, 2017

  1. fixed problem introduced in new Java 8 Vesrion of OpenJML

    @jsinglet
    jsinglet committed Jan 9, 2017
    Copy the full SHA
    a690fcd View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'bitbucket/master' 

    # Conflicts:
#	OpenJML/benchmarks/.gitignore
    @jsinglet
    jsinglet committed Jan 9, 2017
    Copy the full SHA
    a76c933 View commit details
    Browse the repository at this point in the history

  3. s

    @jsinglet
    jsinglet committed Jan 9, 2017
    Copy the full SHA
    ba64b2e View commit details
    Browse the repository at this point in the history

  4. fixes to cases

    @jsinglet
    jsinglet committed Jan 9, 2017
    Copy the full SHA
    b138f99 View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2017

  1. stuff

    @jsinglet
    jsinglet committed Jan 10, 2017
    Copy the full SHA
    270d7b4 View commit details
    Browse the repository at this point in the history

  2. fixed limits

    @jsinglet
    jsinglet committed Jan 10, 2017
    Copy the full SHA
    5271efb View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2017

  1. so many fixes

    @jsinglet
    jsinglet committed Jan 11, 2017
    Copy the full SHA
    f0afaf2 View commit details
    Browse the repository at this point in the history

Commits on Jan 19, 2017

  1. ported over secondary substitution algorithm

    @jsinglet
    jsinglet committed Jan 19, 2017
    Copy the full SHA
    4c9196e View commit details
    Browse the repository at this point in the history

Commits on Feb 2, 2017

  1. somewhat major change to fix problems with symbol table corruption --… 

    … adds the option to use both the optimized and unoptimized versions of the substitution algorithm.
    @jsinglet
    jsinglet committed Feb 2, 2017
    Copy the full SHA
    a5e4c4c View commit details
    Browse the repository at this point in the history

  2. updated run configuration

    @jsinglet
    jsinglet committed Feb 2, 2017
    Copy the full SHA
    ded5fac View commit details
    Browse the repository at this point in the history

Commits on Feb 15, 2017

  1. optimization to eliminate useless null checks

    @jsinglet
    jsinglet committed Feb 15, 2017
    Copy the full SHA
    20c2696 View commit details
    Browse the repository at this point in the history

  2. fixes to check NPEs

    @jsinglet
    jsinglet committed Feb 15, 2017
    Copy the full SHA
    76595cf View commit details
    Browse the repository at this point in the history

  3. more NPE fixes

    @jsinglet
    jsinglet committed Feb 15, 2017
    Copy the full SHA
    2a8ebb8 View commit details
    Browse the repository at this point in the history

  4. updating to disable CFG debugging

    @jsinglet
    jsinglet committed Feb 15, 2017
    Copy the full SHA
    64a7522 View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2017

  1. added SMT minimization code

    @jsinglet
    jsinglet committed Feb 21, 2017
    Copy the full SHA
    6f435a6 View commit details
    Browse the repository at this point in the history

  2. added eda converter

    @jsinglet
    jsinglet committed Feb 21, 2017
    Copy the full SHA
    a8d1c1b View commit details
    Browse the repository at this point in the history

  3. added abstraction functions for program analysis functions.

    @jsinglet
    jsinglet committed Feb 21, 2017
    Copy the full SHA
    ff435a5 View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2017

  1. adding more analysis types

    @jsinglet
    jsinglet committed Feb 22, 2017
    Copy the full SHA
    87083ac View commit details
    Browse the repository at this point in the history

  2. work on implementing FactorExpressions analysis

    @jsinglet
    jsinglet committed Feb 22, 2017
    Copy the full SHA
    9c78b98 View commit details
    Browse the repository at this point in the history

Commits on Feb 24, 2017

  1. more work on factor analysis

    @jsinglet
    jsinglet committed Feb 24, 2017
    Copy the full SHA
    36a654e View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2017

  1. added filter expressions analysis

    @jsinglet
    jsinglet committed Mar 6, 2017
    Copy the full SHA
    a11a885 View commit details
    Browse the repository at this point in the history

  2. testing stuff with sympy

    @jsinglet
    jsinglet committed Mar 6, 2017
    Copy the full SHA
    fd92b53 View commit details
    Browse the repository at this point in the history

  3. fixed analysis propagation

    @jsinglet
    jsinglet committed Mar 6, 2017
    Copy the full SHA
    ac79da6 View commit details
    Browse the repository at this point in the history

  4. removed unused analysis types; added the normal print debugging for t… 

    …he new analysis
    @jsinglet
    jsinglet committed Mar 6, 2017
    Copy the full SHA
    23396c5 View commit details
    Browse the repository at this point in the history

Commits on Mar 18, 2017

  1. lots of work on jpaul migration

    @jsinglet
    jsinglet committed Mar 18, 2017
    Copy the full SHA
    29b0273 View commit details
    Browse the repository at this point in the history

  2. finished implementation of reduction algorithm

    @jsinglet
    jsinglet committed Mar 18, 2017
    Copy the full SHA
    3d5e12e View commit details
    Browse the repository at this point in the history

  3. empty roots should be disjunctions

    @jsinglet
    jsinglet committed Mar 18, 2017
    Copy the full SHA
    787b4ad View commit details
    Browse the repository at this point in the history

  4. new list utility

    @jsinglet
    jsinglet committed Mar 18, 2017
    Copy the full SHA
    3f32137 View commit details
    Browse the repository at this point in the history

  5. contract merging at end of pipeline

    @jsinglet
    jsinglet committed Mar 18, 2017
    Copy the full SHA
    4dcae16 View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2017

  1. finished contract transformation

    @jsinglet
    jsinglet committed Mar 19, 2017
    Copy the full SHA
    d44e386 View commit details
    Browse the repository at this point in the history

  2. added an option for minimizing expressions

    @jsinglet
    jsinglet committed Mar 19, 2017
    Copy the full SHA
    b4ee9a0 View commit details
    Browse the repository at this point in the history

  3. Removing of unnecesssary analysis types

    @jsinglet
    jsinglet committed Mar 19, 2017
    Copy the full SHA
    1412151 View commit details
    Browse the repository at this point in the history

  4. fixes

    @jsinglet
    jsinglet committed Mar 19, 2017
    Copy the full SHA
    b8678f8 View commit details
    Browse the repository at this point in the history

Commits on Mar 20, 2017

  1. adding timeout options

    @jsinglet
    jsinglet committed Mar 20, 2017
    Copy the full SHA
    a0a0d71 View commit details
    Browse the repository at this point in the history

  2. started working on strongarm plugin

    @jsinglet
    jsinglet committed Mar 20, 2017
    Copy the full SHA
    63f7c2b View commit details
    Browse the repository at this point in the history

  3. better logging of errors

    @jsinglet
    jsinglet committed Mar 20, 2017
    Copy the full SHA
    5102cd2 View commit details
    Browse the repository at this point in the history

  4. fixed a few weird npes

    @jsinglet
    jsinglet committed Mar 20, 2017
    Copy the full SHA
    1047380 View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2017

  1. working on run analysis script

    @jsinglet
    jsinglet committed Mar 21, 2017
    Copy the full SHA
    11bb01d View commit details
    Browse the repository at this point in the history

Commits on Mar 23, 2017

  1. refactored comparator

    @jsinglet
    jsinglet committed Mar 23, 2017
    Copy the full SHA
    9d0f743 View commit details
    Browse the repository at this point in the history

  2. so much work.

    @jsinglet
    jsinglet committed Mar 23, 2017
    Copy the full SHA
    d963dd9 View commit details
    Browse the repository at this point in the history

  3. tracing and analysis work

    @jsinglet
    jsinglet committed Mar 23, 2017
    Copy the full SHA
    ee8170f View commit details
    Browse the repository at this point in the history

  4. work on analysis tools

    @jsinglet
    jsinglet committed Mar 23, 2017
    Copy the full SHA
    b2e38c7 View commit details
    Browse the repository at this point in the history

  5. removed some files

    @jsinglet
    jsinglet committed Mar 23, 2017
    Copy the full SHA
    3066549 View commit details
    Browse the repository at this point in the history

  6. new run configs

    @jsinglet
    jsinglet committed Mar 23, 2017
    Copy the full SHA
    878560e View commit details
    Browse the repository at this point in the history

  7. configs

    @jsinglet
    jsinglet committed Mar 23, 2017
    Copy the full SHA
    bc4e86d View commit details
    Browse the repository at this point in the history

  8. eval script

    @jsinglet
    jsinglet committed Mar 23, 2017
    Copy the full SHA
    0b4f992 View commit details
    Browse the repository at this point in the history

Commits on Mar 24, 2017

  1. chasing down bugs

    @jsinglet
    jsinglet committed Mar 24, 2017
    Copy the full SHA
    d6460b0 View commit details
    Browse the repository at this point in the history

  2. updates

    @jsinglet
    jsinglet committed Mar 24, 2017
    Copy the full SHA
    ef08e50 View commit details
    Browse the repository at this point in the history

Commits on Mar 26, 2017

  1. broke out second pruner

    @jsinglet
    jsinglet committed Mar 26, 2017
    Copy the full SHA
    1a5e46b View commit details
    Browse the repository at this point in the history

  2. data analysis work

    @jsinglet
    jsinglet committed Mar 26, 2017
    Copy the full SHA
    8c33f60 View commit details
    Browse the repository at this point in the history

  3. cleanup of scripts

    @jsinglet
    jsinglet committed Mar 26, 2017
    Copy the full SHA
    90ad7d0 View commit details
    Browse the repository at this point in the history

  4. commit figures

    @jsinglet
    jsinglet committed Mar 26, 2017
    Copy the full SHA
    576d30f View commit details
    Browse the repository at this point in the history

  5. cleanup

    @jsinglet
    jsinglet committed Mar 26, 2017
    Copy the full SHA
    9f13ba3 View commit details
    Browse the repository at this point in the history

  6. cleanup

    @jsinglet
    jsinglet committed Mar 26, 2017
    Copy the full SHA
    e850408 View commit details
    Browse the repository at this point in the history

  7. figures

    @jsinglet
    jsinglet committed Mar 26, 2017
    Copy the full SHA
    ab3b0b5 View commit details
    Browse the repository at this point in the history

  8. fixes for skips

    @jsinglet
    jsinglet committed Mar 26, 2017
    Copy the full SHA
    c77b9fc View commit details
    Browse the repository at this point in the history

  9. allow default precondition inference.

    @jsinglet
    jsinglet committed Mar 26, 2017
    Copy the full SHA
    ee20c25 View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2017

  1. we aren't going to do this.

    @jsinglet
    jsinglet committed Mar 27, 2017
    Copy the full SHA
    8cfb884 View commit details
    Browse the repository at this point in the history

  2. ignore figures

    @jsinglet
    jsinglet committed Mar 27, 2017
    Copy the full SHA
    c63fea4 View commit details
    Browse the repository at this point in the history

  3. changes

    @jsinglet
    jsinglet committed Mar 27, 2017
    Copy the full SHA
    3b76b02 View commit details
    Browse the repository at this point in the history

  4. working on fixes

    @jsinglet
    jsinglet committed Mar 27, 2017
    Copy the full SHA
    c8321f8 View commit details
    Browse the repository at this point in the history

  5. fixed eval script. fixed NPEs

    @jsinglet
    jsinglet committed Mar 27, 2017
    Copy the full SHA
    5572202 View commit details
    Browse the repository at this point in the history

  6. so much work to eval scripts.

    @jsinglet
    jsinglet committed Mar 27, 2017
    Copy the full SHA
    d12284a View commit details
    Browse the repository at this point in the history

  7. more fixes.

    @jsinglet
    jsinglet committed Mar 27, 2017
    Copy the full SHA
    37fd7e1 View commit details
    Browse the repository at this point in the history

  8. pandas warning.

    @jsinglet
    jsinglet committed Mar 27, 2017
    Copy the full SHA
    e1da9e9 View commit details
    Browse the repository at this point in the history

  9. cleaning up some rare NPEs

    @jsinglet
    jsinglet committed Mar 27, 2017
    Copy the full SHA
    d3fab85 View commit details
    Browse the repository at this point in the history

  10. bugs

    @jsinglet
    jsinglet committed Mar 27, 2017
    Copy the full SHA
    d8f1b06 View commit details
    Browse the repository at this point in the history

  11. improvements to eval.

    @jsinglet
    jsinglet committed Mar 27, 2017
    Copy the full SHA
    b14609b View commit details
    Browse the repository at this point in the history

  12. removed

    @jsinglet
    jsinglet committed Mar 27, 2017
    Copy the full SHA
    651b696 View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2017

  1. interfaces!

    @jsinglet
    jsinglet committed Mar 28, 2017
    Copy the full SHA
    6ad1e0d View commit details
    Browse the repository at this point in the history

  2. fixing blowups. fixing eval scripts to add new column.

    @jsinglet
    jsinglet committed Mar 28, 2017
    Copy the full SHA
    318c2f0 View commit details
    Browse the repository at this point in the history

  3. adding gen figure script.

    @jsinglet
    jsinglet committed Mar 28, 2017
    Copy the full SHA
    2ed3a6b View commit details
    Browse the repository at this point in the history

  4. new eval type

    @jsinglet
    jsinglet committed Mar 28, 2017
    Copy the full SHA
    75fe070 View commit details
    Browse the repository at this point in the history

Commits on Mar 29, 2017

  1. fixes to pipeline, LOC counts, and adding a new analysis type.

    @jsinglet
    jsinglet committed Mar 29, 2017
    Copy the full SHA
    3b3b08c View commit details
    Browse the repository at this point in the history

  2. logging bugs

    @jsinglet
    jsinglet committed Mar 29, 2017
    Copy the full SHA
    b6a23f7 View commit details
    Browse the repository at this point in the history

Commits on Apr 1, 2017

  1. histoical runs

    @jsinglet
    jsinglet committed Apr 1, 2017
    Copy the full SHA
    776e6fd View commit details
    Browse the repository at this point in the history

Commits on Apr 2, 2017

  1. big reductions in cfg

    @jsinglet
    jsinglet committed Apr 2, 2017
    Copy the full SHA
    6155c85 View commit details
    Browse the repository at this point in the history

  2. possibly sketchy

    @jsinglet
    jsinglet committed Apr 2, 2017
    Copy the full SHA
    776a69f View commit details
    Browse the repository at this point in the history

  3. cleanup the lexical sub phase

    @jsinglet
    jsinglet committed Apr 2, 2017
    Copy the full SHA
    58d889d View commit details
    Browse the repository at this point in the history

  4. push the start block back.

    @jsinglet
    jsinglet committed Apr 2, 2017
    Copy the full SHA
    55ef316 View commit details
    Browse the repository at this point in the history

  5. fixed indexing bug

    @jsinglet
    jsinglet committed Apr 2, 2017
    Copy the full SHA
    ffc61af View commit details
    Browse the repository at this point in the history

Commits on Apr 3, 2017

  1. adding new bugs to triage

    @jsinglet
    jsinglet committed Apr 3, 2017
    Copy the full SHA
    a7aefdf View commit details
    Browse the repository at this point in the history

  2. some very mysterious NPEs

    @jsinglet
    jsinglet committed Apr 3, 2017
    Copy the full SHA
    91e6554 View commit details
    Browse the repository at this point in the history

  3. critical fix

    @jsinglet
    jsinglet committed Apr 3, 2017
    Copy the full SHA
    b0b7ea3 View commit details
    Browse the repository at this point in the history

  4. driver for fixpoint evals

    @jsinglet
    jsinglet committed Apr 3, 2017
    Copy the full SHA
    8078110 View commit details
    Browse the repository at this point in the history

Commits on Apr 4, 2017

  1. threadpool shutdown

    @jsinglet
    jsinglet committed Apr 4, 2017
    Copy the full SHA
    432bb04 View commit details
    Browse the repository at this point in the history

  2. fixpoint calculator.

    @jsinglet
    jsinglet committed Apr 4, 2017
    Copy the full SHA
    66f1891 View commit details
    Browse the repository at this point in the history

  3. no need to create this over and over.

    @jsinglet
    jsinglet committed Apr 4, 2017
    Copy the full SHA
    554808e View commit details
    Browse the repository at this point in the history

  4. more improvements.

    @jsinglet
    jsinglet committed Apr 4, 2017
    Copy the full SHA
    2c7cec2 View commit details
    Browse the repository at this point in the history

  5. a

    @jsinglet
    jsinglet committed Apr 4, 2017
    Copy the full SHA
    91cc7f5 View commit details
    Browse the repository at this point in the history

  6. dedicated exception

    @jsinglet
    jsinglet committed Apr 4, 2017
    Copy the full SHA
    ed77fbf View commit details
    Browse the repository at this point in the history

  7. added this super helpful status script

    @jsinglet
    jsinglet committed Apr 4, 2017
    Copy the full SHA
    f4d0be7 View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2017

  1. fixes to analysis sceripts

    @jsinglet
    jsinglet committed Apr 5, 2017
    Copy the full SHA
    a0a0694 View commit details
    Browse the repository at this point in the history

  2. a few more small fixes

    @jsinglet
    jsinglet committed Apr 5, 2017
    Copy the full SHA
    7da94f5 View commit details
    Browse the repository at this point in the history

Commits on Apr 6, 2017

  1. small refinement in zeros

    @jsinglet
    jsinglet committed Apr 6, 2017
    Copy the full SHA
    20d6ba6 View commit details
    Browse the repository at this point in the history

  2. fixed a weird array bug

    @jsinglet
    jsinglet committed Apr 6, 2017
    Copy the full SHA
    a14943b View commit details
    Browse the repository at this point in the history

  3. getting clean!

    @jsinglet
    jsinglet committed Apr 6, 2017
    Copy the full SHA
    20cf4f3 View commit details
    Browse the repository at this point in the history

  4. more stuff

    @jsinglet
    jsinglet committed Apr 6, 2017
    Copy the full SHA
    670a4bb View commit details
    Browse the repository at this point in the history

  5. more

    @jsinglet
    jsinglet committed Apr 6, 2017
    Copy the full SHA
    cb27cd5 View commit details
    Browse the repository at this point in the history

  6. more cleanup

    @jsinglet
    jsinglet committed Apr 6, 2017
    Copy the full SHA
    8c9daf8 View commit details
    Browse the repository at this point in the history

Commits on Apr 7, 2017

  1. bug in JmlAssertionAdder

    @jsinglet
    jsinglet committed Apr 7, 2017
    Copy the full SHA
    79e370c View commit details
    Browse the repository at this point in the history

  2. added in specs for annotations

    @jsinglet
    jsinglet committed Apr 7, 2017
    Copy the full SHA
    2ac95eb View commit details
    Browse the repository at this point in the history

  3. more jive

    @jsinglet
    jsinglet committed Apr 7, 2017
    Copy the full SHA
    f1096b9 View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2017

  1. cleanup

    @jsinglet
    jsinglet committed Apr 8, 2017
    Copy the full SHA
    d12d078 View commit details
    Browse the repository at this point in the history

  2. cleanup

    @jsinglet
    jsinglet committed Apr 8, 2017
    Copy the full SHA
    2b05b16 View commit details
    Browse the repository at this point in the history

  3. cleanup

    @jsinglet
    jsinglet committed Apr 8, 2017
    Copy the full SHA
    797120c View commit details
    Browse the repository at this point in the history

  4. need java mail api for some tests.

    @jsinglet
    jsinglet committed Apr 8, 2017
    Copy the full SHA
    e3be6a9 View commit details
    Browse the repository at this point in the history

  5. cleanup, plus removed visiblity of specification

    @jsinglet
    jsinglet committed Apr 8, 2017
    Copy the full SHA
    c62407d View commit details
    Browse the repository at this point in the history

  6. more fixes

    @jsinglet
    jsinglet committed Apr 8, 2017
    Copy the full SHA
    0464e54 View commit details
    Browse the repository at this point in the history

  7. fields

    @jsinglet
    jsinglet committed Apr 8, 2017
    Copy the full SHA
    12ef79a View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2017

  1. cleaning up the format of specs

    @jsinglet
    jsinglet committed Apr 10, 2017
    Copy the full SHA
    07fbbe1 View commit details
    Browse the repository at this point in the history

  2. remove static initialziers.

    @jsinglet
    jsinglet committed Apr 10, 2017
    Copy the full SHA
    aa664c1 View commit details
    Browse the repository at this point in the history

  3. don't write enums

    @jsinglet
    jsinglet committed Apr 10, 2017
    Copy the full SHA
    90da966 View commit details
    Browse the repository at this point in the history

  4. minor fix

    @jsinglet
    jsinglet committed Apr 10, 2017
    Copy the full SHA
    349e9c7 View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2017

  1. explicitly promote specs

    @jsinglet
    jsinglet committed Apr 11, 2017
    Copy the full SHA
    5c43517 View commit details
    Browse the repository at this point in the history

  2. oh recursion

    @jsinglet
    jsinglet committed Apr 11, 2017
    Copy the full SHA
    24da8f1 View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2017

  1. some fixes.

    @jsinglet
    jsinglet committed Apr 12, 2017
    Copy the full SHA
    315fa57 View commit details
    Browse the repository at this point in the history

  2. change behavior of visibility checking

    @jsinglet
    jsinglet committed Apr 12, 2017
    Copy the full SHA
    7449b54 View commit details
    Browse the repository at this point in the history

  3. also promote protected fields.

    @jsinglet
    jsinglet committed Apr 12, 2017
    Copy the full SHA
    f776cb2 View commit details
    Browse the repository at this point in the history

  4. new checks

    @jsinglet
    jsinglet committed Apr 12, 2017
    Copy the full SHA
    df0bc31 View commit details
    Browse the repository at this point in the history

Commits on Apr 13, 2017

  1. good to go

    @jsinglet
    jsinglet committed Apr 13, 2017
    Copy the full SHA
    f40e62d View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2017

  1. adding stragglers.

    @jsinglet
    jsinglet committed Apr 16, 2017
    Copy the full SHA
    087741d View commit details
    Browse the repository at this point in the history

  2. sampler

    @jsinglet
    jsinglet committed Apr 16, 2017
    Copy the full SHA
    96f48c6 View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2017

  1. fix driver

    @jsinglet
    jsinglet committed Apr 17, 2017
    Copy the full SHA
    0e94c4c View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2017

  1. working on that spec public thing

    @jsinglet
    jsinglet committed Apr 18, 2017
    Copy the full SHA
    f9d3be7 View commit details
    Browse the repository at this point in the history

Commits on Apr 21, 2017

  1. some fixes to problems found in evaluation run

    @jsinglet
    jsinglet committed Apr 21, 2017
    Copy the full SHA
    d41674a View commit details
    Browse the repository at this point in the history

Commits on Apr 22, 2017

  1. adding to test case

    @jsinglet
    jsinglet committed Apr 22, 2017
    Copy the full SHA
    04a2b36 View commit details
    Browse the repository at this point in the history

  2. adding plugin stuff

    @jsinglet
    jsinglet committed Apr 22, 2017
    Copy the full SHA
    c92e5bb View commit details
    Browse the repository at this point in the history

  3. adding weaving option

    @jsinglet
    jsinglet committed Apr 22, 2017
    Copy the full SHA
    df2fb07 View commit details
    Browse the repository at this point in the history

  4. reworked pipeline for generating paper graphs; more modular now.

    @jsinglet
    jsinglet committed Apr 22, 2017
    Copy the full SHA
    2481af2 View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2017

  1. added hbar version of graph.

    @jsinglet
    jsinglet committed Apr 23, 2017
    Copy the full SHA
    1a02c9e View commit details
    Browse the repository at this point in the history

  2. finished refining figure generation

    @jsinglet
    jsinglet committed Apr 23, 2017
    Copy the full SHA
    a86800a View commit details
    Browse the repository at this point in the history

  3. added specification weaving.

    @jsinglet
    jsinglet committed Apr 23, 2017
    Copy the full SHA
    52724f3 View commit details
    Browse the repository at this point in the history

  4. don't allow re-weaving of already inferred specs.

    @jsinglet
    jsinglet committed Apr 23, 2017
    Copy the full SHA
    32a3e7f View commit details
    Browse the repository at this point in the history

Commits on Apr 24, 2017

  1. initial pass of strongarm integration

    @jsinglet
    jsinglet committed Apr 24, 2017
    Copy the full SHA
    9a22bf8 View commit details
    Browse the repository at this point in the history

  2. fixed weird bug for async calls

    @jsinglet
    jsinglet committed Apr 24, 2017
    Copy the full SHA
    fdbacf4 View commit details
    Browse the repository at this point in the history

  3. fixes to console

    @jsinglet
    jsinglet committed Apr 24, 2017
    Copy the full SHA
    e725d76 View commit details
    Browse the repository at this point in the history

  4. added preferences for strongarm

    @jsinglet
    jsinglet committed Apr 24, 2017
    Copy the full SHA
    9658fe9 View commit details
    Browse the repository at this point in the history

  5. spaces

    @jsinglet
    jsinglet committed Apr 24, 2017
    Copy the full SHA
    bd5af5d View commit details
    Browse the repository at this point in the history

  6. better formatting for contracts.

    @jsinglet
    jsinglet committed Apr 24, 2017
    Copy the full SHA
    4c11b8f View commit details
    Browse the repository at this point in the history

  7. formal option for vis checking.

    @jsinglet
    jsinglet committed Apr 24, 2017
    Copy the full SHA
    b8e43bc View commit details
    Browse the repository at this point in the history

  8. Strongarm options.

    @jsinglet
    jsinglet committed Apr 24, 2017
    Copy the full SHA
    667dd71 View commit details
    Browse the repository at this point in the history

  9. more preferences.

    @jsinglet
    jsinglet committed Apr 24, 2017
    Copy the full SHA
    0fd5452 View commit details
    Browse the repository at this point in the history

  10. cleanup

    @jsinglet
    jsinglet committed Apr 24, 2017
    Copy the full SHA
    2431582 View commit details
    Browse the repository at this point in the history

  11. revert ui

    @jsinglet
    jsinglet committed Apr 24, 2017
    Copy the full SHA
    3a50a95 View commit details
    Browse the repository at this point in the history

  12. updating test results

    @jsinglet
    jsinglet committed Apr 24, 2017
    Copy the full SHA
    75c7217 View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2017

  1. stashing

    @jsinglet
    jsinglet committed Apr 25, 2017
    Copy the full SHA
    cdc4f27 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'github/master' 

    # Conflicts:
#	.gitignore
#	OpenJML/.gitignore
#	OpenJML/build-bash.xml
#	OpenJML/src/org/jmlspecs/openjml/JmlCompiler.java
#	OpenJML/src/org/jmlspecs/openjml/esc/JmlAssertionAdder.java
#	OpenJML/src/org/jmlspecs/openjml/esc/MethodProverSMT.java
#	OpenJMLUI/.classpath
#	README.md
    @jsinglet
    jsinglet committed Apr 25, 2017
    Copy the full SHA
    bacd189 View commit details
    Browse the repository at this point in the history

  3. changes for new api

    @jsinglet
    jsinglet committed Apr 25, 2017
    Copy the full SHA
    6994111 View commit details
    Browse the repository at this point in the history

  4. api change

    @jsinglet
    jsinglet committed Apr 25, 2017
    Copy the full SHA
    65b96b4 View commit details
    Browse the repository at this point in the history

  5. cleanup the preferences

    @jsinglet
    jsinglet committed Apr 25, 2017
    Copy the full SHA
    00a3524 View commit details
    Browse the repository at this point in the history

  6. we need a restart for these to take effect.

    @jsinglet
    jsinglet committed Apr 25, 2017
    Copy the full SHA
    1d962e2 View commit details
    Browse the repository at this point in the history

Commits on Apr 30, 2017

  1. Merge remote-tracking branch 'github/master' into strongarm 

    # Conflicts:
#	OpenJML/src/org/jmlspecs/openjml/esc/JmlAssertionAdder.java
    @jsinglet
    jsinglet committed Apr 30, 2017
    Copy the full SHA
    f4987c1 View commit details
    Browse the repository at this point in the history

  2. Refactored annotation

    @jsinglet
    jsinglet committed Apr 30, 2017
    Copy the full SHA
    ce9c2a8 View commit details
    Browse the repository at this point in the history

  3. moving annotation

    @jsinglet
    jsinglet committed Apr 30, 2017
    Copy the full SHA
    273f4d7 View commit details
    Browse the repository at this point in the history