Commits · 0beafc5abe6b53e71427b395f6d289cc9509b780 · pub / open-source-case-studies

Jul 13, 2023
- Updates ioccc results. · 0beafc5a
  David Bühler authored 1 year ago
  
  0beafc5a
Jun 06, 2023
- [chrony] remove obsolete files · ace2f812
  Andre Maroneze authored 1 year ago
  
  ace2f812
Jun 02, 2023
- Merge branch 'stable/cobalt' into 'master' · 4e634ded
  Andre Maroneze authored 1 year ago
  
  synchronize with stable/cobalt See merge request !41
  4e634ded
May 23, 2023
- synchronize with stable/cobalt · 13780856
  Andre Maroneze authored 1 year ago
  
  13780856
Apr 24, 2023
- synchronize with frama-c master · e44462d3
  Andre Maroneze authored 1 year ago
  
  e44462d3
Feb 23, 2023
- synchronize with frama-c master · e90a5474
  Andre Maroneze authored 2 years ago
  
  e90a5474
Feb 01, 2023
- Merge branch 'new/line-following-robot' into 'master' · 0b0dd9d2
  Andre Maroneze authored 2 years ago
  
  [line-following-robot] add case study See merge request !39
  0b0dd9d2
- [line-following-robot] add case study · 627d21e8
  Andre Maroneze authored 2 years ago
  
  627d21e8
- Merge branch 'fix-make-install' into 'master' · 700b7249
  Valentin Perrelle authored 2 years ago
  
  fix installation directory for 'make framac' target See merge request !37
  700b7249
- avoid PWD in Makefile · 447b9a6f
  Andre Maroneze authored 2 years ago
  
  447b9a6f
Jan 31, 2023
- synchronize with frama-c master · 3e751791
  Andre Maroneze authored 2 years ago
  
  3e751791
- fix installation directory for 'make framac' target · 880a56e9
  Andre Maroneze authored 2 years ago
  
  880a56e9
Nov 15, 2022
- Merge branch 'fix/makefile-obsolete-rules' into 'master' · 19d3d4a5
  Andre Maroneze authored 2 years ago
  
  remove obsolete Makefile rules See merge request !36
  19d3d4a5
- remove obsolete Makefile rules · b6130869
  Andre Maroneze authored 2 years ago
  
  b6130869
- synchronize with frama-c master · efa6c2d3
  Andre Maroneze authored 2 years ago
  
  efa6c2d3
- Merge branch 'makefiles-and-build-targets' into 'master' · 6606c8c8
  Andre Maroneze authored 2 years ago
  
  Makefiles and build targets See merge request !35
  6606c8c8
Oct 20, 2022
- [verisec] add Makefile and fixes/stubs to allow compilation · 2108e907
  Andre Maroneze authored 2 years ago
  
  2108e907
- [verisec] remove obsolete files · 08a23f53
  Andre Maroneze authored 2 years ago
  
  08a23f53
- [ioccc] several changes to Makefiles, for easy building · 1de9f629
  Andre Maroneze authored 2 years ago
  
  1de9f629
- [chrony] improve ./configure determinism · 56e14445
  Andre Maroneze authored 2 years ago
  
  56e14445
- add several Makefiles to help building case studies, and build/*.build targets · 4651ed28
  Andre Maroneze authored 2 years ago
  
  4651ed28
Oct 18, 2022
- [chrony] re-run configure and restore compilation · 62facaa5
  Andre Maroneze authored 2 years ago
  
  62facaa5
- [debie1] remove obsolete files · 65a3ee35
  Andre Maroneze authored 2 years ago
  
  65a3ee35
- [icpc] remove obsolete files and fix Makefile · b20b8732
  Andre Maroneze authored 2 years ago
  
  b20b8732
- [polarssl] fix Makefile · ac311b20
  Andre Maroneze authored 2 years ago
  
  ac311b20
- [gzip124] restore Makefile.in · a36d59b1
  Andre Maroneze authored 2 years ago
  
  a36d59b1
Oct 05, 2022
- Merge branch 'bench_ast_diff' into 'master' · 24aa461c
  Andre Maroneze authored 2 years ago
  
  Bench ast diff See merge request !34
  24aa461c
Oct 04, 2022
- Fix CI failures due to recent Git CVE fix and file permission issues · 7169be75
  Andre Maroneze authored 2 years ago
  
  7169be75
Sep 28, 2022
- [ast-diff] use proper name for csv output · 0926fbd9
  Virgile Prevosto authored 2 years ago
  
  0926fbd9
Sep 26, 2022
- Fix -o option · f7e389f5
  Virgile Prevosto authored 2 years ago
  
  f7e389f5
- .gitignore · 22f5d56c
  Virgile Prevosto authored 2 years ago
  
  22f5d56c
Sep 21, 2022
- apply black & pylint suggestions, minor improvements to bench_ast_diff.py · 060b8cdb
  Andre Maroneze authored 2 years ago
  
  060b8cdb
- update Makefiles following new installation directories · 01169bee
  Andre Maroneze authored 2 years ago
  
  01169bee
- [Makefile] wrapper to make a specific .eva target · de5e8349
  Virgile Prevosto authored 2 years ago and Andre Maroneze committed 2 years ago
  
  de5e8349
- python script for testing AST_DIFF=1 mode on oscs · bc49bedd
  Virgile Prevosto authored 2 years ago and Andre Maroneze committed 2 years ago
  
  bc49bedd
Sep 12, 2022
- [chrony] improve analysis parametrization · a6bee53f
  Andre Maroneze authored 2 years ago
  
  a6bee53f
- Merge branch 'x509-parser-add-wp' into 'master' · f6478ada
  Andre Maroneze authored 2 years ago
  
  [x509-parser] add optional WP target See merge request !20
  f6478ada
- [x509-parser] add optional WP parser · f83c040d
  Andre Maroneze authored 2 years ago
  
  f83c040d
Sep 09, 2022
- Merge branch 'fix/dune-local-install' into 'master' · 9464825c
  Valentin Perrelle authored 2 years ago
  
  allow local installation with post-dune Frama-C See merge request !32
  9464825c
Sep 07, 2022
- add comment and checks to path.mk to minimize errors · 493da687
  Andre Maroneze authored 2 years ago
  
  493da687