Commits · 6376843c900db70496d22df07d2788c462b91dcd · pub / meta

Dec 09, 2022
- mark version as dev · 6376843c
  Virgile Prevosto authored 2 years ago
  
  6376843c
- Merge branch 'stable/iron' · 4de2d605
  Virgile Prevosto authored 2 years ago
  
  4de2d605
Dec 08, 2022
- Update installation instructions · fefcc911
  Virgile Prevosto authored 2 years ago
  
  View commits for tag 0.4 0.4
  
  fefcc911
- version bump · 030cf341
  Virgile Prevosto authored 2 years ago
  
  030cf341
- [wookey] fix target name in README and update Makefile to new fc-scripts · 6d539adb
  Virgile Prevosto authored 2 years ago
  
  6d539adb
Nov 04, 2022
- Merge branch 'feature/0.4-release' into 'stable/iron' · 27c5ac8f
  Allan Blanchard authored 2 years ago
  
  Prepare beta release See merge request frama-c/meta!75
  View commits for tag 0.4-beta 0.4-beta
  
  27c5ac8f
Nov 03, 2022
- [Makefile] Also include Makefile.common · 1444fe29
  Virgile Prevosto authored 2 years ago
  
  Otherwise Makefile.installing won't work out of the box
  1444fe29
- [dune] Fix version and dependencies · 60f51cbe
  Virgile Prevosto authored 2 years ago
  
  60f51cbe
Oct 27, 2022
- Reset default branch · 569aea86
  David Bühler authored 2 years ago
  
  569aea86
- Change default branch · 9a883500
  David Bühler authored 2 years ago
  
  9a883500
Oct 19, 2022
- Merge branch 'upgrade/ci/4.14' into 'master' · 9a8c6e30
  Allan Blanchard authored 2 years ago
  
  Upgrade CI See merge request frama-c/meta!73
  9a8c6e30
Oct 05, 2022
- [ci] use fetchgit instead of gitignoresource · 92f1d46b
  Allan Blanchard authored 2 years ago
  
  92f1d46b
- Use new nix runner · c6671b7a
  Allan Blanchard authored 2 years ago
  
  c6671b7a
Sep 28, 2022
- [wookey] Fix bug in wookey that prevented proof · 38bb4099
  Virgile Prevosto authored 2 years ago
  
  Was actually fixed upstream in commit [30a695e821ca30819](https://github.com/wookey-project/bootloader/commit/30a695e821ca308197d8039bd0975a165b03bb5e)
  38bb4099
- [wookey] relaunch wp for GUI mode: its OP are not projectified · 4a7067c5
  Virgile Prevosto authored 2 years ago
  
  4a7067c5
- [wookey] do not launch -meta twice. only loader.parse is concerned. · df451003
  Virgile Prevosto authored 2 years ago
  
  df451003
- [wookey] skip proof flash_mass_erase, whose code is not handled by WP · 75c62960
  Virgile Prevosto authored 2 years ago
  
  75c62960
- [wookey] don't use an intermediate file, rely on a loader.meta dir · bb79d5eb
  Virgile Prevosto authored 2 years ago
  
  This looks more like analysis.mk does, and the intermediate file (as opposed to the intermediate Frama-C state) does not retain the status of deduced properties
  bb79d5eb
- [wookey] default targets attempts to prove the metaproperties · 3a2b60b4
  Virgile Prevosto authored 2 years ago
  
  3a2b60b4
- [.gitattributes] Moving files implies moving their attributes · 716a5314
  Virgile Prevosto authored 2 years ago
  
  716a5314
Sep 27, 2022
- [wookey] finally can use loader.parse as initial target · 91613f8f
  Virgile Prevosto authored 2 years ago
  
  91613f8f
- [wookey] Do not remove WP cache on make clean · 3517daa2
  Virgile Prevosto authored 2 years ago
  
  3517daa2
- [deduction] ensure run.pl stays executable in dune-governed install · 331305cd
  Virgile Prevosto authored 2 years ago
  
  331305cd
Sep 26, 2022
- add wp cache to the repo · cfb0a281
  Virgile Prevosto authored 2 years ago
  
  cfb0a281
- ignore path.mk which is supposed to be installation specific · 54713d76
  Virgile Prevosto authored 2 years ago
  
  54713d76
- [wookey] use path.mk for optional wp options and add gui target · eb018249
  Virgile Prevosto authored 2 years ago
  
  eb018249
- .gitignore · 7239f7f6
  Virgile Prevosto authored 2 years ago
  
  7239f7f6
- [wookey] update FC's makefile to new version of analysis scripts · 4be0a225
  Virgile Prevosto authored 2 years ago
  
  4be0a225
Sep 21, 2022
- Merge branch 'feature/patrick/ptests-warns-on-disabled-conditions' into 'master' · 5f0b796a
  Patrick Baudin authored 2 years ago
  
  [ptests] requires dune 3.2 See merge request frama-c/meta!74
  5f0b796a
- [ptests] requires dune 3.2 · b6ebede8
  Patrick Baudin authored 2 years ago
  
  b6ebede8
Sep 13, 2022
- Merge branch 'fix/normalize-makefile' into 'master' · 3637f220
  Virgile Prevosto authored 2 years ago
  
  normalize Makefile See merge request frama-c/meta!72
  3637f220
Sep 08, 2022
- normalize Makefile · 502faf5b
  Andre Maroneze authored 2 years ago
  
  502faf5b
Aug 25, 2022
- Merge branch 'feature/ptests/using-dune-read-variable' into 'master' · 49ae67be
  Patrick Baudin authored 2 years ago
  
  [tests] access to the local cache wp Closes #9 See merge request frama-c/meta!71
  49ae67be
Jul 29, 2022
- [tests] access to the local cache wp · 9770f372
  Patrick Baudin authored 2 years ago
  
  9770f372
- Merge branch 'feature/wp/stats' into 'master' · ea9f432c
  Allan Blanchard authored 2 years ago
  
  [wp] updated oracles See merge request frama-c/meta!70
  ea9f432c
Jul 20, 2022
- [wp] updated oracles · 4b14c8bc
  Loïc Correnson authored 2 years ago
  
  4b14c8bc
Jul 11, 2022
- [ci] change default branch · 2503be04
  Allan Blanchard authored 2 years ago
  
  2503be04
- Merge branch 'feature/bobot/jbuilder' into 'master' · 8b823cc0
  Allan Blanchard authored 2 years ago
  
  Use Dune for building MetAcsl See merge request frama-c/meta!59
  8b823cc0
Jul 08, 2022
- Merge branch 'feature/dune/devel_tools' into 'feature/bobot/jbuilder' · 608159a3
  Allan Blanchard authored 2 years ago
  
  Extend plugins CI capabilities See merge request frama-c/meta!69
  608159a3
- Merge remote-tracking branch 'origin/master' into feature/dune/devel_tools · 35c7bc87
  Allan Blanchard authored 2 years ago
  
  35c7bc87