Commits · master · Dan Udell / smatch

Browse files

Jan 08, 2020
- Merge branch 'char-over-asciicode' into 'master' · 68499de9
  Dan Udell authored Jan 08, 2020
  68499de9
- Use `char` instead of asciicode · f312e1f1
  Dan Udell authored Jan 08, 2020
  
  f312e1f1
Jan 05, 2020
- Merge branch 'add-ci' into 'master' · 13da1db0
  Dan Udell authored Jan 05, 2020
  13da1db0
- Only run on merge request · c446a21c
  Dan Udell authored Jan 05, 2020
  
  c446a21c
- Update .gitlab-ci.yml · be450133
  Dan Udell authored Jan 05, 2020
  
  be450133
- Update .gitlab-ci.yml · 11cb130a
  Dan Udell authored Jan 05, 2020
  
  11cb130a
- Add test, use pre-built images for env · 85b80174
  Dan Udell authored Jan 05, 2020
  
  85b80174
Jan 03, 2020
- Merge branch 'syntactical-sugar' into 'master' · 19cc3cf3
  Dan Udell authored Jan 03, 2020
  19cc3cf3
- Use som syntax sugar, move to supported vtest, fix vpkglock · a1f54ee9
  Dan Udell authored Jan 03, 2020
  
  a1f54ee9
Jan 01, 2020
- Fix dockerfile extra slash · 33316d41
  Dan Udell authored Jan 01, 2020
  
  33316d41
- Fix copypasta · ddaba283
  Dan Udell authored Jan 01, 2020
  
  ddaba283
- add gitpod badge · a544ce3e
  Dan Udell authored Jan 01, 2020
  
  a544ce3e
- Merge branch 'add-vpkg-ready-release' into 'master' · eec7335a
  Dan Udell authored Jan 01, 2020
  eec7335a
- Update readme · c0ba51c4
  Dan Udell authored Jan 01, 2020
  
  c0ba51c4
- Merge branch 'add-license' into 'master' · a363d386
  Dan Udell authored Jan 01, 2020
  a363d386
- Add LICENSE · 56baf760
  Dan Udell authored Jan 01, 2020
  
  56baf760
- Install vpkg, use fork of vtest · 1632fbd0
  Dan Udell authored Jan 01, 2020
  
  1632fbd0
- Merge branch 'djoodle-master-patch-97407' into 'master' · 44edfa3e
  Dan Udell authored Jan 01, 2020
  44edfa3e
- Perms for adding symlink to /bin · ef3d3198
  Dan Udell authored Jan 01, 2020
  
  ef3d3198
- Merge branch 'djoodle-master-patch-05268' into 'master' · a5b7cb9f
  Dan Udell authored Jan 01, 2020
  a5b7cb9f
- Update .gitpod.dockerfile · 2aaaa3eb
  Dan Udell authored Jan 01, 2020
  
  2aaaa3eb
- Merge branch 'djoodle-master-patch-80523' into 'master' · 8a1207b0
  Dan Udell authored Jan 01, 2020
  8a1207b0
- Try giving perms to the v temp file (following building vpkg ) · cf9739d2
  Dan Udell authored Jan 01, 2020
  
  cf9739d2
- Merge branch 'djoodle-master-patch-59524' into 'master' · 488552a2
  Dan Udell authored Jan 01, 2020
  488552a2
- Remove erroneous `https://` · d5878a3a
  Dan Udell authored Jan 01, 2020
  
  d5878a3a
- Merge branch 'djoodle-master-patch-61585' into 'master' · 2e70b5ec
  Dan Udell authored Jan 01, 2020
  2e70b5ec
- Update .gitpod.dockerfile to install vpkg from source · aed718c7
  Dan Udell authored Jan 01, 2020
  
  aed718c7
- Update .gitpod.dockerfile · edea2ed6
  Dan Udell authored Jan 01, 2020
  
  edea2ed6
- Add vpkg to the environment · a62723c9
  Dan Udell authored Jan 01, 2020
  
  a62723c9
- try adding perms for user to v folders · 51a5f31b
  Dan Udell authored Jan 01, 2020
  
  51a5f31b
- Update .gitpod.dockerfile · 78bc6db9
  Dan Udell authored Jan 01, 2020
  
  78bc6db9
- Update .gitpod.dockerfile · 5a7de285
  Dan Udell authored Jan 01, 2020
  
  5a7de285
- Merge branch 'docker-dev' into 'master' · 389cc151
  Dan Udell authored Jan 01, 2020
  389cc151
Dec 31, 2019
- remove redundant line · b0a85617
  Dan Udell authored Dec 31, 2019
  
  b0a85617
- fix typo in dockerfile name · bd2fa41b
  Dan Udell authored Dec 31, 2019
  
  bd2fa41b
- Point to new dockerfile · cc62b2c5
  Dan Udell authored Dec 31, 2019
  
  cc62b2c5
- custom dockerfile for v dev · cf415ce1
  Dan Udell authored Dec 31, 2019
  
  cf415ce1
- Merge branch 'initial_commit' into 'master' · b8dc7be5
  Dan Udell authored Dec 31, 2019
  b8dc7be5
- Initial commit · 7e7d8f4d
  Dan Udell authored Dec 31, 2019
  
  7e7d8f4d
- Initial commit · c07d333c
  Dan Udell authored Dec 31, 2019
  
  c07d333c