index
:
compcert-kvx
CPP22_if_lifting
CPP22_main
master
patched_for_velus
riscV-cmov
ssa
vericert
vericert-kvx
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
cparser
/
ExtendedAsm.ml
Commit message (
Expand
)
Author
Age
Files
Lines
*
Refactor the handling of errors and warnings (#44)
Bernhard Schommer
2018-02-08
1
-2
/
+2
*
Classified all warnings and added various options.
Bernhard Schommer
2016-07-29
1
-13
/
+10
*
Remove code that will is deprecated in ocaml 4.03
Bernhard Schommer
2016-06-21
1
-4
/
+3
*
Deactivate warning 27 and added back removed code.
Bernhard Schommer
2016-03-15
1
-1
/
+1
*
Code cleanup.
Bernhard Schommer
2016-03-10
1
-2
/
+1
*
Updated PR by removing whitespaces. Bug 17450.
Bernhard Schommer
2015-10-20
1
-5
/
+5
*
Simplify the handling of extended inline asm, taking advantage of the new, st...
Xavier Leroy
2015-08-21
1
-6
/
+5
*
Extended inline asm: revised treatment of clobbered registers.
Xavier Leroy
2015-05-09
1
-3
/
+4
*
Allow "scratch" (non-allocatable temporary registers) to be mentioned in asm ...
Xavier Leroy
2015-04-23
1
-0
/
+1
*
Extended asm: more lenient treatment of constraints.
Xavier Leroy
2015-04-22
1
-10
/
+21
*
Avoid multiple errors being reported in the case #outputs >= 2.
Xavier Leroy
2015-04-21
1
-2
/
+6
*
Support for GCC-style extended asm, continued:
Xavier Leroy
2015-04-21
1
-0
/
+183