Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
Search
Context Navigation
View Latest Revision
source:
libabac
/
prover_yap.c
Revision Log Mode:
Stop on copy
Follow copies
Show only adds and deletes
View log starting at
and back to
Show at most
revisions per page.
Show full log messages
Legend:
Added
Modified
Copied or renamed
Diff
Rev
Age
Author
Log Message
(edit)
@abf8d5d
12 years
Mei
1) add backtrack/multiple solutions proof code changes and new examples.
mei_rt2
mei_rt2_fix_1
(edit)
@2efdff5
12 years
Mei
1) fix the missing check for 'This' rt2.y when called from …
mei_rt2
mei_rt2_fix_1
(edit)
@5110d42
12 years
Mei
1) reorganized the test directory to include python tests 2) attribute …
mei_rt2
mei_rt2_fix_1
(edit)
@8bd77b5
12 years
Mei
1) convert parser and libabac to use id cred and attr cred like …
mei_rt2
mei_rt2_fix_1
(edit)
@c586a3c
13 years
Mei
1) add support for float static range constraint 2) add a testcase for …
mei_rt2
mei_rt2_fix_1
meiyap-rt1
rt2
(edit)
@0d0c3a9
13 years
Mei
1) adding missing extern forward declarations that is causing …
mei_rt2
mei_rt2_fix_1
meiyap-rt1
rt2
(edit)
@da5afdf
13 years
Mei
1) add static contraint (limited to integer at this time)
mei_rt2
mei_rt2_fix_1
meiyap-rt1
rt2
(edit)
@202a7f9
13 years
Mei
commited modified files for rt1
mei_rt2
mei_rt2_fix_1
meiyap-rt1
rt2
(add)
@e95d652
13 years
Mei
1) added yap, flex, bison to bring in prolog backend
mei_rt2
mei_rt2_fix_1
meiyap-rt1
meiyap1
rt2
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog