projects / ~peter/klee-fp.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

 
descriptionklee-fp
ownerPeter Collingbourne
last changeMon, 9 Apr 2012 23:39:57 +0000
URLgit://git.pcc.me.uk/~peter/klee-fp.git
http://git.pcc.me.uk/~peter/klee-fp.git
shortlog
2012-04-09 Peter CollingbourneLowering support for the llvm.uadd.with.overflow intrinsic. master commit | commitdiff | tree | snapshot
2012-04-09 Peter CollingbourneModel the {,l}lrint{,f} functions. commit | commitdiff | tree | snapshot
2012-04-09 Peter CollingbourneLeftover changes from when SSE lowering lived here commit | commitdiff | tree | snapshot
2012-04-07 Peter CollingbourneFix ConstantExpr::isOne for width>64. commit | commitdiff | tree | snapshot
2012-04-05 Peter CollingbourneRevert "Update the LLVM patch to apply against LLVM... commit | commitdiff | tree | snapshot
2012-04-02 Peter CollingbourneUpdate the LLVM patch to apply against LLVM trunk commit | commitdiff | tree | snapshot
2012-03-28 Peter CollingbourneExprCPrinter: use llrint for round-nearest FPToSI commit | commitdiff | tree | snapshot
2012-03-28 Peter CollingbourneSupport the remaining unordered predicates commit | commitdiff | tree | snapshot
2012-03-28 Peter CollingbourneImplement constant folding for round-to-nearest commit | commitdiff | tree | snapshot
2012-03-28 Peter Collingbournektest-tool: Add an option for dumping 4/8-byte sequence... commit | commitdiff | tree | snapshot
2012-03-28 Peter CollingbourneAdd support for FCmpExpr::UNE commit | commitdiff | tree | snapshot
2012-03-28 Peter CollingbourneAbuse metadata correctly :) commit | commitdiff | tree | snapshot
2012-03-27 Peter CollingbourneSomething which seems vaguely more correct, but which... commit | commitdiff | tree | snapshot
2012-03-26 Peter CollingbourneAdd metadata indicating whether an FPTo?I instruction is commit | commitdiff | tree | snapshot
2012-03-26 Peter CollingbourneSTPBuilder: fix getShiftBits properly. commit | commitdiff | tree | snapshot
2012-03-26 Peter CollingbourneSTPBuilder: fix bv{Zero,One,MinusOne} for the case... commit | commitdiff | tree | snapshot
...
tags
2 years ago eurosys11   | commit | shortlog | log
heads
13 months ago master shortlog | log | tree
17 months ago float-utils shortlog | log | tree
2 years ago eurosys11 shortlog | log | tree
klee-fp