acw/focus-triggers
main
|
Last change
on this file since e534d40 was 05a4f7e, checked in by Stephen Siegel <siegel@…>, 3 weeks ago |
|
Added support for "floor", which is now supported by SMT-LIB2.
Fixed simple bug in transformation: in MPI transformer, math.h was being
moved to file scope, but not math.cvl. Now it is, and the one MPI prime
test that was failing now passes.
|
-
Property mode
set to
100644
|
|
File size:
155 bytes
|
| Line | |
|---|
| 1 | dyscope
|
|---|
| 2 | datatypes
|
|---|
| 3 | lvalue
|
|---|
| 4 | unsequenced
|
|---|
| 5 | sizeof
|
|---|
| 6 | alignof
|
|---|
| 7 | significand
|
|---|
| 8 | siegel
|
|---|
| 9 | flyweight
|
|---|
| 10 | struct
|
|---|
| 11 | monomial
|
|---|
| 12 | canonic
|
|---|
| 13 | stephen
|
|---|
| 14 | refactoring
|
|---|
| 15 | int
|
|---|
| 16 | datatype
|
|---|
| 17 | bool
|
|---|
| 18 | unsat
|
|---|
| 19 | const
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
