Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 4, 2020

• Noel's thesis, slides, and pointer to git codebase

  SusanEisenbach

  authored
  85a04c6

  Copy full SHA for 85a04c6

Commits on Jul 3, 2020

• Added Ali Chaudhry's codebase

  SusanEisenbach

  authored
  00a8241

  Copy full SHA for 00a8241

• Add files via upload

  Show description for fe89dc7
  SusanEisenbach

  authored
  fe89dc7

  Copy full SHA for fe89dc7

Commits on Dec 19, 2019

• Merge pull request #481 from matteobilardi/master

  Show description for 81d3266
  SusanEisenbach

  authored
  81d3266

  Copy full SHA for 81d3266

• Merge branch 'master' into master

  SusanEisenbach

  authored
  76b5072

  Copy full SHA for 76b5072

Commits on Dec 18, 2019

• Freezing Swift Package Manager version

  matteobilardi

  authored
  4119418

  Copy full SHA for 4119418

Commits on Dec 10, 2019

• Reverted changes to Package.swift

  SusanEisenbach

  committed
  8d3f8c6

  Copy full SHA for 8d3f8c6

Commits on Nov 20, 2019

• made some of Noel's changes

  SusanEisenbach

  authored
  340a0bf

  Copy full SHA for 340a0bf

• replaced boogie url

  SusanEisenbach

  authored
  b2362d7

  Copy full SHA for b2362d7

Commits on Sep 25, 2019

• Sp error corrected

  SusanEisenbach

  authored
  3f23689

  Copy full SHA for 3f23689

• Tiny spelling error corrected

  SusanEisenbach

  authored
  f64a593

  Copy full SHA for f64a593

Commits on Sep 24, 2019

• formatting

  SusanEisenbach

  authored
  4edd3d0

  Copy full SHA for 4edd3d0

• fixing medium articles link

  SusanEisenbach

  authored
  c938efa

  Copy full SHA for c938efa

• added second Medium article

  SusanEisenbach

  authored
  25c1855

  Copy full SHA for 25c1855

• added second Medium article

  SusanEisenbach

  authored
  36c0dbe

  Copy full SHA for 36c0dbe

Commits on Sep 11, 2019

• removed test function

  SusanEisenbach

  authored
  5b298fb

  Copy full SHA for 5b298fb

• Updated no-cache advice

  mrRachar

  authored
  2c1c8d8

  Copy full SHA for 2c1c8d8

• Merge pull request #479 from matteobilardi/master

  Show description for 4cc4631
  SusanEisenbach

  authored
  4cc4631

  Copy full SHA for 4cc4631

• Merge branch 'master' into master

  SusanEisenbach

  authored
  38cdcdd

  Copy full SHA for 38cdcdd

• Update error number detection and fix other test suite test issues

  

  Matthew Ross Rachar

  committed
  f344b2a

  Copy full SHA for f344b2a

• Use a pair array in place of a dictionary to preserve field order in constructors

  

  Matthew Ross Rachar

  committed
  ba19782

  Copy full SHA for ba19782

• Merge remote-tracking branch 'origin/master'

  

  Matthew Ross Rachar

  committed
  8250e5b

  Copy full SHA for 8250e5b

• Fix borrow_global to borrow_global_mut and clean up attribution

  

  Matthew Ross Rachar

  committed
  c53cecd

  Copy full SHA for c53cecd

Commits on Sep 10, 2019

• added no cache flag to docker install instructions

  SusanEisenbach

  authored
  4e7e2ed

  Copy full SHA for 4e7e2ed

• removed spare source statement

  SusanEisenbach

  authored
  14942e0

  Copy full SHA for 14942e0

• added path instruction in install

  SusanEisenbach

  authored
  a0c5489

  Copy full SHA for a0c5489

Commits on Sep 6, 2019

• Merge pull request #478 from matteobilardi/master

  Show description for efce0c7
  SusanEisenbach

  authored
  efce0c7

  Copy full SHA for efce0c7

• Fixing ubuntu installer

  matteobilardi

  committed
  3946f2c

  Copy full SHA for 3946f2c

• Updating install script

  matteobilardi

  committed
  ff0ad96

  Copy full SHA for ff0ad96

• Removing z3 submodule

  matteobilardi

  committed
  455f413

  Copy full SHA for 455f413

• Merge branch 'master' of https://github.com/matteobilardi/flint

  matteobilardi

  committed
  49e41d5

  Copy full SHA for 49e41d5

• Updating install script

  matteobilardi

  committed
  3fcb25e

  Copy full SHA for 3fcb25e

• Merge branch 'master' of https://www.github.com/matteobilardi/flint

  matteobilardi

  committed
  9b9a724

  Copy full SHA for 9b9a724

• Updating documentation

  matteobilardi

  committed
  2c86b19

  Copy full SHA for 2c86b19

• Add notice about ~/.flint folder to the documentation

  

  Matthew Ross Rachar

  committed
  de809e8

  Copy full SHA for de809e8

Pagination

Previous

Next