Commits · 8f6d115ce49904d94d5838a5643de6619ca654ab · koizel / personoj

Oct 20, 2021
- fixing loaders · 8f6d115c
  hondet authored 3 years ago
  
  8f6d115c
Oct 19, 2021
- use functions rather than macros · f71b8c7e
  hondet authored 3 years ago
  
  f71b8c7e
- fixed recipe · cdb25bc2
  Gabriel authored 3 years ago
  
  cdb25bc2
Oct 18, 2021
- fewer makefiles · 4a6dcc8a
  Gabriel authored 3 years ago
  
  4a6dcc8a
- restructuration · 7971e57e
  Gabriel authored 3 years ago
  
  7971e57e
- command to load PVS into lisp · aeb03dc2
  Gabriel authored 3 years ago
  
  aeb03dc2
Oct 15, 2021
- creating debian meta package for deps · 76dc6bcf
  Gabriel authored 3 years ago
  
  76dc6bcf
- pvs build script · 75027660
  Gabriel authored 3 years ago
  
  75027660
Oct 14, 2021
- use PVSPATH from env variables · 9f346173
  hondet authored 3 years ago
  
  9f346173
Oct 10, 2021
- directory renaming · b29d4e44
  Gabriel authored 3 years ago
  
  b29d4e44
May 19, 2021
- Reorganise, less hierarchy in package, coercions · b07c8516
  hondet authored 3 years ago
  
  b07c8516
Feb 21, 2020
- script making top file · 18706238
  gabrielhdt authored 5 years ago
  
  18706238