rpms / frama-c

Clone
Source Code
GIT

Commits 33

f12 f13 f14 f15 f16 f17 f18 f19 f20 f21 f22 f23 f24 f25 f26 f27 f28 f29 f30 f31 f32 f33 f34 f35 f36 f37 f38 f39 f40 main rawhide
Add -fixes patch to fix code generation for inductive definitions.
Jerry James • 10 years ago  
7307230
Update to bugfix Fluorine release.
Jerry James • 10 years ago  
cefe8dc
Update to Fluorine version.
Jerry James • 10 years ago  
94bf6fa
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
Dennis Gilmore • 11 years ago  
7105e03
Rebuild for coq 8.4pl1 and alt-ergo 0.95.
Jerry James • 11 years ago  
a239338
Build with zarith support.
Jerry James • 11 years ago  
455e714
Update the Requires filter even more for Oxygen.
Jerry James • 11 years ago  
b096838
Update the Requires filter for Oxygen.
Jerry James • 11 years ago  
2a07ca8
Add missing ocaml-ocamldoc BR.
Jerry James • 11 years ago  
3060ea8
Update to Oxygen version.
Jerry James • 11 years ago  
4de86ca
Disable dangerous code in src/type/type.ml that leads to segfaults.
Jerry James • 11 years ago  
b2e712c
Use a vastly simpler patch for OCaml 4 that fixes the native build.
Jerry James • 11 years ago  
d14d61f
Shipping the bytecode version works better if it isn't stripped.
Jerry James • 11 years ago  
26634d3
Use upstream's version of the ocamlgraph patch.
Jerry James • 11 years ago  
bee1f8d
Adapt to new Hashtbl signature in OCaml 4.00.0.
Jerry James • 11 years ago  
f5118e5
Patch configure script to detect OCaml 4.
Richard W.M. Jones • 11 years ago  
b14db1a
Rebuild for OCaml 4.00.0 official.
Richard W.M. Jones • 11 years ago  
195c699
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
Dennis Gilmore • 11 years ago  
302f718
Rebuild for OCaml 3.12.1.
Jerry James • 12 years ago  
e5054df
Rebuild to eliminate libpng dependency.
Jerry James • 12 years ago  
1fe2839
Update to Nitrogen version.
Jerry James • 12 years ago  
d253b21
Update to Carbon version.
Jerry James • 12 years ago  
91f4bbf
add ppc64 to archs with ocaml
Karsten Hopp • 13 years ago  
c26941c
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
Dennis Gilmore • 13 years ago  
a306c33
- updated the supported arch list
Dan Horák • 13 years ago  
f30d344
modified: sources
Mark Rader • 13 years ago  
8f9fbb7
new file: frama-c-1.5.licensing
Mark Rader • 13 years ago  
830c7f1
modified: .gitignore
Mark Rader • 13 years ago  
6c8d007
Bump and rebuild.
Richard W.M. Jones • 13 years ago  
3cf52ee
modified: modified frama c to use frama-c-Boron-20100401 and lbl2bt
Mark Rader • 13 years ago  
55eb841
dist-git conversion
Fedora Release Engineering • 13 years ago  
fafbe19
----------------------------------------------------------------------
Mark Rader • 13 years ago  
c9d0040
Setup of module frama-c
Kevin Fenzi • 13 years ago  
d71b423
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.