Commits · c59edfd6002c34f0cd9bb1283cc225d3e651c136 · koizel / personoj

Jan 02, 2022

hondet authored 3 years ago

Moved
- specs/tools/prelude to prelude,
- prelude patches to prelude/patches/
- the "simple" theory to tests/thy_translation/"
- scripts are moved to scripts/

c59edfd6

grouping PVS patches · 6b4ace7c
hondet authored 3 years ago

6b4ace7c

Nov 24, 2021
- Use ocaml setup, more opam · 278bed64
  hondet authored 3 years ago
  
  278bed64
- ci for tools · 23372428
  gabrielhdt authored 3 years ago
  
  23372428
Nov 01, 2021
- simpler dependencies specs for ci · bb02604d
  hondet authored 3 years ago
  
  bb02604d
- simpler dependencies spec · 7efed11f
  hondet authored 3 years ago
  
  7efed11f
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