Commits

Commit history

1. Commits on Jan 16, 2016

   • fix bibtex link

     zeldovich

     committed
     eff696bView commit details

     Copy full SHA for eff696b

     Browse repository at this point
2. Commits on Sep 25, 2015

   • README: update Z3 URL

     

     Austin Clements

     committed
     6309978View commit details

     Copy full SHA for 6309978

     Browse repository at this point

   • Merge pull request #1 from msmummy/master

     Show description for 814b2dd
     aclements

     committed
     814b2ddView commit details

     Copy full SHA for 814b2dd

     Browse repository at this point
3. Commits on Aug 29, 2015

   • z3 git address has changed; fix

     shuaimu

     committed
     791f21aView commit details

     Copy full SHA for 791f21a

     Browse repository at this point
4. Commits on Sep 15, 2014

   • Improve readme to account for setup script

     Show description for 6683e3a
     

     Austin Clements

     committed
     6683e3aView commit details

     Copy full SHA for 6683e3a

     Browse repository at this point
5. Commits on Aug 13, 2014

   • README: How to run with a disk-based file system

     

     Austin Clements

     committed
     bd80e75View commit details

     Copy full SHA for bd80e75

     Browse repository at this point

   • par-mtrace: Detect and warn about failed shards

     

     Austin Clements

     committed
     f2f61eaView commit details

     Copy full SHA for f2f61ea

     Browse repository at this point

   • par-mtrace: Support running fstest from a non-ramfs file system

     

     Austin Clements

     committed
     ef24246View commit details

     Copy full SHA for ef24246

     Browse repository at this point

   • README: Point out how to skip test generation for unsupported calls

     

     Austin Clements

     committed
     599772bView commit details

     Copy full SHA for 599772b

     Browse repository at this point

   • spec: Support negation in function list argument

     

     Austin Clements

     committed
     c12165aView commit details

     Copy full SHA for c12165a

     Browse repository at this point

   • fs_testgen: Cleanly skip testgen for functions we don't implement

     

     Austin Clements

     committed
     0c5d860View commit details

     Copy full SHA for 0c5d860

     Browse repository at this point

   • fs: Model and testgen for sync, fsync, and reboot

     

     Austin Clements

     committed
     2a4c0baView commit details

     Copy full SHA for 2a4c0ba

     Browse repository at this point

   • fs_testgen: Increase to 16 datavals

     Show description for 56e6912
     

     Austin Clements

     committed
     56e6912View commit details

     Copy full SHA for 56e6912

     Browse repository at this point

   • viewer: Add compression to self-contained view server

     Show description for dd866f8
     

     Austin Clements

     committed
     dd866f8View commit details

     Copy full SHA for dd866f8

     Browse repository at this point
6. Commits on Aug 12, 2014

   • viewer: Focus on new 'view' command in README

     

     Austin Clements

     committed
     644cc72View commit details

     Copy full SHA for 644cc72

     Browse repository at this point

   • viewer: Self-contained command to serve and start viewer

     Show description for b9e0752
     

     Austin Clements

     committed
     b9e0752View commit details

     Copy full SHA for b9e0752

     Browse repository at this point

   • viewer: Put most of mkdb in a module

     

     Austin Clements

     committed
     db65686View commit details

     Copy full SHA for db65686

     Browse repository at this point

   • tools: Fix bug with asymmetric call sets

     Show description for 019d26d
     

     Austin Clements

     committed
     019d26dView commit details

     Copy full SHA for 019d26d

     Browse repository at this point

   • simtest: Use full call sequence in anonymous variable names

     Show description for f5fac65
     

     Austin Clements

     committed
     f5fac65View commit details

     Copy full SHA for f5fac65

     Browse repository at this point
7. Commits on Aug 11, 2014

   • TASKS: More thoughts on ASTs

     

     Austin Clements

     committed
     20a1ee0View commit details

     Copy full SHA for 20a1ee0

     Browse repository at this point

   • fs: Use small list for file/pipe data

     Show description for 02e30a1
     

     Austin Clements

     committed
     02e30a1View commit details

     Copy full SHA for 02e30a1

     Browse repository at this point

   • simsym: Precisely type the result of symif

     Show description for a482c62
     

     Austin Clements

     committed
     a482c62View commit details

     Copy full SHA for a482c62

     Browse repository at this point

   • symtypes: New "small" bounded list type

     Show description for 4602631
     

     Austin Clements

     committed
     4602631View commit details

     Copy full SHA for 4602631

     Browse repository at this point
8. Commits on Aug 7, 2014

   • simsym: Getter for concrete integer values

     Show description for a50fd76
     

     Austin Clements

     committed
     a50fd76View commit details

     Copy full SHA for a50fd76

     Browse repository at this point

   • simsym: Implement structural equality optimization universally

     Show description for 8c6e005
     

     Austin Clements

     committed
     8c6e005View commit details

     Copy full SHA for 8c6e005

     Browse repository at this point

   • simsym: Correct and robust Symbolic.eq

     Show description for 140ffed
     

     Austin Clements

     committed
     140ffedView commit details

     Copy full SHA for 140ffed

     Browse repository at this point

   • simsym: Fix struct and map equality testing

     Show description for 9e84beb
     

     Austin Clements

     committed
     9e84bebView commit details

     Copy full SHA for 9e84beb

     Browse repository at this point

   • symtypes: Add and use SListBase._get_unchecked

     Show description for 63eac54
     

     Austin Clements

     committed
     63eac54View commit details

     Copy full SHA for 63eac54

     Browse repository at this point

   • Z3 debugging helpers

     

     Austin Clements

     committed
     34cfaa5View commit details

     Copy full SHA for 34cfaa5

     Browse repository at this point

   • profile: Show histograms of # tests per model path

     

     Austin Clements

     committed
     2808229View commit details

     Copy full SHA for 2808229

     Browse repository at this point

   • profile: Add up and report testgen errors

     

     Austin Clements

     committed
     04cea06View commit details

     Copy full SHA for 04cea06

     Browse repository at this point

   • spec: Record testgen errors in the model file

     

     Austin Clements

     committed
     f97e95aView commit details

     Copy full SHA for f97e95a

     Browse repository at this point

   • spec: Don't try to continue when array-ext workaround fails

     Show description for 08838db
     

     Austin Clements

     committed
     08838dbView commit details

     Copy full SHA for 08838db

     Browse repository at this point

   • spec: Handle non-deterministic check results in array-ext workaround

     Show description for c84e7a1
     

     Austin Clements

     committed
     c84e7a1View commit details

     Copy full SHA for c84e7a1

     Browse repository at this point

   • par-spec: Improve exception reporting

     

     Austin Clements

     committed
     20a231fView commit details

     Copy full SHA for 20a231f

     Browse repository at this point