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

Complete rewrite of the parser #84

Open
wants to merge 120 commits into
base: scala-2.13
Choose a base branch
from
Open

Complete rewrite of the parser #84

wants to merge 120 commits into from

Commits on Jul 31, 2018

  1. Add HoleType, which indicates the type of values expected by a hole

    @redelmann
    redelmann committed Jul 31, 2018
    Configuration menu
    Copy the full SHA
    a399596 View commit details
    Browse the repository at this point in the history

  2. Add an interpolator implemented with macros

    @redelmann
    redelmann committed Jul 31, 2018
    Configuration menu
    Copy the full SHA
    fb2cb3a View commit details
    Browse the repository at this point in the history

  3. Add implicit store argument to getDefinitions

    @redelmann
    redelmann committed Jul 31, 2018
    Configuration menu
    Copy the full SHA
    b4a4941 View commit details
    Browse the repository at this point in the history

  4. Add HoleValues class

    @redelmann
    redelmann committed Jul 31, 2018
    Configuration menu
    Copy the full SHA
    992bc06 View commit details
    Browse the repository at this point in the history

  5. Parse holes in function application position to identifier by default 

    To get an expression, use ($myFun)(arg1, arg2, arg3) instead of $myFun(arg1, arg2, arg3).
    @redelmann
    redelmann committed Jul 31, 2018
    Configuration menu
    Copy the full SHA
    38d9a9f View commit details
    Browse the repository at this point in the history

  6. Add replaceHoles functions

    @redelmann
    redelmann committed Jul 31, 2018
    Configuration menu
    Copy the full SHA
    5207dd8 View commit details
    Browse the repository at this point in the history

  7. Fix macros implementations

    @redelmann
    redelmann committed Jul 31, 2018
    Configuration menu
    Copy the full SHA
    70c693b View commit details
    Browse the repository at this point in the history

  8. Use replaceHoles to feed parameters of quasiquotes

    @redelmann
    redelmann committed Jul 31, 2018
    Configuration menu
    Copy the full SHA
    267926f View commit details
    Browse the repository at this point in the history

  9. Code quality and comment

    @redelmann
    redelmann committed Jul 31, 2018
    Configuration menu
    Copy the full SHA
    0dd8c2d View commit details
    Browse the repository at this point in the history

  10. Add macro extractor for types 

    Compared with the non-macro implementation, this one can statically provide the type of holes.
    @redelmann
    redelmann committed Jul 31, 2018
    Configuration menu
    Copy the full SHA
    bc2e3be View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2018

  1. Refactoring

    @redelmann
    redelmann committed Aug 2, 2018
    Configuration menu
    Copy the full SHA
    304b999 View commit details
    Browse the repository at this point in the history

  2. Use MacroInterpolator as the default interpolator

    @redelmann
    redelmann committed Aug 2, 2018
    Configuration menu
    Copy the full SHA
    b04eb26 View commit details
    Browse the repository at this point in the history

  3. Handle implicit symbols

    @redelmann
    redelmann committed Aug 2, 2018
    Configuration menu
    Copy the full SHA
    7ba44a7 View commit details
    Browse the repository at this point in the history

  4. Comment out the warning for using default

    @redelmann
    redelmann committed Aug 2, 2018
    Configuration menu
    Copy the full SHA
    66b60de View commit details
    Browse the repository at this point in the history

  5. Remove useless import

    @redelmann
    redelmann committed Aug 2, 2018
    Configuration menu
    Copy the full SHA
    972da12 View commit details
    Browse the repository at this point in the history

  6. Rename interpolator-related classes and fix their hierarchy

    @redelmann
    redelmann committed Aug 2, 2018
    Configuration menu
    Copy the full SHA
    6861e4b View commit details
    Browse the repository at this point in the history

  7. Add unapply for expressions

    @redelmann
    redelmann committed Aug 2, 2018
    Configuration menu
    Copy the full SHA
    ba8a399 View commit details
    Browse the repository at this point in the history

  8. Refactor

    @redelmann
    redelmann committed Aug 2, 2018
    Configuration menu
    Copy the full SHA
    4ad9907 View commit details
    Browse the repository at this point in the history

  9. Add s to MacroInterpolator

    @redelmann
    redelmann committed Aug 2, 2018
    Configuration menu
    Copy the full SHA
    d318c59 View commit details
    Browse the repository at this point in the history

  10. Add definition interpolators to the macro interpolator

    @redelmann
    redelmann committed Aug 2, 2018
    Configuration menu
    Copy the full SHA
    dd8aef7 View commit details
    Browse the repository at this point in the history

  11. Add the concept of a Binding to the IRs

    @redelmann
    redelmann committed Aug 2, 2018
    Configuration menu
    Copy the full SHA
    e3a0955 View commit details
    Browse the repository at this point in the history

  12. Add different constructors for bindings

    @redelmann
    redelmann committed Aug 2, 2018
    Configuration menu
    Copy the full SHA
    dede1ca View commit details
    Browse the repository at this point in the history

  13. Some fixes

    @redelmann
    redelmann committed Aug 2, 2018
    Configuration menu
    Copy the full SHA
    96866dc View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2018

  1. First draft

    @redelmann
    redelmann committed Aug 3, 2018
    Configuration menu
    Copy the full SHA
    8e55f16 View commit details
    Browse the repository at this point in the history

  2. More work

    @redelmann
    redelmann committed Aug 3, 2018
    Configuration menu
    Copy the full SHA
    9d3fa24 View commit details
    Browse the repository at this point in the history

  3. Simplify constrained.

    @redelmann
    redelmann committed Aug 3, 2018
    Configuration menu
    Copy the full SHA
    4503a96 View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2018

  1. Refactor harder, structure looks better now

    @redelmann
    redelmann committed Aug 4, 2018
    Configuration menu
    Copy the full SHA
    46ae7c2 View commit details
    Browse the repository at this point in the history

  2. Yet more refactoring

    @redelmann
    redelmann committed Aug 4, 2018
    Configuration menu
    Copy the full SHA
    834e118 View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2018

  1. Refactor harder

    @redelmann
    redelmann committed Aug 6, 2018
    Configuration menu
    Copy the full SHA
    a53fb38 View commit details
    Browse the repository at this point in the history

  2. Greatly simplify the types IR, use Store to resolve all names, even p… 

    …rimitives
    @redelmann
    redelmann committed Aug 6, 2018
    Configuration menu
    Copy the full SHA
    944d23b View commit details
    Browse the repository at this point in the history

  3. More work on Expr, refactor HSeq

    @redelmann
    redelmann committed Aug 6, 2018
    Configuration menu
    Copy the full SHA
    344d7e8 View commit details
    Browse the repository at this point in the history

  4. Remove context for elaborators, add result for matchings

    @redelmann
    redelmann committed Aug 6, 2018
    Configuration menu
    Copy the full SHA
    13cc34a View commit details
    Browse the repository at this point in the history

  5. Also split binding extractor in two

    @redelmann
    redelmann committed Aug 6, 2018
    Configuration menu
    Copy the full SHA
    9e127bc View commit details
    Browse the repository at this point in the history

  6. Yet in the middle of refactoring

    @redelmann
    redelmann committed Aug 6, 2018
    Configuration menu
    Copy the full SHA
    7d3f7dd View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2018

  1. More work on extractor and elaborator

    @redelmann
    redelmann committed Aug 7, 2018
    Configuration menu
    Copy the full SHA
    f8cea27 View commit details
    Browse the repository at this point in the history

  2. Add a size specification parameter to the Bits typeclass, to support … 

    …casts
    @redelmann
    redelmann committed Aug 7, 2018
    Configuration menu
    Copy the full SHA
    cdc3807 View commit details
    Browse the repository at this point in the history

  3. Done with extractors

    @redelmann
    redelmann committed Aug 7, 2018
    Configuration menu
    Copy the full SHA
    1792417 View commit details
    Browse the repository at this point in the history

  4. Finish expression elaborator

    @redelmann
    redelmann committed Aug 7, 2018
    Configuration menu
    Copy the full SHA
    dc1f710 View commit details
    Browse the repository at this point in the history

  5. Add bidirectional conversions between simple types and inox types

    @redelmann
    redelmann committed Aug 7, 2018
    Configuration menu
    Copy the full SHA
    43ad977 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2018

  1. Implement constraint solver

    @redelmann
    redelmann committed Aug 8, 2018
    Configuration menu
    Copy the full SHA
    e5aa08e View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2018

  1. Work towards elaboration of function definitions

    @redelmann
    redelmann committed Aug 9, 2018
    Configuration menu
    Copy the full SHA
    4d84f96 View commit details
    Browse the repository at this point in the history

  2. Add function extractor

    @redelmann
    redelmann committed Aug 9, 2018
    Configuration menu
    Copy the full SHA
    d182bc9 View commit details
    Browse the repository at this point in the history

  3. Add simple adts and fully implement store

    @redelmann
    redelmann committed Aug 9, 2018
    Configuration menu
    Copy the full SHA
    93b5696 View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2018

  1. Add ADT elaborator and extractor

    @redelmann
    redelmann committed Aug 10, 2018
    Configuration menu
    Copy the full SHA
    fd8f6ba View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2018

  1. Add lexer and parsers, fix some bugs

    @redelmann
    redelmann committed Aug 15, 2018
    Configuration menu
    Copy the full SHA
    ee6c027 View commit details
    Browse the repository at this point in the history

  2. Separate the namespaces of types and expressions

    @redelmann
    redelmann committed Aug 15, 2018
    Configuration menu
    Copy the full SHA
    8d4894a View commit details
    Browse the repository at this point in the history

  3. Add Liftable instances for the various IRs

    @redelmann
    redelmann committed Aug 15, 2018
    Configuration menu
    Copy the full SHA
    c8986a4 View commit details
    Browse the repository at this point in the history

  4. Add macro interpolator for types

    @redelmann
    redelmann committed Aug 15, 2018
    Configuration menu
    Copy the full SHA
    3e6ea5f View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2018

  1. Add macro interpolators for expressions

    @redelmann
    redelmann committed Aug 16, 2018
    Configuration menu
    Copy the full SHA
    ecad27c View commit details
    Browse the repository at this point in the history

  2. Add function definition macros interpolators

    @redelmann
    redelmann committed Aug 16, 2018
    Configuration menu
    Copy the full SHA
    cb44839 View commit details
    Browse the repository at this point in the history

  3. Fix bugs in parser and hseq extractor

    @redelmann
    redelmann committed Aug 16, 2018
    Configuration menu
    Copy the full SHA
    08c000f View commit details
    Browse the repository at this point in the history

  4. Add explicit type argument to HSeq call in macro

    @redelmann
    redelmann committed Aug 16, 2018
    Configuration menu
    Copy the full SHA
    d75951c View commit details
    Browse the repository at this point in the history

  5. Accept syntactic sugar for refinement types, fix bugs

    @redelmann
    redelmann committed Aug 16, 2018
    Configuration menu
    Copy the full SHA
    2918334 View commit details
    Browse the repository at this point in the history

  6. Add macro interpolator for value definitions and type definitions

    @redelmann
    redelmann committed Aug 16, 2018
    Configuration menu
    Copy the full SHA
    84cb940 View commit details
    Browse the repository at this point in the history

  7. Package all internal values in companion object of Interpolator

    @redelmann
    redelmann committed Aug 16, 2018
    Configuration menu
    Copy the full SHA
    12578f4 View commit details
    Browse the repository at this point in the history

  8. Fix bug in elaboration of IsConstructor

    @redelmann
    redelmann committed Aug 16, 2018
    Configuration menu
    Copy the full SHA
    052aa44 View commit details
    Browse the repository at this point in the history

  9. Add interpolator for programs

    @redelmann
    redelmann committed Aug 16, 2018
    Configuration menu
    Copy the full SHA
    e5936b4 View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2018

  1. Handle invocations made to variables

    @redelmann
    redelmann committed Aug 17, 2018
    Configuration menu
    Copy the full SHA
    94319e0 View commit details
    Browse the repository at this point in the history

  2. Fix bug in macro

    @redelmann
    redelmann committed Aug 17, 2018
    Configuration menu
    Copy the full SHA
    4ca54ba View commit details
    Browse the repository at this point in the history

  3. Attach positions to IRs

    @redelmann
    redelmann committed Aug 17, 2018
    Configuration menu
    Copy the full SHA
    49de17b View commit details
    Browse the repository at this point in the history

  4. Begin working on providing good error messages

    @redelmann
    redelmann committed Aug 17, 2018
    Configuration menu
    Copy the full SHA
    77686ef View commit details
    Browse the repository at this point in the history

  5. Continue work on error messages

    @redelmann
    redelmann committed Aug 17, 2018
    Configuration menu
    Copy the full SHA
    8def752 View commit details
    Browse the repository at this point in the history

  6. More work on error messages 

    Error messages resulting for constraint violations are still to be done.
    @redelmann
    redelmann committed Aug 17, 2018
    Configuration menu
    Copy the full SHA
    3e54005 View commit details
    Browse the repository at this point in the history

Commits on Oct 26, 2018

  1. Better error messages, add constructors for sets, maps and bags

    @redelmann
    redelmann committed Oct 26, 2018
    Configuration menu
    Copy the full SHA
    4d5e9a9 View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2018

  1. Remove old parser, fix bugs, update doc

    @redelmann
    redelmann committed Oct 29, 2018
    Configuration menu
    Copy the full SHA
    bb42f19 View commit details
    Browse the repository at this point in the history

  2. Fix last merge errors

    @redelmann
    redelmann committed Oct 29, 2018
    Configuration menu
    Copy the full SHA
    0b0f176 View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2018

  1. Use a Macros implementation for interpolators by default in inox.ast.… 

    …Trees
    @redelmann
    redelmann committed Oct 30, 2018
    Configuration menu
    Copy the full SHA
    7cf875c View commit details
    Browse the repository at this point in the history

  2. Overridable macro interpolators

    @samarion
    samarion committed Oct 30, 2018
    Configuration menu
    Copy the full SHA
    ad1019d View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2018

  1. Fix bugs, add tests

    @redelmann
    redelmann committed Oct 31, 2018
    Configuration menu
    Copy the full SHA
    65a7d31 View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2018

  1. Remove warning about implicit conversions

    @redelmann
    redelmann committed Nov 1, 2018
    Configuration menu
    Copy the full SHA
    6db8245 View commit details
    Browse the repository at this point in the history

  2. Add test

    @redelmann
    redelmann committed Nov 1, 2018
    Configuration menu
    Copy the full SHA
    d984ee2 View commit details
    Browse the repository at this point in the history

  3. Remove debug print

    @redelmann
    redelmann committed Nov 1, 2018
    Configuration menu
    Copy the full SHA
    2f0b213 View commit details
    Browse the repository at this point in the history

  4. Fix priority in parser

    @redelmann
    redelmann committed Nov 1, 2018
    Configuration menu
    Copy the full SHA
    614b5db View commit details
    Browse the repository at this point in the history

  5. Add tests for elaboration of function definitions

    @redelmann
    redelmann committed Nov 1, 2018
    Configuration menu
    Copy the full SHA
    619945a View commit details
    Browse the repository at this point in the history

  6. Make the annotated types of macro-generated terms shorter

    @redelmann
    redelmann committed Nov 1, 2018
    Configuration menu
    Copy the full SHA
    2c6fc13 View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2018

  1. Fix bug with hole in return type of function definition

    @redelmann
    redelmann committed Nov 5, 2018
    Configuration menu
    Copy the full SHA
    62ff2a7 View commit details
    Browse the repository at this point in the history

  2. Add some tests for function definition parsing

    @redelmann
    redelmann committed Nov 5, 2018
    Configuration menu
    Copy the full SHA
    22e418a View commit details
    Browse the repository at this point in the history

  3. Fix error message in case of wrong number of arguments

    @redelmann
    redelmann committed Nov 5, 2018
    Configuration menu
    Copy the full SHA
    32691f1 View commit details
    Browse the repository at this point in the history

  4. Make sure the definitions appear in the same order as they are defined

    @redelmann
    redelmann committed Nov 5, 2018
    Configuration menu
    Copy the full SHA
    0950745 View commit details
    Browse the repository at this point in the history

  5. Tests for program parser

    @redelmann
    redelmann committed Nov 5, 2018
    Configuration menu
    Copy the full SHA
    89067fc View commit details
    Browse the repository at this point in the history

  6. Switch from objects to class/val instead, so that it is easier to ove… 

    …rride
    @redelmann
    redelmann committed Nov 5, 2018
    Configuration menu
    Copy the full SHA
    ee608ca View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2018

  1. Made Lexer and operators overridable

    @redelmann
    redelmann committed Nov 6, 2018
    Configuration menu
    Copy the full SHA
    8b09b46 View commit details
    Browse the repository at this point in the history

  2. Unseal all IRs

    @redelmann
    redelmann committed Nov 6, 2018
    Configuration menu
    Copy the full SHA
    e8a844b View commit details
    Browse the repository at this point in the history

  3. Add widening and narrowing casts to the parser

    @redelmann
    redelmann committed Nov 6, 2018
    Configuration menu
    Copy the full SHA
    ca065f4 View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2018

  1. Unseal HoleType

    @redelmann
    redelmann committed Nov 7, 2018
    Configuration menu
    Copy the full SHA
    f2cdd47 View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2018

  1. Add unsigned bit vectors to the parser

    @redelmann
    redelmann committed Nov 8, 2018
    Configuration menu
    Copy the full SHA
    f950d85 View commit details
    Browse the repository at this point in the history

  2. Simplify complement computation

    @redelmann
    redelmann committed Nov 8, 2018
    Configuration menu
    Copy the full SHA
    9fab8e4 View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2018

  1. New syntax for sigma and pi types, as well as let expressions

    @redelmann
    redelmann committed Nov 21, 2018
    Configuration menu
    Copy the full SHA
    71a1910 View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2018

  1. Add more tests for lets

    @redelmann
    redelmann committed Nov 22, 2018
    Configuration menu
    Copy the full SHA
    8207d12 View commit details
    Browse the repository at this point in the history

  2. Add block syntax

    @redelmann
    redelmann committed Nov 22, 2018
    Configuration menu
    Copy the full SHA
    84baa99 View commit details
    Browse the repository at this point in the history

  3. Change syntax for lambda, forall and choose expressions

    @redelmann
    redelmann committed Nov 22, 2018
    Configuration menu
    Copy the full SHA
    040d038 View commit details
    Browse the repository at this point in the history

Commits on Nov 23, 2018

  1. Fix syntax in tests with quantifiers

    @redelmann
    redelmann committed Nov 23, 2018
    Configuration menu
    Copy the full SHA
    a135c5b View commit details
    Browse the repository at this point in the history

  2. Fix documentation

    @redelmann
    redelmann committed Nov 23, 2018
    Configuration menu
    Copy the full SHA
    50acc5b View commit details
    Browse the repository at this point in the history

  3. Add test for if-expressions

    @redelmann
    redelmann committed Nov 23, 2018
    Configuration menu
    Copy the full SHA
    55cc979 View commit details
    Browse the repository at this point in the history

  4. Add syntax for assume

    @redelmann
    redelmann committed Nov 23, 2018
    Configuration menu
    Copy the full SHA
    2637294 View commit details
    Browse the repository at this point in the history

  5. Accept single argument without type to omit parentheses in lambda, fo… 

    …rall, choose
    @redelmann
    redelmann committed Nov 23, 2018
    Configuration menu
    Copy the full SHA
    afb59c0 View commit details
    Browse the repository at this point in the history

  6. Work on a new pretty printer

    @redelmann
    redelmann committed Nov 23, 2018
    Configuration menu
    Copy the full SHA
    4d358f3 View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2018

  1. Add check that the fields have unique names in an ADT

    @redelmann
    redelmann committed Nov 28, 2018
    Configuration menu
    Copy the full SHA
    2e9cfd8 View commit details
    Browse the repository at this point in the history

  2. Fix broken test

    @redelmann
    redelmann committed Nov 28, 2018
    Configuration menu
    Copy the full SHA
    019c677 View commit details
    Browse the repository at this point in the history

  3. Add literal trait for IR expressions

    @redelmann
    redelmann committed Nov 28, 2018
    Configuration menu
    Copy the full SHA
    80b1ca3 View commit details
    Browse the repository at this point in the history

Commits on Dec 3, 2018

  1. Make it possible to refer to earlier identifiers in sequences of bind… 

    …ings
    @redelmann
    redelmann committed Dec 3, 2018
    Configuration menu
    Copy the full SHA
    8c7e0b7 View commit details
    Browse the repository at this point in the history

Commits on Dec 13, 2018

  1. Added OneOf to inox solver

    Stevan Ognjanovic committed Dec 13, 2018
    Configuration menu
    Copy the full SHA
    f92eed2 View commit details
    Browse the repository at this point in the history

  2. Added store changes which are prerequisite for the overloading

    Stevan Ognjanovic committed Dec 13, 2018
    Configuration menu
    Copy the full SHA
    2e5b958 View commit details
    Browse the repository at this point in the history

Commits on Dec 14, 2018

  1. Added overloading, all previous tests pass

    Stevan Ognjanovic committed Dec 14, 2018
    Configuration menu
    Copy the full SHA
    68f28af View commit details
    Browse the repository at this point in the history

  2. Overloading before extensive testing

    Stevan Ognjanovic committed Dec 14, 2018
    Configuration menu
    Copy the full SHA
    7b2a68e View commit details
    Browse the repository at this point in the history

Commits on Jan 2, 2019

  1. Function overloading

    Stevan Ognjanovic committed Jan 2, 2019
    Configuration menu
    Copy the full SHA
    9261ddb View commit details
    Browse the repository at this point in the history

  2. Added comments for function name overloading

    Stevan Ognjanovic committed Jan 2, 2019
    Configuration menu
    Copy the full SHA
    e442a40 View commit details
    Browse the repository at this point in the history

  3. Comments for solver

    Stevan Ognjanovic committed Jan 2, 2019
    Configuration menu
    Copy the full SHA
    d0f01cd View commit details
    Browse the repository at this point in the history

Commits on Jan 6, 2019

  1. Before adding examples to report

    Stevan Ognjanovic committed Jan 6, 2019
    Configuration menu
    Copy the full SHA
    1e6df5b View commit details
    Browse the repository at this point in the history

  2. Solved the problem with OneOf

    Stevan Ognjanovic committed Jan 6, 2019
    Configuration menu
    Copy the full SHA
    d3a5d4d View commit details
    Browse the repository at this point in the history

Commits on Jan 7, 2019

  1. Overloading should be done

    Stevan Ognjanovic committed Jan 7, 2019
    Configuration menu
    Copy the full SHA
    f99ecbc View commit details
    Browse the repository at this point in the history

  2. Fixed the OneOf

    Stevan Ognjanovic committed Jan 7, 2019
    Configuration menu
    Copy the full SHA
    9ab927a View commit details
    Browse the repository at this point in the history

  3. Fixed another bug

    Stevan Ognjanovic committed Jan 7, 2019
    Configuration menu
    Copy the full SHA
    a7f26ee View commit details
    Browse the repository at this point in the history

  4. Another change to solver

    Stevan Ognjanovic committed Jan 7, 2019
    Configuration menu
    Copy the full SHA
    03cc038 View commit details
    Browse the repository at this point in the history

Commits on Jan 21, 2019

  1. Added more tests

    Stevan Ognjanovic committed Jan 21, 2019
    Configuration menu
    Copy the full SHA
    c57f7ab View commit details
    Browse the repository at this point in the history

  2. Fixed more bugs

    Stevan Ognjanovic committed Jan 21, 2019
    Configuration menu
    Copy the full SHA
    987dc1d View commit details
    Browse the repository at this point in the history

Commits on Jan 22, 2019

  1. One bug fixed

    Stevan Ognjanovic committed Jan 22, 2019
    Configuration menu
    Copy the full SHA
    0f22471 View commit details
    Browse the repository at this point in the history

Commits on Jan 23, 2019

  1. Final for presentation

    Stevan Ognjanovic committed Jan 23, 2019
    Configuration menu
    Copy the full SHA
    e8fbc4e View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2019

  1. More general unification for pairs, coding style fixes

    Stevan Ognjanovic committed Jan 24, 2019
    Configuration menu
    Copy the full SHA
    da2c7b5 View commit details
    Browse the repository at this point in the history

Commits on Feb 8, 2019

  1. Merge pull request #90 from OStevan/overloading 

    Overloading
    @redelmann
    redelmann authored Feb 8, 2019
    Configuration menu
    Copy the full SHA
    8441ed7 View commit details
    Browse the repository at this point in the history